| 2024 | iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings Paula Herber, Anton Wijs |
| 2023 | A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). Artur Graczyk, Marialena Hadjikosti, Andrei Popescu |
| 2023 | Analysis and Formal Specification of OpenJDK's BitSet. Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | Automated Sensitivity Analysis for Probabilistic Loops. Marcel Moosbrugger, Julian Müllner, Laura Kovács |
| 2023 | Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction. Miroslav N. Velev |
| 2023 | CAN-verify: A Verification Tool For BDI Agents. Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani |
| 2023 | CHC Model Validation with Proof Guarantees. Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
| 2023 | Extending PlusCal for Modeling Distributed Algorithms. Horatiu Cirstea, Stephan Merz |
| 2023 | Formal Modelling and Analysis of a Self-Adaptive Robotic System. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2023 | Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
| 2023 | Lifting the Reasoning Level in Generic Weak Memory Verification. Lara Bargmann, Heike Wehrheim |
| 2023 | Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. Jenna Elwing, Laura P. Gamboa Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier |
| 2023 | Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. Jannik Dunkelau, Michael Leuschel |
| 2023 | Reasoning About Exceptional Behavior at the Level of Java Bytecode. Marco Paganoni, Carlo A. Furia |
| 2023 | Refinement and Separation: Modular Verification of Wandering Trees. Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif |
| 2023 | Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill |
| 2023 | SMT: Something You Must Try. Erika Ábrahám, József Kovács, Anne Remke |
| 2023 | Scalable and Precise Refinement Types for Imperative Languages. Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
| 2023 | Shuffling Posets on Trajectories. Luc Edixhoven |
| 2023 | Symbolic Model Checking of Relative Safety LTL Properties. Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
| 2023 | Towards Formal Verification of a TPM Software Stack. Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier |
| 2023 | Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. Gidon Ernst, Alexander Weigl |
| 2023 | diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. Marie-Christine Jakobs, Tim Pollandt |