Computer Aided Verification

CAV

CORE rank

CORE rank (raw)

Fields of research

Software Engineering · Theory of Computation

Papers indexed

2,162

1990–2026

Best Software Engineering conferences Best Theory of Computation conferences

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
2011	SMT-Based Modular Analysis of Sequential Systems Code.	Shuvendu K. Lahiri
2011	PRISM 4.0: Verification of Probabilistic Real-Time Systems.	Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	Synthesizing Biological Theories.	Hillel Kugler, Cory Plock, Andy Roberts
2011	Interpolation-Based Software Verification with Wolverine.	Daniel Kroening, Georg Weissenbacher
2011	Linear Completeness Thresholds for Bounded Model Checking.	Daniel Kroening, Jol Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell
2011	Formalization and Automated Verification of RESTful Behavior.	Uri Klein, Kedar S. Namjoshi
2011	Language Equivalence for Probabilistic Automata.	Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell
2011	Synthesis of Distributed Control through Knowledge Accumulation.	Gal Katz, Doron A. Peled, Sven Schewe
2011	Bug-Assist: Assisting Fault Localization in ANSI-C Programs.	Manu Jose, Rupak Majumdar
2011	A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations.	Ajith K. John, Supratik Chakraborty
2011	HMC: Verifying Functional Programs Using Abstract Interpreters.	Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
2011	Using Types for Software Verification.	Ranjit Jhala
2011	Untitled record	Krystof Hoder, Nikolaj S. Bjrner, Leonardo Mendona de Moura
2011	Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints.	Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
2011	Model Checking Recursive Programs with Numeric Data Types.	Matthew Hague, Anthony Widjaja Lin
2011	Forest Automata for Verification of Heap Manipulation.	Peter Habermehl, Luks Holk, Adam Rogalewicz, Jir Simcek, Toms Vojnar
2011	Interactive Synthesis of Code Snippets.	Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
2011	Threader: A Constraint-Based Verifier for Multi-threaded Programs.	Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2011	From Cardiac Cells to Genetic Regulatory Networks.	Radu Grosu, Grgory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
2011	HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.	Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2011	SpaceEx: Scalable Verification of Hybrid Systems.	Goran Frehse, Colas Le Guernic, Alexandre Donz, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2011	Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.	Kamil Dudka, Petr Peringer, Toms Vojnar
2011	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.	Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
2011	Time for Statistical Model Checking of Real-Time Systems.	Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
2011	Temporal Property Verification as a Program Analysis Task.	Byron Cook, Eric Koskinen, Moshe Y. Vardi

1,126–1,150 of 2,162← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.