| 08:00 - 08:45 | Registration |
| 08:45 - 09:00 | FMICS Opening and Welcome |
| 09:00 - 10:00 | Invited Talk: Tiziana Margaria (University of Limerick, Lero and Confirm, Limerick, Ireland) Generative model driven design for agile system design and evolution - a tale of two worlds. |
| 10:00 - 10:30 | Coffee Break / Networking |
| 10:30 - 12:10 | Session 1: Safety of Distributed Systems
Martin Kölbl and Stefan Leue Automated Functional Safety Analysis of Automated Driving Systems Alessandro Fantechi and Anne E. Haxthausen Safety Interlocking as a Distributed Mutual Exclusion Problem Jan Toennemann, Andreas Rausch, Falk Howar and Benjamin Cool Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL |
| 12:00 - 13:30 | Lunch Break |
| 13:30 - 15:00 | Session 2: Formal Analysis of Designs
Panagiotis Kouvaros, Dimitrios Kouzapas and Anna Philippou Formal Verification of a Programmable Hypersurface - Work in progress Maarten Bartholomeus, Bas Luttik and Tim Willemse Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset Antti Valmari and Henri Hansen Progress Checking for Dummies |
| 15:00 - 15:30 | Coffee Break / Networking |
| 15:30 - 17:00 | Session 3: Model Learning and Model Checking
Jan Steffen Becker Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker Markus Frohme and Bernhard Steffen Active Mining of Document Type Definitions David Huistra, Jeroen Meijer and Jaco van de Pol Adaptive Learning for Learn-based regression testing |
| 17:00 - 17:15 | FMICS Best Paper Presentations |
| 18:30 | Departure for Dinner |
| 19:00 | Conference Dinner |
| 08:00 - 09:00 | Registration | ||
| 09:00 - 10:00 | Joint session with PhD-iFM (Invited speaker FMICS): Susanne Graf (Director of Research at VERIMAG Grenoble, France) Building correct Cyber‐Physical Systems - can we improve current practice? |
||
| 10:00 - 10:30 | Coffee Break / Networking | ||
| 10:30 - 12:10 | Session 4: Complex Systems: Components, Procedures, and Concurrency
Hubert Garavel, Frédéric Lang, Laurent Mounier Compositional Verification in Action Gerald Lüttgen A Note on Refinement in Hierarchical Transition Systems Bernhard Steffen and Alnis Murtovi M3C: Modal Meta Model Checking Bengt Jonsson The Quest for Optimality in Stateless Model Checking of Concurrent Programs |
||
| 12:10 - 13:30 | Lunch Break | ||
| 13:30 - 14:30 |
|
||
| 14:30 - 15:45 | Session 6: Analysis of Timed Systems
Wang Yi The Cause-Effect Latency Problem in Real-Time Systems Iulian Ober Revisiting bounded reachability analysis of timed automata based on MILP Sophie Quinton Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools |
||
| 15:45 - 16:15 | Coffee Break / Networking | ||
| 16:15 - 17:15 | Panel: Next Generation Smart Systems
|
||
| 17:15 - 17:30 | FMICS Closing |