FMICS 2023 best paper:
Djurre van der Wal, Marcus Gerhold, and Mariëlle Stoelinga. Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
- Neelanjana Pal, Diego Manzanas Lopez and Taylor T Johnson. Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable Length Time Series Input
- Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao and Wenhai Wang. Applying Rely-guarantee Reasoning on Concurrent Memory Management and Mailbox in μc/OS-II: A Case Study
- Aziz Sfar, David Carral, Dina Irofti and Madalina Croitoru. Testing Logical Diagrams in power plants: a tale of LTL model checking
- Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini and Carlo Vaghi. The 4SECURail case study on rigorous standard interface specifications
- Djurre van der Wal, Marcus Gerhold and Marielle Stoelinga. Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
- John Hatcliff, Jason Belt, Fnu Robby, Jacob Legg, Danielle Stewart and Todd Carpenter. Automated Property-based Testing from AADL Component Contracts
- Francisco Durán, Nicolás Pozas, Carlos Ramírez and Camilo Rocha. Statistical Model Checking for P
- Chris Johannsen, Brian Kempa, Phillip Jones, Kristin Rozier and Tichakorn Wongpiromsarn. Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints
- Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Optimal spare management via statistical model checking: A case study in research reactors
- Kim Guldstrand Larsen, Axel Legay and Danny Bøgsted Poulsen. Refinement of Systems with an Attacker Focus
- Bence Graics, Vince Molnár and Istvan Majzik. Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
- Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström and Saad Mubeen. Pattern-Based Verification of ROS 2 Nodes using UPPAAL
- Imran Riaz Hasrat, Jiřı Srba, Peter Gjøl Jensen and Kim Guldstrand Larsen. Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control