| 2020 | Verification of a Failure Management Protocol for Stateful IoT Applications. | Umar Ozeer, Gwen Salan, Loc Letondeur, Franois-Gal Ottogalli, Jean-Marc Vincent |
| 2020 | An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. | Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott |
| 2020 | A Safety Flasher Developed with the CLEARSY Safety Platform. | Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy |
| 2020 | Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers. | Yanni Kouskoulas, Thyago J. Machado, Daniel Genin |
| 2020 | Skylines for Symbolic Energy Consumption Analysis. | Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen |
| 2020 | Temporal-Logic Query Checking over Finite Data Streams. | Samuel Huang, Rance Cleaveland |
| 2020 | Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | The 2020 Expert Survey on Formal Methods. | Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol |
| 2020 | The First Twenty-Five Years of Industrial Use of the B-Method. | Michael J. Butler, Philipp Krner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin |
| 2020 | Formal Verification of OIL Component Specifications using mCRL2. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2020 | Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2019 | Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. | Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian |
| 2019 | A Simulator for LLVM Bitcode. | Petr Rockai, Jiri Barnat |
| 2019 | Probabilistic Verification for Reliable Network-on-Chip System Design. | Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang |
| 2019 | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. | Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
| 2019 | Formal Modelling and Verification of an Interlocking Using mCRL2. | Mark Bouwman, Bob Janssen, Bas Luttik |
| 2019 | Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow |
| 2019 | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay |
| 2019 | A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nieen |
| 2018 | Progress Checking for Dummies. | Antti Valmari, Henri Hansen |
| 2018 | Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. | Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool |
| 2018 | M3C: Modal Meta Model Checking. | Bernhard Steffen, Alnis Murtovi |
| 2018 | Predicate Abstraction and Such... | Bernhard Steffen, Tiziana Margaria |
| 2018 | Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. | Sophie Quinton |