| 2024 | Adversarial Robustness Certification for Bayesian Neural Networks. | Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska |
| 2024 | AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. | Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li |
| 2024 | UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking. | Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi, Tao Wei |
| 2024 | Chamelon : A Delta-Debugger for OCaml. | Milla Valnet, Nathanalle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron |
| 2024 | Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. | Abhishek Tiwari, Jyoti Prakash, Zhen Dong, Carlo A. Furia |
| 2024 | Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz |
| 2024 | Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. | Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu |
| 2024 | Proving Functional Program Equivalence via Directed Lemma Synthesis. | Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong |
| 2024 | Switching Controller Synthesis for Hybrid Systems Against STL Formulas. | Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan |
| 2024 | Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. | Terru Stbinger, Lars Hupel |
| 2024 | No Risk, No Fun - A Tutorial on Risk Management. | Marille Stoelinga |
| 2024 | Accurate Static Data Race Detection for C. | Emerson Sales, Omar Inverso, Emilio Tuosto |
| 2024 | A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design. | Gaetano Raia, Gianluca Rigano, David Vincenzoni, Maurizio Martina |
| 2024 | Advancing Quantum Computing with Formal Methods. | Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman |
| 2024 | The Nonexistence of Unicorns and Many-Sorted Lwenheim-Skolem Theorems. | Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |
| 2024 | A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. | Valentin Promies, Erika brahm |
| 2024 | Automated Static Analysis of Quality of Service Properties of Communicating Systems. | Carlos Gustavo Lpez Pombo, Agustn Eloy Martinez Su, Emilio Tuosto |
| 2024 | Runtime Verification in Real-Time with the Copilot Language: A Tutorial. | Ivan Perez, Alwyn E. Goodloe, Frank Dedden |
| 2024 | Practical Deductive Verification of OCaml Programs. | Mrio Pereira |
| 2024 | cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. | Pedro Orvalho, Mikols Janota, Vasco M. Manquinho |
| 2024 | Code-Level Safety Verification for Automated Driving: A Case Study. | Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu |
| 2024 | VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. | Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su |
| 2024 | B2SAT: A Bare-Metal Reduction of B to SAT. | Michael Leuschel |
| 2024 | Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption. | Jaeseo Lee, Kyungmin Bae |
| 2024 | State Matching and Multiple References in Adaptive Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |