Write a Blog >>
MSR 2018
Mon 28 - Tue 29 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

Displayed 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

Displayed 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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:00
WelcomeFormaliSE at R22+23
Chair(s): Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology, Paola Spoletini Kennesaw State University
09:00 - 10:00
KeynoteFormaliSE at R22+23
Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
09:00
60m
Talk
Risk management of high tech systems
FormaliSE
Marielle Stoelinga University of Twente
10:00 - 10:30
Formal Methods for Autonomous Systems 1FormaliSE at R22+23
Chair(s): Claudio Menghi University 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 Bianculli University 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 Plat Thanos
14:15 - 15:30
Program Verification and ApplicationFormaliSE at R22+23
Chair(s): Wolfgang Ahrendt Chalmers 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 Wickert University of Potsdam, Anna-Lena Lamprecht Utrecht University, Tiziana Margaria University 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 Whalen University 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 Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" , Nico Plat Thanos

Mon 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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