| 2025 | GRust: A Programming Language for Automotive Engineering. | milie Thom, Xavier Denis, Christine Tasson |
| 2025 | Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification. | Tiago F. Sequeira, Andr de Matos Pedro |
| 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 | IC3 for Loop Invariant Generation in Deductive Analysis. | Niklas van de Sand, Marcus Vlker |
| 2025 | Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime. | Janis Krger, Ingo Stierand, Martin Frnzle |
| 2025 | End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR. | John Hatcliff, Jason Belt, Robby, Clint McKenzie, Catalina Liang |
| 2025 | An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space. | Arnd Hartmanns |
| 2025 | Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. | Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin |
| 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 | Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. | Andreas Kjeldgaard Brandhj, Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Danny Bgsted Poulsen |
| 2025 | A Specification-Driven Approach to Embedded FDIR Code Generation. | Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta |
| 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 | Backward Responsibility in Transition Systems Beyond Safety. | Christel Baier, Rio Klatt, Sascha Klppelholz, Johannes Lehmann |
| 2025 | AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. | Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld |
| 2024 | Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. | Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | Logika: The Sireum Verification Framework. | Robby, John Hatcliff, Jason Belt |
| 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 | 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 | Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. | Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Marille Stoelinga |
| 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 |
| 2024 | Modelling and Analysis of DTLS: Power Consumption and Attacks. | Lise Bech Gehlert, Malthe Peter Hjen Jrgensen, Christoffer Brejnholm Koch, Tobias Mller, Signe Kirstine Rusbjerg, Tobias Worm Bgedal, Danny Bgsted Poulsen, Ren Rydhof Hansen, Daniel Lux |
| 2024 | UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. | Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekstrm, Saad Mubeen |
| 2024 | Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. | Mlanie Ducoffe, Guillaume Povda, Audrey Galametz, Ryma Boumazouza, Marion-Ccile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins |
| 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 |