| 2023 | The Octatope Abstract Domain for Verification of Neural Networks. | Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski |
| 2023 | veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. | Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli |
| 2023 | The ScalaFix Equation Solver. | Gianluca Amato, Francesca Scozzari |
| 2023 | SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. | Nicolas Amat, Silvano Dal-Zilio |
| 2021 | Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. | Zhenya Zhang, Paolo Arcaini |
| 2021 | Model Checking for Verification of Quantum Circuits. | Mingsheng Ying |
| 2021 | Apply Formal Methods in Certifying the SyberX High-Assurance Kernel. | Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang, Shihong Zou |
| 2021 | Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. | Daniel Wright, Mark Batty, Brijesh Dongol |
| 2021 | Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. | Felix A. Wolf, Malte Schwerhoff, Peter Mller |
| 2021 | Two Mechanisations of WebAssembly 1.0. | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
| 2021 | Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. | Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li |
| 2021 | Dynamic Reconfiguration via Typed Modalities. | Ionut Tutu, Claudia Elena Chirita, Jos Luiz Fiadeiro |
| 2021 | Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. | Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jrgen Holberg, Tom Bienmller |
| 2021 | Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks. | Cui Su, Jun Pang |
| 2021 | Probabilistic Verification of Neural Networks Against Group Fairness. | Bing Sun, Jun Sun, Ting Dai, Lijun Zhang |
| 2021 | Formal Verification of Complex Data Paths: An Industrial Experience. | Carl-Johan H. Seger |
| 2021 | BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. | Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh |
| 2021 | Verified Quadratic Virtual Substitution for Real Arithmetic. | Matias Scharager, Katherine Cordwell, Stefan Mitsch, Andr Platzer |
| 2021 | Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study. | Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo |
| 2021 | Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. | Csar Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai |
| 2021 | Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. | Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou |
| 2021 | Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. | Yousaf Rahman, Md Tawhid Bin Waez, Yuming Niu |
| 2021 | Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. | Andrea Pferscher, Bernhard K. Aichernig |
| 2021 | Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms. | Grant Olney Passmore |
| 2021 | Z3str4: A Multi-armed String Solver. | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |