| 2026 | Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings Anne Remke, Bernhard Steffen |
| 2025 | A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier. Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman |
| 2025 | A Specification-Driven Approach to Embedded FDIR Code Generation. Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta |
| 2025 | An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space. Arnd Hartmanns |
| 2025 | AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld |
| 2025 | Backward Responsibility in Transition Systems Beyond Safety. Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann |
| 2025 | Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. Andreas Kjeldgaard Brandhøj, Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Danny Bøgsted Poulsen |
| 2025 | Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles. Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota |
| 2025 | End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR. John Hatcliff, Jason Belt, Robby, Clint McKenzie, Catalina Liang |
| 2025 | Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime. Janis Kröger, Ingo Stierand, Martin Fränzle |
| 2025 | GRust: A Programming Language for Automotive Engineering. Émilie Thomé, Xavier Denis, Christine Tasson |
| 2025 | IC3 for Loop Invariant Generation in Deductive Analysis. Niklas van de Sand, Marcus Völker |
| 2025 | Navigating the Growing Field of Research on AI for Software Testing - The Taxonomy for AI-Augmented Software Testing and an Ontology-Driven Literature Survey. Ina K. Schieferdecker |
| 2025 | Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems. Felix Schaber, Atif Mashkoor, Michael Leuschel |
| 2025 | Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin |
| 2025 | Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification. Tiago F. Sequeira, André de Matos Pedro |