| 2026 | Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings Ferruccio Damiani, Marie Farrell |
| 2025 | Auto-Generating Visual Editors for Formal Logics with Blockly. Angelo Ferrando, Peng Lu, Vadim Malvone |
| 2025 | Automata Learning - Expect Delays! Gabriel Dengler, Sven Apel, Holger Hermanns |
| 2025 | CHC-Based Reachability Analysis via Cycle Summarization. Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina |
| 2025 | CTL Model Checking Partially Specified Systems. Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu |
| 2025 | Concurrency Under Control: Systematic Analysis of SDN Races Hazards. Georgiana Caltais, Andrei Covaci, Hossein Hojjat |
| 2025 | Distributed Timed Scenarios. Neda Saeedloei, Feliks Kluzniak |
| 2025 | Extending Timed Automata with Clock Derivatives. David Cortés, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens |
| 2025 | Formal Modeling of Trust in Autonomous Delivery Vehicles. Manar Altamimi, Asieh Salehi Fathabadi, Vahid Yazdanpanah |
| 2025 | Formal Verification of Legal Contracts: A Translation-Based Approach. Reiner Hähnle, Cosimo Laneve, Adele Veschetti |
| 2025 | Formal Verification of PKCS#1 Signature Parser Using Frama-C. Martin Hána, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| 2025 | From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes. Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer, Matthias Althoff |
| 2025 | Game Modeling of Blockchain Protocols. Sophie Rain, Anja Petkovic Komel, Michael Rawson, Laura Kovács |
| 2025 | Model Checking Buffered Durable Linearizability in CSP. Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2025 | Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. Lidia Losavio, Marco Paganoni, Carlo A. Furia |
| 2025 | Online Model Checking for Anomaly Detection in Industrial Control Systems. Douglas Fraser, Alice Miller, Marco M. Cook, Dimitrios Pezaros |
| 2025 | Quick Theory Exploration for Algebraic Data Types via Program Transformations. Gidon Ernst, Grigory Fedyukovich |
| 2025 | Reachability Analysis of Function-as-a-Service Scheduling Policies. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2025 | Safe Temperature Regulation: Formally Verified and Real-World Validated. Carlos Isasa, Noah Abou El Wafa, Cláudio Gomes, Peter Gorm Larsen, André Platzer |
| 2025 | Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA Matthias Grundmann, Hannes Hartenstein |
| 2025 | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2025 | Unfolding Iterators: Specification and Verification of Higher-Order Iterators in OCaml. Ion Chirica, Mário 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 | Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees. Jorge Blázquez, Manuel Montenegro, Clara Segura |
| 2025 | When Separation Arithmetic is Enough. Jean-Christophe Filliâtre, Andrei Paskevich, Olivier Danvy |