iFM 2018 Accepted Papers

Francesco Leofante, Erika Abraham and Armando Tacchella. Task Planning with OMT: an Application to Production Logistics
Eduard Kamburjan and Tzu-Chun Chen. Stateful Behavioral Types for Active Objects
Salwa Kobeissi, Adnan Utayim, Mohamad Jaber and Ylies Falcone. Facilitating the implementation of distributed systems with heterogeneous interactions
Rob van Glabbeek, Peter Höfner and Djurre van der Wal. Analysing AWN-specifications using mCRL2 (extended abstract)
Eun-Young Kang, Dongrui Mu and Li Huang. Probabilistic Verification of Timing Constraints in Automotive Systems using UPPAAL-SMC
Dimitri Bohlender and Stefan Kowalewski. Design and Verification of Restart-robust Industrial Control Software
Johannes Eriksson, Masoumeh Parsa and Ralph-Johan Back. A Precise Pictorial Language for Array Invarinats
Vashti Galpin. Formal modelling of software defined networking
Philipp Koerner, Michael Leuschel and Jeroen Meijer. State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
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
Marie Farrell, Matt Luckcuck and Michael Fisher. Robotics and Integrated Formal Methods: Necessity meets Opportunity
Daniel Dougherty, Joshua Guttman and John Ramsdell. Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA
Huu Vu Nguyen and Tayssir Touili. Branching Temporal Logic of Calls and Returns for Pushdown Systems
Tueno Fotso Steve Jeffrey, Marc Frappier, Regine Laleau, Amel Mammar and Leuschel Michael. Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf and Lars Tveito. Resource-Aware Virtually Timed Ambients
Hendrik Simon and Stefan Kowalewski. Mode-aware Concolic Testing for PLC Software
Ruggero Lanotte, Massimo Merro and Simone Tini. Towards a formal notion of impact metric for cyber-physical attacks
Joshua Schmidt, Sebastian Krings and Michael Leuschel. Repair and Generation of Formal Models Using Synthesis
Marko Dimjasevic, Falk Howar, Kasper Luckow and Zvonimir Rakamaric. Study of Integrating Random and Symbolic Testing for Object-Oriented Software
Jan Boerman, Marieke Huisman and Sebastiaan Joosten. Reasoning about JML: Differences between KeY and OpenJML
Zheng Cheng, Jean-Claude Royer and Massimo Tisi. Efficiently Characterizing the Undefined Requests of a Rule-Based System
Simon Doherty, John Derrick, Brijesh Dongol and Heike Wehrheim. Causal Linearizability: Compositionality for Partially Ordered Executions