| 2024 | Stochastic Games for User Journeys. | Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. | Sung-Shik Jongmans |
| 2024 | Beyond the Bottleneck: Enhancing High-Concurrency Systems with Lock Tuning. | Juntao Ji, Yinyou Gu, Yubao Fu, Qingshan Lin |
| 2024 | A Local Search Algorithm for MaxSMT(LIA). | Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai |
| 2024 | Efficient Formally Verified Maximal End Component Decomposition for MDPs. | Arnd Hartmanns, Bram Kohlen, Peter Lammich |
| 2024 | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2024 | A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. | Eric Goubault, Sylvie Putot |
| 2024 | Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. | Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin |
| 2024 | Integrating Loop Acceleration Into Bounded Model Checking. | Florian Frohn, Jrgen Giesl |
| 2024 | Staged Specification Logic for Verifying Higher-Order Imperative Programs. | Darius Foo, Yahui Song, Wei-Ngan Chin |
| 2024 | Understanding Synthesized Reactive Systems Through Invariants. | Rdiger Ehlers |
| 2024 | PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python. | Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue |
| 2024 | DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. | Daniele Dell'Erba, Yong Li, Sven Schewe |
| 2024 | Detecting Speculative Execution Vulnerabilities on Weak Memory Models. | Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter |
| 2024 | Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. | Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci |
| 2024 | Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
| 2024 | Fast Attack Graph Defense Localization via Bisimulation. | Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz |
| 2024 | Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. | Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich |
| 2024 | A Pyramid Of (Formal) Software Verification. | Martin Brain, Elizabeth Polgreen |
| 2024 | Free Facts: An Alternative to Inefficient Axioms in Dafny. | Tabea Bordis, K. Rustan M. Leino |
| 2024 | Learning Branching-Time Properties in CTL and ATL via Constraint Solving. | Benjamin Bordais, Daniel Neider, Rajarshi Roy |
| 2024 | ASMETA Tool Set for Rigorous System Design. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2024 | FM-Weck: Containerized Execution of Formal-Methods Tools. | Dirk Beyer, Henrik Wachowitz |
| 2024 | Visualizing Game-Based Certificates for Hyperproperty Verification. | Raven Beutner, Bernd Finkbeiner, Angelina Gbl |
| 2024 | The Java Verification Tool KeY:A Tutorial. | Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hhnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl |