| 2024 | Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. | Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini |
| 2024 | Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. | Jan Steffen Becker |
| 2024 | Fuzzing an Industrial Proprietary Protocol. | Eduard Baranov, Axel Legay, Martin Vivian |
| 2024 | Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. | Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
| 2023 | Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. | Djurre van der Wal, Marcus Gerhold, Marille Stoelinga |
| 2023 | Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. | Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang |
| 2023 | Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. | Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2023 | Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. | Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru |
| 2023 | Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. | Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | Refinement of Systems with an Attacker Focus. | Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2023 | Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. | Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
| 2023 | Automated Property-Based Testing from AADL Component Contracts. | John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
| 2023 | Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2023 | Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. | Bence Graics, Vince Molnr, Istvn Majzik |
| 2023 | Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. | Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekstrm, Saad Mubeen |
| 2023 | Statistical Model Checking for sf P. | Francisco Durn, Nicols Pozas, Carlos Ramrez, Camilo Rocha |
| 2023 | The 4SECURail Case Study on Rigorous Standard Interface Specifications. | Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi |
| 2023 | Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. | Davide Basile, Franco Mazzanti, Alessio Ferrari |
| 2022 | Generating Domain-Specific Interactive Validation Documents. | Fabian Vu, Christopher Happe, Michael Leuschel |
| 2022 | Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. | Guillaume Vidot, Mlanie 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 | Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. | Andr de Matos Pedro, Toms Silva, Tiago F. Sequeira, Joo Loureno, Joo Costa Seco, Carla Ferreira |
| 2022 | Supporting Railway Innovations with Formal Modelling and Verification. | Bas Luttik |
| 2022 | Verification of Behavior Trees using Linear Constrained Horn Clauses. | Thomas Henn, Marcus Vlker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher |
| 2022 | A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. | Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn |