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 |
|---|---|---|
| 2014 | Modelling and Analysis of Markov Reward Automata. | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga |
| 2014 | A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
| 2014 | ACME: Automata with Counters, Monoids and Equivalence. | Nathanal Fijalkow, Denis Kuperberg |
| 2014 | Fast Debugging of PRISM Models. | Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen |
| 2014 | On Time with Minimal Expected Cost! | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Srensen, Jakob Haahr Taankvist |
| 2014 | Test Coverage Estimation Using Threshold Accepting. | Thao Dang, Noa Shalev |
| 2014 | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | Formal Safety Assessment via Contract-Based Design. | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta |
| 2014 | Quantitative Verification of Weighted Kripke Structures. | Patricia Bouyer, Patrick Gardy, Nicolas Markey |
| 2014 | A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. | Timothy Bourke, Rob J. van Glabbeek, Peter Hfner |
| 2014 | Acceleration of Affine Hybrid Transformations. | Bernard Boigelot, Frdric Herbreteau, Isabelle Mainz |
| 2014 | Booster: An Acceleration-Based Verification Framework for Array Programs. | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
| 2014 | Verifying Communicating Multi-pushdown Systems via Split-Width. | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
| 2013 | SAT Based Verification of Network Data Planes. | Shuyuan Zhang, Sharad Malik |
| 2013 | Expected Termination Time in BPA Games. | Dominik Wojtczak |
| 2013 | Weighted Safety. | Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach |
| 2013 | Pushdown Systems with Stack Manipulation. | Yuya Uezato, Yasuhiko Minamide |
| 2013 | NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. | Romain Testylier, Thao Dang |
| 2013 | Compact Symbolic Execution. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2013 | Robustness Analysis of String Transducers. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2013 | Integrating Policy Iterations in Abstract Interpreters. | Pierre Roux, Pierre-Loc Garoche |
| 2013 | Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. | Csar Rodrguez, Stefan Schwoon |
| 2013 | The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. | Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho |
| 2013 | Acceleration for Petri Nets. | Jrme Leroux |
| 2013 | PyEcdar: Towards Open Source Implementation for Timed Systems. | Axel Legay, Louis-Marie Traonouez |
351–375 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