| 2022 | Formally Verifying Decompositions of Stochastic Specifications. | Anton Hampus, Mattias Nyberg |
| 2022 | Reinforcement Learning with Guarantees that Hold for Ever. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. | Marco Grochowski, Marcus Vlker, Stefan Kowalewski |
| 2022 | Model-Based Testing of Internet of Things Protocols. | Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel |
| 2022 | Deductive Verification of Smart Contracts with Dafny. | Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
| 2022 | Chemical Case Studies in KeYmaera X. | Rose Bohrer |
| 2022 | Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. | Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Bker, Mario Fietze, Bastian Kogel |
| 2022 | Towards Reusable Formal Models for Custom Real-Time Operating Systems. | Julius Adelt, Julian Gebker, Paula Herber |
| 2021 | On Education and Training in Formal Methods for Industrial Critical Systems. | Bernd Westphal |
| 2021 | PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. | Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos |
| 2021 | Improving SMT Solver Integrations for the Validation of B and Event-B Models. | Joshua Schmidt, Michael Leuschel |
| 2021 | Modular Transformation of Java Exceptions Modulo Errors. | Robert Rubbens, Sophie Lathouwers, Marieke Huisman |
| 2021 | Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. | Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang |
| 2021 | Verifying the Mathematical Library of an UAV Autopilot with Frama-C. | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
| 2021 | Standard Conformance-by-Construction with Event-B. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2021 | Automated Verification of Temporal Properties of Ladder Programs. | Cludio Belo Loureno, Denis Cousineau, Florian Faissole, Claude March, David Mentr, Hiroaki Inoue |
| 2021 | Merit and Blame Assignment with Kind 2. | Daniel Larraz, Mickal Laurent, Cesare Tinelli |
| 2021 | Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2021 | Parametric Faults in Safety Critical Programs. | Hamid Jahanian |
| 2021 | Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. | Simon Thrane Hansen, Cludio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock |
| 2021 | Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. | Roberto Bruttomesso |
| 2021 | ProB2-UI: A Java-Based User Interface for ProB. | Jens Bendisposto, David Geleus, Yumiko Jansing, Michael Leuschel, Antonia Ptz, Fabian Vu, Michelle Werth |
| 2021 | Spatial Model Checking for Smart Stations - Research Challenges. | Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
| 2021 | Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. | Davide Basile, Alessandro Fantechi, Irene Rosadi |
| 2020 | A Formally Verified Plasma Vertical Position Control Algorithm. | May Wu, Jessie C. Rosenberg, Nathan Fulton |