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
2018	Space-Time Interpolants.	Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
2018	Model Checking Quantitative Hyperproperties.	Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2018	Synthesizing Reactive Systems from Hyperproperties.	Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2018	Monitoring CTMCs by Multi-clock Timed Automata.	Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan
2018	Syntax-Guided Termination Analysis.	Grigory Fedyukovich, Yueling Zhang, Aarti Gupta
2018	Model Generation for Quantified Formulas: A Taint-Based Approach.	Benjamin Farinier, Sbastien Bardin, Richard Bonichon, Marie-Laure Potet
2018	Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.	Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
2018	Monitoring Weak Consistency.	Michael Emmi, Constantin Enea
2018	Nagini: A Static Verifier for Python.	Marco Eilers, Peter Mller
2018	Semantic Adversarial Deep Learning.	Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
2018	Permission Inference for Array Programs.	Jrme Dohrau, Alexander J. Summers, Caterina Urban, Severin Mnger, Peter Mller
2018	Attracting Tangles to Solve Parity Games.	Tom van Dijk
2018	Program Analysis Is Harder Than Verification: A Computability Perspective.	Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
2018	JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.	Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtk
2018	Model Checking Boot Code from AWS Data Centers.	Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
2018	Formal Reasoning About the Security of Amazon Web Services.	Byron Cook
2018	Continuous Formal Verification of Amazon s2n.	Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCrthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
2018	The DEEPSEC Prover.	Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2018	Android Stack Machine.	Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
2018	Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives.	Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
2018	ADAC: Automated Design of Approximate Circuits.	Milan Ceska, Jir Matys, Vojtech Mrazek, Luks Sekanina, Zdenek Vascek, Toms Vojnar
2018	Reasoning About TSO Programs Using Reduction and Abstraction.	Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
2018	On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.	Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
2018	Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems.	Frederik M. Bnneland, Peter Gjl Jensen, Kim Guldstrand Larsen, Marco Muiz, Jir Srba
2018	StringFuzz: A Fuzzer for String Solvers.	Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

651–675 of 2,162← Previous Next →

Comparable venues

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