ATVA 2024: 22ND INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS

A
Abdulla, Parosh	Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
Abdulla, Parosh Aziz	Guiding Word Equation Solving using Graph Neural Networks
Abu Radi, Bader	Easy Complementation of History-Deterministic B\"uchi Automata
Andriushchenko, Roman	Policies Grow on Trees: Model Checking Families of MDPs (**Distinguished Paper**)
Atig, Mohamed Faouzi	Guiding Word Equation Solving using Graph Neural Networks
B
Bak, Stanley	Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
Beneš, Nikola	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Beutner, Raven	HyperSAT: Satisfiability of Hyperproperties using First-Order Logic (**Distinguished TOOL Paper**)
Beyer, Dirk	CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers (TOOL paper)
Brim, Lubos	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
C
Cailler, Julie	Guiding Word Equation Solving using Graph Neural Networks
Carelli, Mishel	CTL* Verification and Synthesis using Existential Horn Clauses
Ceska, Milan	Policies Grow on Trees: Model Checking Families of MDPs (**Distinguished Paper**)
D
Dubslaff, Clemens	Configuration Monitor Synthesis
Dubut, Jérémy	Hedge automata revisited: Transforming texts to and from XML
F
Fedyukovich, Grigory	Structure Mining For Test Case Generation
Finkbeiner, Bernd	HyperSAT: Satisfiability of Hyperproperties using First-Order Logic (**Distinguished TOOL Paper**)
Fisman, Dana	Learning Broadcast Protocols with LeoParDS (TOOL Paper)
Franken, Tom T.P.	Formalisation of a new weak Semantics for AuDaLa
Frenkel, Eden	Proving Cutoff Bounds for Safety Properties in First-Order Logic
G
Gorostiaga, Felipe	Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
Grumberg, Orna	CTL* Verification and Synthesis using Existential Horn Clauses
Gupta, Ashutosh	Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
H
Hausmann, Daniel	Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
Hekal, Abdelrahman	Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
Hermanns, Holger	Configuration Monitor Synthesis
Huerta Y Munive, Jonathan	WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts (TOOL paper)
Huvar, Ondřej	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
I
Izsak, Noa	Learning Broadcast Protocols with LeoParDS (TOOL Paper)
J
Jacobs, Swen	Learning Broadcast Protocols with LeoParDS (TOOL Paper)
Junges, Sebastian	Policies Grow on Trees: Model Checking Families of MDPs (**Distinguished Paper**)
K
Kobayashi, Naoki	Higher-Order Fixpoint Logic for Automated Program Verification
Kochdumper, Niklas	Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
Kupferman, Orna	Playing Games on Automata Easy Complementation of History-Deterministic B\"uchi Automata Games with Weighted Multiple Objectives
Köhl, Maximilian Alexander	Configuration Monitor Synthesis
L
Leemrijse, Gijs P.	Formalisation of a new weak Semantics for AuDaLa
Lehaut, Mathieu	Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
Lemberger, Thomas	CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers (TOOL paper)
Leshkowitz, Ofer	Easy Complementation of History-Deterministic B\"uchi Automata
Lew, Ethan	Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
Liang, Chencheng	Guiding Word Equation Solving using Graph Neural Networks
Lima, Leonardo	WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts (TOOL paper)
Lin, Chung-Wei	Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking
Lotan, Raz	Proving Cutoff Bounds for Safety Properties in First-Order Logic
M
Macák, Filip	Policies Grow on Trees: Model Checking Families of MDPs (**Distinguished Paper**)
Majumdar, Anirban	Greybox Learning of Languages Recognizable by Event-Recording Automata
Mata, Andrew	Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
Mukherjee, Sayan	Greybox Learning of Languages Recognizable by Event-Recording Automata
N
Neele, Thomas	Formalisation of a new weak Semantics for AuDaLa
Ni, Xinpeng	Local Search for Checking Satisfiability of Formulas with Trigonometric Functions
P
Pastva, Samuel	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Piterman, Nir	Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
R
Rahmati, Amir	Fast Koopman Surrogate Falsification using Linear Relaxations and Weights
Raskin, Jean-François	Greybox Learning of Languages Recognizable by Event-Recording Automata
Rodriguez, Andoni	Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
Rümmer, Philipp	Guiding Word Equation Solving using Graph Neural Networks
S
S, Krishna	Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
Saglam, Irmak	A Decremental Algorithm for Fair Büchi Games (**Distinguished Paper**)
Schmuck, Anne-Kathrin	Strategy Templates - Robust Certified Interfaces for Interactive Systems A Decremental Algorithm for Fair Büchi Games (**Distinguished Paper**)
Shenwald, Noam	Games with Weighted Multiple Objectives
Shoham, Sharon	Proving Cutoff Bounds for Safety Properties in First-Order Logic
Sánchez, César	Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
T
Traytel, Dmitriy	WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts (TOOL paper)
Tseng, I-Ching	Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking
Tsukada, Takeshi	Hedge automata revisited: Transforming texts to and from XML
Tsyrempilon, Munko	A Decremental Algorithm for Fair Büchi Games (**Distinguished Paper**)
Tuppe, Omkar	Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
W
Wachowitz, Henrik	CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers (TOOL paper)
Wu, Yu-Cheng	Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking
X
Xia, Bican	Local Search for Checking Satisfiability of Formulas with Trigonometric Functions
Y
Yamada, Akihisa	Hedge automata revisited: Transforming texts to and from XML
Z
Zhao, Tianqi	Local Search for Checking Satisfiability of Formulas with Trigonometric Functions
Zhou, Kevin	Query Learning Bounds for Advice and Nominal Automata
Zlatkin, Ilia	Structure Mining For Test Case Generation
Š
Šafránek, David	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

Disclaimer | Powered by EasyChair Smart Program