| 2025 | Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings Nikolai Kosmatov, Laura Kovács |
| 2024 | A Formal Tainting-Based Framework for Malware Analysis. Andrei Mogage, Dorel Lucanu |
| 2024 | A Systematic Literature Review on a Decade of Industrial TLA Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer |
| 2024 | Active Learning of Runtime Monitors Under Uncertainty. Sebastian Junges, Sanjit A. Seshia, Hazem Torfah |
| 2024 | Correct and Complete Symbolic Execution for Free. Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva |
| 2024 | Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study. Stefan Ciobaca, Diana-Elena Gratie |
| 2024 | Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. Sabrine Saouli, Souheib Baarir, Claude Dutheillet |
| 2024 | Modeling Register Pairs in CompCert. Alexander Loitzl, Florian Zuleger |
| 2024 | Monitoring Extended Hypernode Logic. Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa |
| 2024 | Monitoring Real-Time Systems Under Parametric Delay. Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann |
| 2024 | PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik |
| 2024 | Proving Termination via Measure Transfer in Equivalence Checking. Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak |
| 2024 | PyQBF: A Python Framework for Solving Quantified Boolean Formulas. Mark Peyrer, Maximilian Heisinger, Martina Seidl |
| 2024 | Solvent: Liquidity Verification of Smart Contracts. Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone |
| 2024 | Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | StEVe: A Rational Verification Tool for Stackelberg Security Games. Surasak Phetmanee, Michele Sevegnani, Oana Andrei |
| 2024 | Stateful Functional Modeling with Refinement (a Lean4 Framework). Frédéric Peschanski |
| 2024 | Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | VeriCode: Correct Translation of Abstract Specifications to C Code. Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif |
| 2024 | VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. Robert Rubbens, Petra van den Bos, Marieke Huisman |