| 2022 | A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn |
| 2022 | Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel |
| 2022 | Chemical Case Studies in KeYmaera X. Rose Bohrer |
| 2022 | Deductive Verification of Smart Contracts with Dafny. Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
| 2022 | Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings Jan Friso Groote, Marieke Huisman |
| 2022 | Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober |
| 2022 | Formal Verification of an Industrial UML-like Model using mCRL2. Anna Stramaglia, Jeroen J. A. Keiren |
| 2022 | Formally Verifying Decompositions of Stochastic Specifications. Anton Hampus, Mattias Nyberg |
| 2022 | Generating Domain-Specific Interactive Validation Documents. Fabian Vu, Christopher Happe, Michael Leuschel |
| 2022 | Model-Based Testing of Internet of Things Protocols. Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel |
| 2022 | Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira |
| 2022 | Reinforcement Learning with Guarantees that Hold for Ever. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | Supporting Railway Innovations with Formal Modelling and Verification. Bas Luttik |
| 2022 | Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. Marco Grochowski, Marcus Völker, Stefan Kowalewski |
| 2022 | Towards Reusable Formal Models for Custom Real-Time Operating Systems. Julius Adelt, Julian Gebker, Paula Herber |
| 2022 | Verification of Behavior Trees using Linear Constrained Horn Clauses. Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher |