| 2025 | CTL Model Checking Partially Specified Systems. | Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu |
| 2025 | Distributed Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2025 | Game Modeling of Blockchain Protocols. | Sophie Rain, Anja Petkovic Komel, Michael Rawson, Laura Kovcs |
| 2025 | Reachability Analysis of Function-as-a-Service Scheduling Policies. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2025 | Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. | Lidia Losavio, Marco Paganoni, Carlo A. Furia |
| 2025 | Safe Temperature Regulation: Formally Verified and Real-World Validated. | Carlos Isasa, Noah Abou El Wafa, Cludio Gomes, Peter Gorm Larsen, Andr Platzer |
| 2025 | From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes. | Jonathan Hellwig, Lukas Schfer, Long Qian, Andr Platzer, Matthias Althoff |
| 2025 | Formal Verification of PKCS#1 Signature Parser Using Frama-C. | Martin Hna, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| 2025 | Formal Verification of Legal Contracts: A Translation-Based Approach. | Reiner Hhnle, Cosimo Laneve, Adele Veschetti |
| 2025 | Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA | Matthias Grundmann, Hannes Hartenstein |
| 2025 | Online Model Checking for Anomaly Detection in Industrial Control Systems. | Douglas Fraser, Alice Miller, Marco M. Cook, Dimitrios Pezaros |
| 2025 | When Separation Arithmetic is Enough. | Jean-Christophe Fillitre, Andrei Paskevich, Olivier Danvy |
| 2025 | Auto-Generating Visual Editors for Formal Logics with Blockly. | Angelo Ferrando, Peng Lu, Vadim Malvone |
| 2025 | Quick Theory Exploration for Algebraic Data Types via Program Transformations. | Gidon Ernst, Grigory Fedyukovich |
| 2025 | Model Checking Buffered Durable Linearizability in CSP. | Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2025 | Automata Learning - Expect Delays! | Gabriel Dengler, Sven Apel, Holger Hermanns |
| 2025 | Extending Timed Automata with Clock Derivatives. | David Corts, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens |
| 2025 | Unfolding Iterators: Specification and Verification of Higher-Order Iterators in OCaml. | Ion Chirica, Mrio Pereira |
| 2025 | Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants. | Fletcher T. Chapin, Ankur Varma, Samuel Akinwande, Meagan S. Mauter, Sriram Sankaranarayanan |
| 2025 | Concurrency Under Control: Systematic Analysis of SDN Races Hazards. | Georgiana Caltais, Andrei Covaci, Hossein Hojjat |
| 2025 | CHC-Based Reachability Analysis via Cycle Summarization. | Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina |
| 2025 | Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees. | Jorge Blzquez, Manuel Montenegro, Clara Segura |
| 2025 | Formal Modeling of Trust in Autonomous Delivery Vehicles. | Manar Altamimi, Asieh Salehi Fathabadi, Vahid Yazdanpanah |
| 2025 | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. | Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2024 | Challenges in Autonomous Robotic System Verification. | Huan Zhang, Hao Wu |