FMICS 2018

23rd International Conference on Formal Methods for Industrial Critical Systems

Conference Programme

Monday, Sep 3rd

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

Tuesday, Sep 4th

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
Session 5: Formal Methods for IoT Systems
Loic Gelle, Hassen Saidi, Ashish Gehani
Wholly!: A Build System For The Modern Software Stack
Axel Legay
A Modeling Language for Security Threats of IoT Systems
Parallel session with PhD-iFM (Invited speaker PhD-iFM)
Invited Speaker: Dr. Grant Olney Passmore.
  • Co-Founder and Co-CEO, Aesthetic Integration, London
  • Life Member, Clare Hall, University of Cambridge
  • Honorary Associate, LABORES - Laboratoire de Recherche Scientifique, Paris
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