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 |
|---|---|---|
| 2022 | PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba |
| 2022 | POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. | Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu |
| 2022 | Alternating Good-for-MDPs Automata. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | An Impossibility Result in Automata-Theoretic Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. | Martijn A. Goorden, Peter Gjl Jensen, Kim G. Larsen, Mihhail Samusev, Jir Srba, Guohan Zhao |
| 2022 | Learning and Characterizing Fully-Ordered Lattice Automata. | Dana Fisman, Sagi Saadon |
| 2022 | Optimal Repair for Omega-Regular Properties. | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi |
| 2022 | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | Verification of SMT Systems with Quantifiers. | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
| 2022 | Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. | Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |
| 2022 | Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. | Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
| 2022 | Optimistic and Topological Value Iteration for Simple Stochastic Games. | Muqsit Azeem, Alexandros Evangelidis, Jan Kretnsk, Alexander Slivinskiy, Maximilian Weininger |
| 2022 | Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. | Julius Adelt, Daniel Brettschneider, Paula Herber |
| 2021 | A Formal Semantics of the GraalVM Intermediate Representation. | Brae J. Webb, Mark Utting, Ian J. Hayes |
| 2021 | Linear Temporal Logic - From Infinite to Finite Horizon. | Lucas M. Tabajara, Moshe Y. Vardi |
| 2021 | A Verified Decision Procedure for Orders in Isabelle/HOL. | Lukas Stevens, Tobias Nipkow |
| 2021 | Verifying Verified Code. | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
| 2021 | TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. | Stefan Pranger, Bettina Knighofer, Lukas Posch, Roderick Bloem |
| 2021 | AALpy: An Active Automata Learning Library. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
| 2021 | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. | Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi |
| 2021 | Certifying DFA Bounds for Recognition and Separation. | Orna Kupferman, Nir Lavee, Salomon Sickert |
| 2021 | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2021 | Determinization and Limit-Determinization of Emerson-Lei Automata. | Tobias John, Simon Jantsch, Christel Baier, Sascha Klppelholz |
| 2021 | Faster Pushdown Reachability Analysis with Applications in Network Verification. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio, Ingo van Duijn |
| 2021 | AQUA: Automated Quantized Inference for Probabilistic Programs. | Zixin Huang, Saikat Dutta, Sasa Misailovic |
101–125 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