| 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 | Automated Property-Based Testing from AADL Component Contracts. John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
| 2023 | Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. Bence Graics, Vince Molnár, István Majzik |
| 2023 | Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga |
| 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 |
| 2023 | Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings Alessandro Cimatti, Laura Titolo |
| 2023 | Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
| 2023 | Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
| 2023 | Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga |
| 2023 | Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen |
| 2023 | Refinement of Systems with an Attacker Focus. Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen |
| 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 | Statistical Model Checking for sf P. Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha |
| 2023 | Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru |
| 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 |