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	Efficient Scenario Verification for Hybrid Automata.	Alessandro Cimatti, Sergio Mover, Stefano Tonetta
2011	Kratos - A Software Model Checker for SystemC.	Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
2011	A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.	Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
2011	Smoothing a Program Soundly and Robustly.	Swarat Chaudhuri, Armando Solar-Lezama
2011	Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Bchi Objectives.	Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah
2011	Quantitative Synthesis for Concurrent Programs.	Pavol Cern, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011	Model Checking Algorithms for CTMDPs.	Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
2011	BAP: A Binary Analysis Platform.	David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz
2011	Efficient Analysis of Probabilistic Programs with an Unbounded Counter.	Toms Brzdil, Stefan Kiefer, Antonn Kucera
2011	Existential Quantification as Incremental SAT.	Jrg Brauer, Andy King, Jael Kriener
2011	CPAchecker: A Tool for Configurable Software Verification.	Dirk Beyer, M. Erkan Keremoglu
2011	SLAyer: Memory Safety for Systems-Level Code.	Josh Berdine, Byron Cook, Samin Ishtiaq
2011	CVC4.	Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
2011	The BINCOA Framework for Binary Code Analysis.	Sbastien Bardin, Philippe Herrmann, Jrme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
2011	Resolution Proofs and Skolem Functions in QBF Evaluation and Applications.	Valeriy Balabanov, Jie-Hong R. Jiang
2011	State/Event-Based LTL Model Checking under Parametric Generalized Fairness.	Kyungmin Bae, Jos Meseguer
2011	Malware Analysis with Tree Automata Inference.	Domagoj Babic, Daniel Reynaud, Dawn Song
2011	Getting Rid of Store-Buffers in TSO Analysis.	Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
2011	Parameter Identification for Markov Models of Biochemical Reactions.	Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
2011	Verification of Certifying Computations.	Eyad Alkassar, Sascha Bhme, Kurt Mehlhorn, Christine Rizkallah
2011	Stability in Weak Memory Models.	Jade Alglave, Luc Maranget
2010	On Array Theory of Bounded Elements.	Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu
2010	Safety Verification for Probabilistic Hybrid Systems.	Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2010	Automatically Proving Linearizability.	Viktor Vafeiadis
2010	Model-Checking Parameterized Concurrent Programs Using Linear Interfaces.	Salvatore La Torre, P. Madhusudan, Gennaro Parlato

1,151–1,175 of 2,162← Previous Next →

Comparable venues

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