| 2024 | Borrowable Fractional Ownership Types for Verification. | Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi |
| 2024 | Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. | Marco Milanese, Antoine Min |
| 2024 | A Navigation Logic for Recursive Programs with Dynamic Thread Creation. | Roman Lakenbrink, Markus Mller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld |
| 2024 | Petrification: Software Model Checking for Programs with Dynamic Thread Management. | Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schssele |
| 2024 | Formal Runtime Error Detection During Development in the Automotive Industry. | Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund |
| 2024 | TP-DejaVu: Combining Operational and Declarative Runtime Verification. | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
| 2024 | Generic Model Checking for Modal Fixpoint Logics in COOL-MC. | Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schrder, Aaron Strahlberger |
| 2024 | Interpolation and Quantifiers in Ortholattices. | Simon Guilloud, Sankalp Gambhir, Viktor Kuncak |
| 2024 | Resilience and Home-Space for WSTS. | Alain Finkel, Mathieu Hilaire |
| 2024 | AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. | Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi |
| 2024 | Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. | Yuxin Deng, Huiling Wu, Ming Xu |
| 2024 | Automatically Enforcing Rust Trait Properties. | Twain Byrnes, Yoshiki Takashima, Limin Jia |
| 2024 | Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. | Michele Boreale, Luisa Collodi |
| 2024 | On the Verification of the Correctness of a Subgraph Construction Algorithm. | Lucas Bltz, Viorica Sofronie-Stokkermans, Hannes Frey |
| 2024 | A Fully Verified Persistency Library. | Stefan Bodenmller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2024 | Automatic and Incremental Repair for Speculative Information Leaks. | Joachim Bard, Swen Jacobs, Yakir Vizel |
| 2024 | Parameterized Verification of Disjunctive Timed Networks. | tienne Andr, Paul Eichler, Swen Jacobs, Shyam Lal Karra |
| 2024 | Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
| 2024 | Boosting Constrained Horn Solving by Unsat Core Learning. | Parosh Aziz Abdulla, Chencheng Liang, Philipp Rmmer |
| 2023 | ARENA: Enhancing Abstract Refinement for Neural Network Verification. | Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo |
| 2023 | Solving Constrained Horn Clauses over Algebraic Data Types. | Lucas Zavala, Lidiia Chernigovskaia, Grigory Fedyukovich |
| 2023 | Synthesizing History and Prophecy Variables for Symbolic Model Checking. | Cole Vick, Kenneth L. McMillan |
| 2023 | Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. | Ignacio Tiraboschi, Tamara Rezk, Xavier Rival |
| 2023 | Compositional Verification of Stigmergic Collective Systems. | Luca Di Stefano, Frdric Lang |
| 2023 | CosySEL: Improving SAT Solving Using Local Symmetries. | Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt |