ICPC 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
* ICSE 2018 * (series) / ICPC 2018 (series) / Congress center Gothia Towers /

Room information: R22+23

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

* ICSE * Workshops

AST - 13th IEEE/ACM International Workshop on Automation of Software Test

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

* ICSE * Workshops

AST - 13th IEEE/ACM International Workshop on Automation of Software Test

Sat 2 Jun

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

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

FormaliSE

Welcome

FormaliSE

Keynote

FormaliSE

Formal Methods for Autonomous Systems 1

FormaliSE

Runtime verification

FormaliSE

Student presentations

FormaliSE

Program Verification and Application

FormaliSE

Formal Methods for Autonomous Systems 2

FormaliSE

Closing remarks

Sat 2 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
R22+23
FormaliSE
Risk management of high tech systems
09:00 - 10:00
FormaliSE
Formal Verification of Complex Robotic Systems on Resource-Constrained ...
10:00 - 10:30
FormaliSE
Extending Specification Patterns for Verification of Parametric Traces
11:00 - 11:30
FormaliSE
Runtime Verification of Hyperproperties for Deterministic Programs
11:30 - 12:00
FormaliSE
Testing Meets Static and Runtime Verification
12:00 - 12:30
FormaliSE
CIL to Java-bytecode Translation for Static Analysis Leveraging
14:15 - 14:40
FormaliSE
Modeling Time in Java Programs for Automatic Error Detection
14:40 - 15:05
FormaliSE
[Short paper] Domain-specific Design of Patient Classification in Cance ...
15:05 - 15:30
FormaliSE
Self-Adaptive Automata
16:00 - 16:25
FormaliSE
Formal Verification of an Autonomous Wheel Loader by Model Checking
16:25 - 16:50
FormaliSE
[Short paper] Formal verification of automotive embedded software
16:50 - 17:15