Technical Programme

Technical Programme

All events will be held in the Iontas Building on the North Campus of Maynooth University. See #41 on the campus map. This venue is 10 minutes walk from campus accommodation and 15 minutes walk from the Glenroyal Hotel.

  • Registration will be in the Iontas Building Foyer
  • FMICS will be held in Room 0.32 (ground floor) on Monday and in the Iontas Lecture Theatre (ground floor) on Tuesday.
  • PhD-iFM will be held in Room 1.33 (first floor), and the joint session with FMICS on Tuesday morning from 9 - 10:10 will be held in the Iontas Lecture Theatre (ground floor).
  • iFM will be held in the Iontas Lecture Theatre (ground floor).
  • Rooms 0.32 and 1.33 will be generally available for meetings from Wednesday - Friday.

Proceedings

The Proceedings for FMICS 2018 is now available online as LNCS 11119, with free access by clicking on the embedded hyperlink until October 3rd 2018.

The Proceedings for iFM 2018 is now available online as LNCS 11023, with free access by clicking on the embedded hyperlink until September 29th 2018.

Follow this link for the PhD-iFM 2018 proceedings.

Schedule for FMICS 2018, PhD-iFM and iFM 2018

The full programme for all three events is available here in pdf.

The online programme for FMICS on (Sept 3rd and 4th) is available here. Registration and coffee breaks will be in the Iontas Building Foyer. Lunch will be in the Phoenix Restaurant (#38 on campus map).

PhD-iFM: Tuesday, 4 September: Iontas Building, Room 1.33 (First Floor)

08:30 - 09:00 Registration in Iontas Building Foyer
Session 1

Parallel session with FMICS - Invited speaker FMICS (Iontas Lecture Theatre)

09:00 - 09:10

Marc Daumas, Science Attaché, Embassy of France in Ireland

09:10 - 10:10

Invited Speaker: Susanne Graf, Director of Research at VERIMAG Grenoble, France.

Building correct Cyber‐Physical Systems --- can we improve current practice?

10:10 - 10:30 Coffee break in Iontas Building Foyer
Session 2

Chair: Erika Abraham (Room 1.33)

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 in Phoenix Restaurant (#38 on campus map).
Session 3

Chair: Einar Broch Johnsen (Room 1.33)

13:30 - 14:30

Invited Talk:Parallel session with FMICS (Invited speaker PhD-iFM)

Title:  Formal Verification of Financial Algorithms with Imandra

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 Distributed Systems and Protocols with the Coloured 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 in Iontas Building Foyer
Session 4

Chair: Luigia Petre (Room 1.33)

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

iFM: Wednesday, 5 September, Iontas Lecture Theatre

08:00 - 08:50 Registration in Iontas Building Foyer
08:50 - 09:00 iFM Opening and Welcome
Session 5

Chair: Kirsten Winter

09:00 - 10:00

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

10:00 - 10:30 Coffee break in Iontas Building Foyer
Session 6

Chair: Einar Broch Johnsen

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 in Phoenix Restaurant (#38 on campus map).
Session 7

Chair: Peter Hoefner

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 in Iontas Building Foyer
Session 8

Chair: Ferrucio Damiani

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 (with tours of the Russell Library)

 

iFM: Thursday, 6 September, Iontas Lecture Theatre

08:30 - 09:00 Registration in Iontas Building Foyer
Session 9

Chair: Carlo A. Furia

09:00 - 10:00

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

10:00 - 10:30 Coffee break in Iontas Building Foyer
Session 10

Chair: Marieke Huisman

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 in Phoenix Restaurant (#38 on campus map).
Session 11

Chair: Erika Abraham

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 in Iontas Building Foyer
Session 12

Chair: John Derrick

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
18:30 Depart from Phoenix Restaurant for Dinner at Barberstown Castle

iFM: Friday, 7 September, Iontas Lecture Theatre

08:30 - 09:00 Registration in Iontas Building Foyer
Session 13

Chair: Rosemary Monahan

09:00 - 10:00

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

10:00 - 10:30 Coffee break in Iontas Building Foyer
Session 14

Chair: Luigia Petre

10:30 - 11:00

Zheng Cheng, Jean-Claude Royer and Massimo Tisi. Efficiently Characterizing the Undefined Requests of a Rule-Based System

11:00 - 11:30

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients

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 in Phoenix Restaurant (#38 on campus map).