Technical Programme

Technical Programme

The full list of accepted papers to iFM is available here.

The programme for FMICS on (Sept 3rd and 4th) is available here.

Provisional Schedule for PhD-iFM and iFM

Tuesday, 4 September

08:00 - 09:00 Registration
Session 1  
09:00 - 10:00

Joint session with FMICS / Invited speaker FMICS

Invited Speaker: 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
Session 2  
10:30 - 10:35 Opening and welcome
10:35 - 11:00 Faustin Ahishakiye and Felix Dino Lange. Non-intrusive MC/DC Measurement based on Traces
11:00 - 11:25 Fauzia Ehsan and Marieke Huisman. A Compositional Abstraction Technique for Automated Verification of Concurrent Programs
11:25 - 11:50 Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects
11:50 - 12:15 Stefan Schupp and Erika Abraham. The HyDRA Tool – A Playground for the Development of Hybrid Systems Reachability Analysis Methods
12:15 - 13:30 Lunch
Session 3  
13:30 - 14:30

Parallel session with FMICS / 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 - 14:55 Rui Wang. Model-based Testing of the Single-decree Paxos protocol with the Colour Petri Nets
14:55 - 15:20

Jannik Dunkelau. Machine Learning and AI Techniques for Automated Tool Selection for Formal Methods

15:20 - 15:45 Individual mentoring session
15:45 - 16:15 Coffee break
Session 4  
16:15 - 16:40 Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients
16:40 - 17:05

Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics

17:05 - 17:30 Jagadeeswaran Thangaraj and Senthilkumaran Ulaganathan. A Formal Framework to Unified Metamodel for Consistent Transformation
17:30 - 17:45 Best presentation award

 

Wednesday, 5 September

08:00 - 09:00 Registration
Session 1  
09:00 - 10:00

Invited Talk: Viktor Vafeiadis. Program Correctness under Weak Memory Consistency

10:00 - 10:30 Coffee break
Session 2  
10:30 - 11:00 Johannes Eriksson, Masoumeh Parsa and Ralph-Johan Back. A Precise Pictorial Language for Array Invariants
11:00 - 11:30 Jan Boerman, Marieke Huisman and Sebastiaan Joosten. Reasoning about JML: Differences between KeY and OpenJML
11:30 - 12:00

Simon Doherty, John Derrick, Brijesh Dongol and Heike Wehrheim. Causal Linearizability: Compositionality for Partially Ordered Executions

12:00 - 13:30 Lunch
Session 3  
13:30 - 14:00

Philipp Koerner, Michael Leuschel and Jeroen Meijer. State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

14:00 - 14:30 Huu Vu Nguyen and Tayssir TouiliBranching Temporal Logic of Calls and Returns for Pushdown Systems
14:30 - 15:00

Eun-Young Kang, Dongrui Mu and Li Huang. Probabilistic Verification of Timing Constraints in Automotive Systems using UPPAAL-SMC

15:00 - 15:30 Coffee break
Session 4  
15:30 - 16:00 Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects
16:00 - 16:30 Salwa Kobeissi, Adnan Utayim, Mohamad Jaber and Ylies FalconeFacilitating the implementation of distributed systems with heterogeneous interactions
16:30 - 17:00 Tueno Fotso Steve Jeffrey, Marc Frappier, Regine Laleau, Amel Mammar and Leuschel MichaelFormalisation of SysML/KAOS Goal Assignments with B System Component Decompositions
18:00 

Welcome Reception: Pugin Hall, Maynooth University


 

 

Thursday, 6 September

08:00 - 09:00 Registration
Session 5  
09:00 - 10:00

Invited Talk:  Cristian Cadar. Dynamic Symbolic Execution for Software Analysis

10:00 - 10:30 Coffee break
Session 6  
10:30 - 11:00 Joshua Schmidt, Sebastian Krings and Michael LeuschelRepair and Generation of Formal Models Using Synthesis
11:00 - 11:30 Hendrik Simon and Stefan KowalewskiMode-aware Concolic Testing for PLC Software
11:30 - 12:00

Marko Dimjasevic, Falk Howar, Kasper Luckow and Zvonimir RakamaricStudy of Integrating Random and Symbolic Testing for Object-Oriented Software

12:00 - 13:30 Lunch
Session 7  
13:30 - 14:00

Daniel Dougherty, Joshua Guttman and John RamsdellSecurity Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA

14:00 - 14:30 Ruggero Lanotte, Massimo Merro and Simone TiniTowards a formal notion of impact metric for cyber-physical attacks
14:30 - 15:00

Dimitri Bohlender and Stefan KowalewskiDesign and Verification of Restart-robust Industrial Control Software

15:00 - 15:30 Coffee break
Session 8  
15:30 - 16:00 Francesco Leofante, Erika Abraham and Armando TacchellaTask Planning with OMT: an Application to Production Logistics
16:00 - 16:30 Davide Basile, Maurice Ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini and Alessio Ferrari. On the Industrial Uptake of Formal Methods and Tools in the Railway Domain: A Survey with Stakeholders
16:30 - 17:00 Marie Farrell, Matt Luckcuck and Michael Fisher. Robotics and Integrated Formal Methods: Necessity meets Opportunity
  Conference Dinner: Barberstown Castle

 

 

Friday, 7 September

08:00 - 09:00 Registration
Session 9  
09:00 - 10:00

Invited Talk: Ana Cavalcanti. Integrating formal methods for modelling and simulation of swarm robotics

10:00 - 10:30 Coffee break
Session 10  
10:30 - 11:00 Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients
11:00 - 11:30 Zheng Cheng, Jean-Claude Royer and Massimo Tisi. Efficiently Characterizing the Undefined Requests of a Rule-Based System
11:30 - 12:00

Vashti GalpinFormal modelling of software defined networking

12:00 - 12:30 Rob van Glabbeek, Peter Höfner and Djurre van der Wal. Analysing AWN-specifications using mCRL2
12:30 - 12:45 iFM Closing Session
12:45 - 14:00 Lunch