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 |
|---|---|---|
| 2005 | Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
| 2005 | Efficient Monitoring of omega-Languages. | Marcelo d'Amorim, Grigore Rosu |
| 2005 | A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. | Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot |
| 2005 | Cogent: Accurate Theorem Proving for Program Verification. | Byron Cook, Daniel Kroening, Natasha Sharygina |
| 2005 | Incremental Algorithms for Inter-procedural Analysis of Safety Properties. | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |
| 2005 | JVer: A Java Verifier. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
| 2005 | The ComFoRT Reasoning Framework. | Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau |
| 2005 | Automated Assume-Guarantee Reasoning for Simulation Conformance. | Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati |
| 2005 | Linear Ranking with Reachability. | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | Efficient Satisfiability Modulo Theories via Delayed Theory Combination. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
| 2005 | Validating a Modern Microprocessor. | Bob Bentley |
| 2005 | Verification of Tree Updates for Optimization. | Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas |
| 2005 | SMT-COMP: Satisfiability Modulo Theories Competition. | Clark W. Barrett, Leonardo Mendona de Moura, Aaron Stump |
| 2005 | TVOC: A Translation Validator for Optimizing Compilers. | Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck |
| 2005 | Wolf - Bug Hunter for Concurrent Software Using Formal Methods. | Sharon Barner, Ziv Glazberg, Ishai Rabinovitz |
| 2005 | Abstraction for Falsification. | Thomas Ball, Orna Kupferman, Greta Yorsh |
| 2005 | Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum |
| 2005 | IIV: An Invisible Invariant Verifier. | Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck |
| 2005 | Formal Verification of Backward Compatibility of Microcode. | Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck |
| 2005 | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | Symbolic Compositional Verification by Learning Assumptions. | Rajeev Alur, P. Madhusudan, Wonhong Nam |
| 2005 | Improved Probabilistic Models for 802.11 Protocol Verification. | Amitabha Roy, K. Gopinath |
| 2004 | Compositional Specification and Model Checking in GSTE. | Jin Yang, Carl-Johan H. Seger |
| 2004 | Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. | Farn Wang |
| 2004 | Termination of Linear Programs. | Ashish Tiwari |
1,476–1,500 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