| 2024 | A Decremental Algorithm for Fair Bchi Games. | Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon |
| 2024 | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2024 | Easy Complementation of History-Deterministic Bchi Automata. | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2024 | Local Search for Checking Satisfiability of Formulas with Trigonometric Functions. | Xinpeng Ni, Bican Xia, Tianqi Zhao |
| 2024 | Greybox Learning of Languages Recognizable by Event-Recording Automata. | Anirban Majumdar, Sayan Mukherjee, Jean-Franois Raskin |
| 2024 | Proving Cutoff Bounds for Safety Properties in First-Order Logic. | Raz Lotan, Eden Frenkel, Sharon Shoham |
| 2024 | WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts. | Leonardo Lima, Jonathan Julin Huerta y Munive, Dmitriy Traytel |
| 2024 | Formalisation of a New Weak Semantics for AuDaLa. | Gijs P. Leemrijse, Tom T. P. Franken, Thomas Neele |
| 2024 | Games with Weighted Multiple Objectives. | Orna Kupferman, Noam Shenwald |
| 2024 | Playing Games on Automata. | Orna Kupferman |
| 2024 | Configuration Monitor Synthesis. | Maximilian A. Khl, Clemens Dubslaff, Holger Hermanns |
| 2024 | Learning Broadcast Protocols with LeoParDS. | Noa Izsak, Dana Fisman, Swen Jacobs |
| 2024 | Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | The VeriAbs Tool Suite for Code Verification. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty |
| 2024 | CTL | Mishel Carelli, Orna Grumberg |
| 2024 | CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2024 | Checking Satisfiability of Hyperproperties Using First-Order Logic. | Raven Beutner, Bernd Finkbeiner |
| 2024 | Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. | Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safrnek |
| 2024 | Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. | Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati |
| 2024 | Policies Grow on Trees: Model Checking Families of MDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2024 | Strategy Templates - Robust Certified Interfaces for Interacting Systems. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. | Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe |
| 2024 | Guiding Word Equation Solving Using Graph Neural Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rmmer |
| 2023 | Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. | Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra |
| 2023 | AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. | Zitong Zhou, Zixin Huang, Sasa Misailovic |