| 2019 | Using Ontologies in Formal Developments Targeting Certification. | Achim D. Brucker, Burkhart Wolff |
| 2019 | An Integrated Approach to a Combinatorial Optimisation Problem. | Juliana Bowles, Marco B. Caminati |
| 2019 | Axiomatic Characterization of Trace Reachability for Concurrent Objects. | Frank S. de Boer, Hans-Dieter A. Hiep |
| 2019 | Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. | Tuur Benoit, Bart Jacobs |
| 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints. | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safrnek |
| 2019 | Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2019 | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2018 | Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". | Hendrik Simon, Stefan Kowalewski |
| 2018 | Repair and Generation of Formal Models Using Synthesis. | Joshua Schmidt, Sebastian Krings, Michael Leuschel |
| 2018 | Branching Temporal Logic of Calls and Returns for Pushdown Systems. | Huu-Vu Nguyen, Tayssir Touili |
| 2018 | Task Planning with OMT: An Application to Production Logistics. | Francesco Leofante, Erika brahm, Armando Tacchella |
| 2018 | Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2018 | State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. | Philipp Krner, Michael Leuschel, Jeroen Meijer |
| 2018 | Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. | Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Ylis Falcone |
| 2018 | Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. | Eun-Young Kang, Dongrui Mu, Li Huang |
| 2018 | Stateful Behavioral Types for Active Objects. | Eduard Kamburjan, Tzu-Chun Chen |
| 2018 | Resource-Aware Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2018 | Analysing AWN-Specifications Using mCRL2 (Extended Abstract). | Rob J. van Glabbeek, Peter Hfner, Djurre van der Wal |
| 2018 | Formal Modelling of Software Defined Networking. | Vashti Galpin |
| 2018 | Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. | Steve Jeffrey Tueno Fotso, Marc Frappier, Rgine Laleau, Amel Mammar, Michael Leuschel |
| 2018 | Robotics and Integrated Formal Methods: Necessity Meets Opportunity. | Marie Farrell, Matt Luckcuck, Michael Fisher |
| 2018 | A Precise Pictorial Language for Array Invariants. | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
| 2018 | Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
| 2018 | Making Linearizability Compositional for Partially Ordered Executions. | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
| 2018 | Study of Integrating Random and Symbolic Testing for Object-Oriented Software. | Marko Dimjasevic, Falk Howar, Kasper Se Luckow, Zvonimir Rakamaric |