default search action

combined dblp search
author search
venue search
publication search

ask others

ATVA 2024 - Part II: Kyoto, Japan

> Home > Conferences and Workshops > ATVA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/atva/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2024-2
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 II. Lecture Notes in Computer Science 15055, Springer 2025, ISBN 978-3-031-78749-2

Synthesis and Runtime Verification

- view
  authority control:
- export record
  dblp key:
  - conf/atva/KohlDH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KohlDH24
Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns:
Configuration Monitor Synthesis. 3-27
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RodriguezGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RodriguezGS24
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez:
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. 28-50
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AndriushchenkoCJM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AndriushchenkoCJM24
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák:
Policies Grow on Trees: Model Checking Families of MDPs. 51-75
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LimaMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LimaMT24
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel:
WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts. 76-90

Software Verification and Programming Language Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/atva/LeemrijseFN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LeemrijseFN24
Gijs P. Leemrijse, Tom T. P. Franken, Thomas Neele:
Formalisation of a New Weak Semantics for AuDaLa. 93-116
- view
  authority control:
- export record
  dblp key:
  - conf/atva/YamadaDT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/YamadaDT24
Akihisa Yamada, Jérémy Dubut, Takeshi Tsukada:
Hedge Automata Revisited: Transforming Texts to and from XML. 117-136
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ZlatkinF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ZlatkinF24
Ilia Zlatkin, Grigory Fedyukovich:
Leveraging Program Structure for Test Case Generation. 137-157
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BeyerLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BeyerLW24
Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. 158-173

Automated Reasoning and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/atva/CarelliG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CarelliG24
Mishel Carelli, Orna Grumberg:
CTL^* Verification and Synthesis Using Existential Horn Clauses. 177-197
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BeutnerF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BeutnerF24
Raven Beutner, Bernd Finkbeiner:
Checking Satisfiability of Hyperproperties Using First-Order Logic. 198-211
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesBHPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesBHPS24
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek:
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. 212-233
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BakHKLMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BakHKLMR24
Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati:
Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. 234-255
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NiXZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NiXZ24
Xinpeng Ni, Bican Xia, Tianqi Zhao:
Local Search for Checking Satisfiability of Formulas with Trigonometric Functions. 256-274

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.