Write a Blog >>
TechDebt 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
VenueCongress center Gothia Towers
Room nameR22+23
Floor2
Capacity50
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 17:30
AST - 13th IEEE/ACM International Workshop on Automation of Software Test* ICSE * Workshops at R22+23

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 17:30
AST - 13th IEEE/ACM International Workshop on Automation of Software Test* ICSE * Workshops at R22+23

Sat 2 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:00
WelcomeFormaliSE at R22+23
Chair(s): Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Paola SpoletiniKennesaw State University
09:00 - 10:00
KeynoteFormaliSE at R22+23
Chair(s): Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
09:00
60m
Talk
Risk management of high tech systems
FormaliSE
Marielle StoelingaUniversity of Twente
10:00 - 10:30
Formal Methods for Autonomous Systems 1FormaliSE at R22+23
Chair(s): Claudio MenghiUniversity of Gothenburg, Sweden
10:00
30m
Full-paper
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
FormaliSE
11:00 - 12:30
Runtime verificationFormaliSE at R22+23
Chair(s): Domenico BianculliUniversity of Luxembourg
11:00
30m
Research paper
Extending Specification Patterns for Verification of Parametric Traces
FormaliSE
11:30
30m
Research paper
Runtime Verification of Hyperproperties for Deterministic Programs
FormaliSE
12:00
30m
Research paper
Testing Meets Static and Runtime Verification
FormaliSE
13:45 - 14:15
Student presentationsFormaliSE at R22+23
Chair(s): Nico PlatThanos
14:15 - 15:30
Program Verification and ApplicationFormaliSE at R22+23
Chair(s): Wolfgang AhrendtChalmers University of Technology
14:15
25m
Research paper
CIL to Java-bytecode Translation for Static Analysis Leveraging
FormaliSE
14:40
25m
Research paper
Modeling Time in Java Programs for Automatic Error Detection
FormaliSE
15:05
25m
Talk
[Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research
FormaliSE
Alexander WickertUniversity of Potsdam, Anna-Lena LamprechtUtrecht University, Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
16:00 - 17:15
Formal Methods for Autonomous Systems 2FormaliSE at R22+23
Chair(s): Michael WhalenUniversity of Minnesota
16:00
25m
Research paper
Self-Adaptive Automata
FormaliSE
16:25
25m
Research paper
Formal Verification of an Autonomous Wheel Loader by Model Checking
FormaliSE
16:50
25m
Short-paper
[Short paper] Formal verification of automotive embedded software
FormaliSE
17:15 - 17:30
Closing remarksFormaliSE at R22+23
Chair(s): Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" , Nico PlatThanos

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
R22+23

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
R22+23