International Symposium on Automated Technology for Verification and Analysis

ATVA

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

738

2004–2025

Best Software Engineering conferences

Papers per year

200445 peak2025

Most published authors

ATVA papers

738 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2021	Proving SIFA Protection of Masked Redundant Circuits.	Vedad Hadzic, Robert Primas, Roderick Bloem
2021	pyNeVer: A Framework for Learning and Verification of Neural Networks.	Dario Guidotti, Luca Pulina, Armando Tacchella
2021	Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.	Jean-Raphal Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	Compositional Synthesis of Modular Systems.	Bernd Finkbeiner, Noemi Passing
2021	Live Synthesis.	Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021	Event-B Refinement for Continuous Behaviours Approximation.	Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh
2021	Runtime Enforcement of Hyperproperties.	Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2021	Automatic Discovery of Fair Paths in Infinite-State Transition Systems.	Alessandro Cimatti, Alberto Griggio, Enrico Magnago
2021	PJBDD: A BDD Library for Java and Multi-Threading.	Dirk Beyer, Karlheinz Friedberger, Stephan Holzner
2021	Probabilistic Causes in Markov Chains.	Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2021	Incorporating Monitors in Reactive Synthesis Without Paying the Price.	Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021	Verification by Gambling on Program Slices.	Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
2020	Boosting Sequential Consistency Checking Using Saturation.	Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2020	Eliminating Message Counters in Threshold Automata.	Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2020	Practical "Paritizing" of Emerson-Lei Automata.	Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
2020	Multi-head Monitoring of Metric Dynamic Logic.	Martin Raszyk, David A. Basin, Dmitriy Traytel
2020	Verified Textbook Algorithms - A Biased Survey.	Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
2020	RTAMT: Online Robustness Monitors from STL.	Dejan Nickovic, Tomoya Yamaguchi
2020	Urgent Partial Order Reduction for Extended Timed Automata.	Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba
2020	Parallel Graph-Based Stateless Model Checking.	Magnus Lng, Konstantinos Sagonas
2020	Minimal Witnesses for Probabilistic Timed Automata.	Simon Jantsch, Florian Funke, Christel Baier
2020	Verifying Recurrent Neural Networks Using Invariant Inference.	Yuval Jacoby, Clark W. Barrett, Guy Katz
2020	From Checking to Inference: Actual Causality Computations as Optimization Problems.	Amjad Ibrahim, Alexander Pretschner
2020	RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms.	Vladimir Herdt, Daniel Groe, Rolf Drechsler
2020	First-Order Timed Runtime Verification Using BDDs.	Klaus Havelund, Doron Peled

126–150 of 738← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.