| 2025 | Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I S. Akshay, Aina Niemetz, Sriram Sankaranarayanan |
| 2024 | A Decremental Algorithm for Fair Büchi Games. Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon |
| 2024 | Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking. Yu-Cheng Wu, I-Ching Tseng, Chung-Wei Lin |
| 2024 | Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe |
| 2024 | Easy Complementation of History-Deterministic Büchi Automata. Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2024 | Games with Weighted Multiple Objectives. Orna Kupferman, Noam Shenwald |
| 2024 | Greybox Learning of Languages Recognizable by Event-Recording Automata. Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin |
| 2024 | Guiding Word Equation Solving Using Graph Neural Networks. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer |
| 2024 | Learning Broadcast Protocols with LeoParDS. Noa Izsak, Dana Fisman, Swen Jacobs |
| 2024 | Playing Games on Automata. Orna Kupferman |
| 2024 | Proving Cutoff Bounds for Safety Properties in First-Order Logic. Raz Lotan, Eden Frenkel, Sharon Shoham |
| 2024 | Query Learning Bounds for Advice and Nominal Automata. Kevin Zhou |
| 2024 | Strategy Templates - Robust Certified Interfaces for Interacting Systems. Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | The VeriAbs Tool Suite for Code Verification. Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty |