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
2019	Adaptive Online First-Order Monitoring.	Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2019	Conditional Testing - Off-the-Shelf Combination of Test-Case Generators.	Dirk Beyer, Thomas Lemberger
2018	Information Leakage in Arbiter Protocols.	Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
2018	Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.	Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2018	Signal Convolution Logic.	Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018	Formal Specification for Deep Neural Networks.	Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
2018	A Formally Verified Motion Planner for Autonomous Vehicles.	Albert Rizaldi, Fabian Immler, Bastian Schrmann, Matthias Althoff
2018	Modular Verification of Concurrent Programs via Sequential Model Checking.	Dan Rasin, Orna Grumberg, Sharon Shoham
2018	Neural State Classification for Hybrid Systems.	Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	Untitled record	Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
2018	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.	Anthony W. Lin, Rupak Majumdar
2018	Owl: A Library for ω-Words, Automata, and LTL.	Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert
2018	Bounded Synthesis of Register Transducers.	Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
2018	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.	Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2018	A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.	Swen Jacobs, Mouhammad Sakr
2018	PSense: Automatic Sensitivity Analysis for Probabilistic Programs.	Zixin Huang, Zhenbang Wang, Sasa Misailovic
2018	Simulation Algorithms for Symbolic Automata.	Luks Holk, Ondrej Lengl, Juraj Sc, Margus Veanes, Toms Vojnar
2018	EVE: A Tool for Temporal Equilibrium Analysis.	Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2018	Quantifiers on Demand.	Arie Gurfinkel, Sharon Shoham, Yakir Vizel
2018	DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.	Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2018	Bounded Synthesis of Reactive Programs.	Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
2018	Accelerated Model Checking of Parametric Markov Chains.	Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^\forall ^ ∃ ∗ ∀ ∗ Fragment.	Bernd Finkbeiner, Christopher Hahn, Tobias Hans
2018	Maximum Realizability for Linear Temporal Logic Specifications.	Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2018	Synthesis in pMDPs: A Tale of 1001 Parameters.	Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

201–225 of 738← Previous Next →

Comparable venues

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