default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDATVA 2024 - Part I: Kyoto, Japan
- S. Akshay
, Aina Niemetz, Sriram Sankaranarayanan:
Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I. Lecture Notes in Computer Science 15054, Springer 2025, ISBN 978-3-031-78708-9
Invited Keynote and Tutorial Papers
- Orna Kupferman:
Playing Games on Automata. 3-21 - Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Strategy Templates - Robust Certified Interfaces for Interacting Systems. 22-41 - Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty:
The VeriAbs Tool Suite for Code Verification. 42-64
Automata and Games
- Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz:
Easy Complementation of History-Deterministic Büchi Automata. 67-88 - Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon:
A Decremental Algorithm for Fair Büchi Games. 89-109 - Orna Kupferman, Noam Shenwald:
Games with Weighted Multiple Objectives. 110-132
Concurrent and Distributed Systems
- Raz Lotan, Eden Frenkel, Sharon Shoham:
Proving Cutoff Bounds for Safety Properties in First-Order Logic. 135-159 - Daniel Hausmann, Mathieu Lehaut, Nir Piterman:
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. 160-180 - Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe:
Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. 181-202
Learning for Verification and Synthesis
- Yu-Cheng Wu, I-Ching Tseng, Chung-Wei Lin:
Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking. 205-219 - Noa Izsak, Dana Fisman, Swen Jacobs:
Learning Broadcast Protocols with LeoParDS. 220-234 - Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin:
Greybox Learning of Languages Recognizable by Event-Recording Automata. 235-256 - Kevin Zhou:
Query Learning Bounds for Advice and Nominal Automata. 257-278 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer:
Guiding Word Equation Solving Using Graph Neural Networks. 279-301
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-09 22:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
