| 2024 | Solvent: Liquidity Verification of Smart Contracts. | Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone |
| 2023 | Towards Formal Verification of a TPM Software Stack. | Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez, To Bernier |
| 2023 | CAN-verify: A Verification Tool For BDI Agents. | Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani |
| 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 | Analysis and Formal Specification of OpenJDK's BitSet. | Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | Refinement and Separation: Modular Verification of Wandering Trees. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2023 | Formal Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2023 | Reasoning About Exceptional Behavior at the Level of Java Bytecode. | Marco Paganoni, Carlo A. Furia |
| 2023 | CHC Model Validation with Proof Guarantees. | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
| 2023 | Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. | Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill |
| 2023 | Automated Sensitivity Analysis for Probabilistic Loops. | Marcel Moosbrugger, Julian Mllner, Laura Kovcs |
| 2023 | Scalable and Precise Refinement Types for Imperative Languages. | Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
| 2023 | diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. | Marie-Christine Jakobs, Tim Pollandt |
| 2023 | A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). | Artur Graczyk, Marialena Hadjikosti, Andrei Popescu |
| 2023 | Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. | Gidon Ernst, Alexander Weigl |
| 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 | Shuffling Posets on Trajectories. | Luc Edixhoven |
| 2023 | Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. | Jannik Dunkelau, Michael Leuschel |
| 2023 | Extending PlusCal for Modeling Distributed Algorithms. | Horatiu Cirstea, Stephan Merz |
| 2023 | Symbolic Model Checking of Relative Safety LTL Properties. | Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
| 2023 | Lifting the Reasoning Level in Generic Weak Memory Verification. | Lara Bargmann, Heike Wehrheim |
| 2023 | Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
| 2023 | SMT: Something You Must Try. | Erika brahm, Jzsef Kovcs, Anne Remke |
| 2022 | HyperPCTL Model Checking by Probabilistic Decomposition. | Eshita Zaman, Gianfranco Ciardo, Erika brahm, Borzoo Bonakdarpour |
| 2022 | A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. | Oisn Sheridan, Rosemary Monahan, Matt Luckcuck |