| 2023 | A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine |
| 2023 | A Decision Diagram Operation for Reachability. Sebastiaan Brand, Thomas Bäck, Alfons Laarman |
| 2023 | A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. Robert J. Colvin |
| 2023 | A Runtime Environment for Contract Automata. Davide Basile, Maurice H. ter Beek |
| 2023 | A Systematic Approach to Automotive Security. Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König |
| 2023 | Abstract Alloy Instances. Jan Oliver Ringert, Allison Sullivan |
| 2023 | Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi |
| 2023 | Can We Communicate? Using Dynamic Logic to Verify Team Automata. Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença |
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification. Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
| 2023 | Energy Büchi Problems. Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier |
| 2023 | Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings Marsha Chechik, Joost-Pieter Katoen, Martin Leucker |
| 2023 | Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa |
| 2023 | Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles |
| 2023 | Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser |
| 2023 | HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan |
| 2023 | Intelligent and Dependable Decision-Making Under Uncertainty. Nils Jansen |
| 2023 | Minimisation of Spatial Models Using Branching Bisimilarity. Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | Monitoring the Internet Computer. David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan |
| 2023 | Program Semantics and Verification Technique for AI-Centred Programs. Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli |
| 2023 | QMaude: Quantitative Specification and Verification in Rewriting Logic. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
| 2023 | Railway Scheduling Using Boolean Satisfiability Modulo Simulations. Tomás Kolárik, Stefan Ratschan |
| 2023 | Reasoning About Promises in Weak Memory Models with Event Structures. Heike Wehrheim, Lara Bargmann, Brijesh Dongol |
| 2023 | Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt |
| 2023 | SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. Nicolas Amat, Silvano Dal-Zilio |
| 2023 | SMT Sampling via Model-Guided Approximation. Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
| 2023 | Shifting Left for Early Detection of Machine-Learning Bugs. Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser |
| 2023 | Specification-Guided Critical Scenario Identification for Automated Driving. Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen |
| 2023 | Symbolic Computation in Automated Program Reasoning. Laura Kovács |
| 2023 | Tableaux for Realizability of Safety Specifications. Montserrat Hermo, Paqui Lucio, César Sánchez |
| 2023 | The Next Big Thing: From Embedded Systems to Embodied Actors. Harald Ruess |
| 2023 | The Octatope Abstract Domain for Verification of Neural Networks. Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski |
| 2023 | The ScalaFix Equation Solver. Gianluca Amato, Francesca Scozzari |
| 2023 | Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. Achim D. Brucker, Amy Stell |
| 2023 | Verifying Functional Correctness Properties at the Level of Java Bytecode. Marco Paganoni, Carlo A. Furia |
| 2023 | VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. Petra van den Bos, Sung-Shik Jongmans |
| 2023 | Word Equations in Synergy with Regular Constraints. Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc |
| 2023 | sfPFL: A Probabilistic Logic for Fault Trees. Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga |
| 2023 | symQV: Automated Symbolic Verification of Quantum Programs. Fabian Bauer-Marquart, Stefan Leue, Christian Schilling |
| 2023 | veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli |