International Symposium on Automated Technology for Verification and Analysis
ATVA
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
738
2004–2025
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 |
|---|---|---|
| 2023 | Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. | Calvin Chau, Jan Kretnsk, Stefanie Mohr |
| 2023 | Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. | Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Prez, Jean-Franois Raskin |
| 2023 | Checking and Sketching Causes on Temporal Sequences. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2023 | Correct and Efficient Policy Monitoring, a Retrospective. | David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel |
| 2023 | Model Checking Strategies from Synthesis over Finite Traces. | Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells |
| 2023 | Minimally Comparing Relational Abstract Domains. | Kenny Ballou, Elena Sherman |
| 2023 | ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. | Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
| 2023 | pymwp: A Static Analyzer Determining Polynomial Growth Bounds. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2023 | Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. | Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2023 | Using Counterexamples to Improve Robustness Verification in Neural Networks. | Mohammad Afzal, Ashutosh Gupta, S. Akshay |
| 2023 | Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bnneland, Sarbojit Das, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2022 | Checking Scheduling-Induced Violations of Control Safety Properties. | Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty |
| 2022 | Projected Model Counting: Beyond Independent Support. | Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel |
| 2022 | Active Learning of One-Clock Timed Automata Using Constraint Solving. | Runqing Xu, Jie An, Bohua Zhan |
| 2022 | Dynamic Shielding for Reinforcement Learning in Black-Box Environments. | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
| 2022 | Learning Monitorable Operational Design Domains for Assured Autonomy. | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2022 | SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. | Sren Tempel, Vladimir Herdt, Rolf Drechsler |
| 2022 | Learning Deterministic One-Clock Timed Automata via Mutation Testing. | Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan |
| 2022 | Synthesis of Parametric Hybrid Automata from Time Series. | Miriam Garca Soto, Thomas A. Henzinger, Christian Schilling |
| 2022 | Fence Synthesis Under the C11 Memory Model. | Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma |
| 2022 | Minimization of Automata for Liveness Languages. | Bader Abu Radi, Orna Kupferman |
| 2022 | An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. | Matan Ostrovsky, Clark W. Barrett, Guy Katz |
| 2022 | Repairing Real-Time Requirements. | Reiya Noguchi, Ocan Sankur, Thierry Jron, Nicolas Markey, David Mentr |
| 2022 | PET - A Partial Exploration Tool for Probabilistic Verification. | Tobias Meggendorfer |
| 2022 | Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez |
76–100 of 738← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems