| 2024 | Correct and Complete Symbolic Execution for Free. | Erik Voogd, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Jurriaan Rot, Alexandra Silva |
| 2024 | VeriCode: Correct Translation of Abstract Specifications to C Code. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2024 | Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. | Sabrine Saouli, Souheib Baarir, Claude Dutheillet |
| 2024 | VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2024 | StEVe: A Rational Verification Tool for Stackelberg Security Games. | Surasak Phetmanee, Michele Sevegnani, Oana Andrei |
| 2024 | PyQBF: A Python Framework for Solving Quantified Boolean Formulas. | Mark Peyrer, Maximilian Heisinger, Martina Seidl |
| 2024 | Stateful Functional Modeling with Refinement (a Lean4 Framework). | Frdric Peschanski |
| 2024 | Exploring LLMs and Semantic XAI for Industrial Robot Capabilities and Manufacturing Commonsense Knowledge. | Muhammad Raza Naqvi, Arkopaul Sarkar, Farhad Ameri, Linda Elmhadhbi, Thierry Louge, Mohamed-Hedi Karray |
| 2024 | PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. | Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik |
| 2024 | Towards Logical Specification and Checking of Evasive Malware. | Andrei Mogage, Dorel Lucanu |
| 2024 | A Formal Tainting-Based Framework for Malware Analysis. | Andrei Mogage, Dorel Lucanu |
| 2024 | Proving Termination via Measure Transfer in Equivalence Checking. | Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak |
| 2024 | Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons Learnt. | Pierre Malafosse, Alexandre Albore, Jrmie Guiochet, Charles Lesire |
| 2024 | Modeling Register Pairs in CompCert. | Alexander Loitzl, Florian Zuleger |
| 2024 | Active Learning of Runtime Monitors Under Uncertainty. | Sebastian Junges, Sanjit A. Seshia, Hazem Torfah |
| 2024 | Hybrid Games with Triggers. | Qais Hamarneh |
| 2024 | Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | Monitoring Real-Time Systems Under Parametric Delay. | Martin Frnzle, Thomas Mller Grosen, Kim G. Larsen, Martin Zimmermann |
| 2024 | Towards Correct-by-Construction Machine-Learnt Models. | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
| 2024 | Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study. | Stefan Ciobaca, Diana-Elena Gratie |
| 2024 | Monitoring Extended Hypernode Logic. | Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa |
| 2024 | Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress). | Gergely Buday, Andrei Popescu |
| 2024 | A Systematic Literature Review on a Decade of Industrial TLA | Roman Bgli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer |
| 2024 | Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. | Pauline Blohm, Paula Herber, Anne Remke |