| 2024 | Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini |
| 2024 | Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga |
| 2024 | Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte |
| 2024 | Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings Anne E. Haxthausen, Wendelin Serwe |
| 2024 | Formalising the Industrial Language SMMT in mCRL2. Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2024 | Fuzzing an Industrial Proprietary Protocol. Eduard Baranov, Axel Legay, Martin Vivian |
| 2024 | Logika: The Sireum Verification Framework. Robby, John Hatcliff, Jason Belt |
| 2024 | Modelling and Analysis of DTLS: Power Consumption and Attacks. Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux |
| 2024 | Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
| 2024 | Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa |
| 2024 | Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. Jan Steffen Becker |
| 2024 | Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins |
| 2024 | UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen |
| 2024 | Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |