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 |
|---|---|---|
| 2010 | Achieving Distributed Control through Model Checking. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | A Logical Product Approach to Zonotope Intersection. | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
| 2010 | Bounded Underapproximations. | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
| 2010 | A NuSMV Extension for Graded-CTL Model Checking. | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino |
| 2010 | Symbolic Bounded Synthesis. | Rdiger Ehlers |
| 2010 | Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. | Alexandre Donz |
| 2010 | Verifying Low-Level Implementations of High-Level Datatypes. | Christopher L. Conway, Clark W. Barrett |
| 2010 | SPLIT: A Compositional LTL Verifier. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | A Dash of Fairness for Compositional Reasoning. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | Local Verification of Global Invariants in Concurrent Programs. | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
| 2010 | Automated Assume-Guarantee Reasoning through Implicit Learning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2010 | Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. | Satrajit Chatterjee, Michael Kishinevsky |
| 2010 | Measuring and Synthesizing Systems in Probabilistic Environments. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2010 | Gist: A Solver for Probabilistic Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
| 2010 | Model Checking of Linearizability of Concurrent List Implementations. | Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
| 2010 | Merit: An Interpolating Model-Checker. | Nicolas Caniart |
| 2010 | ABC: An Academic Industrial-Strength Verification Tool. | Robert K. Brayton, Alan Mishchenko |
| 2010 | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2010 | Fast Acceleration of Ultimately Periodic Relations. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2010 | Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
| 2010 | libalf: The Automata Learning Framework. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |
| 2010 | LTSmin: Distributed and Symbolic Reachability. | Stefan Blom, Jaco van de Pol, Michael Weber |
| 2010 | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2010 | Robustness in the Presence of Liveness. | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2010 | Policy Monitoring in First-Order Temporal Logic. | David A. Basin, Felix Klaedtke, Samuel Mller |
1,201–1,225 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