| 2021 | Automated Verification of Temporal Properties of Ladder Programs. Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue |
| 2021 | Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. Davide Basile, Alessandro Fantechi, Irene Rosadi |
| 2021 | Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings Alberto Lluch-Lafuente, Anastasia Mavridou |
| 2021 | Improving SMT Solver Integrations for the Validation of B and Event-B Models. Joshua Schmidt, Michael Leuschel |
| 2021 | Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. Roberto Bruttomesso |
| 2021 | Merit and Blame Assignment with Kind 2. Daniel Larraz, Mickaël Laurent, Cesare Tinelli |
| 2021 | Modular Transformation of Java Exceptions Modulo Errors. Robert Rubbens, Sophie Lathouwers, Marieke Huisman |
| 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 | Parametric Faults in Safety Critical Programs. Hamid Jahanian |
| 2021 | ProB2-UI: A Java-Based User Interface for ProB. Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth |
| 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 | Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2021 | Spatial Model Checking for Smart Stations - Research Challenges. Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
| 2021 | Standard Conformance-by-Construction with Event-B. Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque |
| 2021 | Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock |
| 2021 | Verifying the Mathematical Library of an UAV Autopilot with Frama-C. Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |