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 |
|---|---|---|
| 2017 | Fixing the State Budget: Approximation of Regular Languages with Small DFAs. | Graeme Gange, Pierre Ganty, Peter J. Stuckey |
| 2017 | The Density of Linear-Time Properties. | Bernd Finkbeiner, Hazem Torfah |
| 2017 | Finding Polynomial Loop Invariants for Probabilistic Programs. | Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia |
| 2017 | Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. | Rdiger Ehlers |
| 2017 | Dealing with Priorities and Locks for Concurrent Programs. | Marcio Diaz, Tayssir Touili |
| 2017 | Precise Null Pointer Analysis Through Global Value Numbering. | Ankush Das, Akash Lal |
| 2017 | Tests and Refutation. | Mohammad Torabi Dashti, David A. Basin |
| 2017 | ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
| 2017 | Maximum Resilience of Artificial Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Harald Ruess |
| 2017 | JTDec: A Tool for Tree Decompositions in Soot. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2017 | HyLeak: Hybrid Analysis Tool for Information Leakage. | Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez |
| 2017 | Model Checking of C and C++ with DIVINE 4. | Zuzana Baranov, Jiri Barnat, Katarna Kejstov, Tades Kucera, Henrich Lauko, Jan Mrzek, Petr Rockai, Vladimr Still |
| 2017 | An Equivalence Checking Framework for Array-Intensive Programs. | Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar |
| 2017 | SamaTulyata: An Efficient Path Based Equivalence Checking Tool. | Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal |
| 2017 | Synthesis of Optimal Resilient Control Strategies. | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonn Kucera, Vojtech Rehk |
| 2017 | Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli |
| 2017 | May-Happen-in-Parallel Analysis with Returned Futures. | Elvira Albert, Samir Genaim, Pablo Gordillo |
| 2016 | Skolem Functions for DQBF. | Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2016 | MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Bchi Automata. | Salomon Sickert, Jan Kretnsk |
| 2016 | STL Model Checking of Continuous and Hybrid Systems. | Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff |
| 2016 | A Decision Procedure for Separation Logic in SMT. | Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King |
| 2016 | Parameter Synthesis for Markov Models: Faster Than Ever. | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | Certified Symbolic Execution. | Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid |
| 2016 | Polynomial Invariants by Linear Algebra. | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
| 2016 | Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
251–275 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