Computer Aided Verification
CAV
A*
CORE rank
CORE rank (raw)
A*
Fields of research
Software Engineering · Theory of Computation
Papers indexed
2,162
1990–2026
Papers per year
199090 peak2026
Most published authors
CAV papers
2,162 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2012 | Acacia+, a Tool for LTL Synthesis. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2012 | A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
| 2012 | Synthesizing Programs with Constraint Solvers. | Rastislav Bodk, Emina Torlak |
| 2012 | Diagnosing Abstraction Failure for Separation Logic-Based Analyses. | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
| 2012 | Bma: Visual Tool for Modeling and Analyzing Biological Networks. | David Benqu, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi |
| 2012 | Detecting Fair Non-termination in Multithreaded Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal |
| 2012 | Recent Developments in FDR. | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2012 | Joogie: Infeasible Code Detection for Java. | Stephan Arlt, Martin Schf |
| 2012 | SAFARI: SMT-Based Abstraction for Arrays with Interpolants. | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
| 2012 | Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. | Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik |
| 2012 | Resource Aware ML. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2011 | Equality-Based Translation Validator for LLVM. | Michael Stepp, Ross Tate, Sorin Lerner |
| 2011 | Monitorability of Stochastic Dynamical Systems. | A. Prasad Sistla, Milos Zefran, Yao Feng |
| 2011 | Using Coverage to Deploy Formal Verification in a Simulation World. | Vigyan Singhal, Prashant Aggarwal |
| 2011 | Simplifying Loop Invariant Generation Using Splitter Predicates. | Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken |
| 2011 | Relational Abstractions for Continuous and Hybrid Systems. | Sriram Sankaranarayanan, Ashish Tiwari |
| 2011 | Practical, Low-Effort Equivalence Verification of Real Code. | David A. Ramos, Dawson R. Engler |
| 2011 | Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. | Vasumathi Raman, Hadas Kress-Gazit |
| 2011 | Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). | Andr Platzer |
| 2011 | FixBag: A Fixpoint Calculator for Quantified Bag Constraints. | Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin |
| 2011 | Synthia: Verification and Synthesis for Timed Automata. | Hans-Jrg Peter, Rdiger Ehlers, Robert Mattmller |
| 2011 | Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. | Christian Mller, Wolfgang J. Paul |
| 2011 | Fully Symbolic Model Checking for Timed Automata. | Georges Morb, Florian Pigorsch, Christoph Scholl |
| 2011 | KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. | Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan |
| 2011 | Program Analysis for Overlaid Data Structures. | Oukseh Lee, Hongseok Yang, Rasmus Petersen |
1,101–1,125 of 2,162← 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