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
2014	A Conference Management System with Verified Document Confidentiality.	Sudeep Kanav, Peter Lammich, Andrei Popescu
2014	Property-Directed Shape Analysis.	Shachar Itzhaky, Nikolaj S. Bjrner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
2014	Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.	Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.	Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014	Termination Analysis by Learning Terminating Programs.	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
2014	Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.	Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
2014	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem.	Geoff W. Hamilton, Morten Heine Srensen
2014	Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections.	Willem Hagemann
2014	A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.	Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
2014	Regression Test Selection for Distributed Software Histories.	Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
2014	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk).	Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Bguelin
2014	Branching Processes of Conservative Nested Petri Nets.	Daniil Frumin, Irina A. Lomazova
2014	The Spirit of Ghost Code.	Jean-Christophe Fillitre, Lon Gondelman, Andrei Paskevich
2014	Vac - Verifier of Administrative Role-Based Access Control Policies.	Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
2014	An SMT-Based Approach to Coverability Analysis.	Javier Esparza, Rusln Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
2014	From LTL to Deterministic Automata: A Safraless Compositional Approach.	Javier Esparza, Jan Kretnsk
2014	Synthesis of Masking Countermeasures against Side Channel Attacks.	Hassan Eldib, Chao Wang
2014	Yices 2.2.	Bruno Dutertre
2014	Optimal Guard Synthesis for Memory Safety.	Thomas Dillig, Isil Dillig, Swarat Chaudhuri
2014	Symbolic Visibly Pushdown Automata.	Loris D'Antoni, Rajeev Alur
2014	QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.	Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
2014	Finding Instability in Biological Models.	Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
2014	Verifying LTL Properties of Hybrid Systems with K-Liveness.	Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
2014	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.	Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
2014	G4LTL-ST: Automatic Generation of PLC Programs.	Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann

926–950 of 2,162← Previous Next →

Comparable venues

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