Skip to content
cs-conference-ranking.org

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

Best Software Engineering conferencesBest 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.

YearTitleAuthors
2024The SemGuS Toolkit.Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
2024The MoXI Model Exchange Tool Suite.Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
2024Proactive Real-Time First-Order Enforcement.Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2024General Anticipatory Runtime Verification.Raik Hipler, Hannes Kallwies, Martin Leucker, Csar Snchez
2024Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.Peter Habermehl, Vojtech Havlena, Michal Hecko, Luks Holk, Ondrej Lengl
2024Measurement-Based Verification of Quantum Markov Chains.Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2024Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham
2024Information Flow Guided Synthesis with Unbounded Communication.Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024Synthesis of Temporal Causality.Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2024Verification Algorithms for Automated Separation Logic Verifiers.Marco Eilers, Malte Schwerhoff, Peter Mller
2024Hevm, a Fast Symbolic Execution Framework for EVM Bytecode.Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman
2024Regular Reinforcement Learning.Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2024QReach: A Reachability Analysis Tool for Quantum Markov Chains.Aochu Dai, Mingsheng Ying
2024A Framework for Debugging Automated Program Verification Proofs via Proof Actions.Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
2024SMT-Based Symbolic Model-Checking for Operator Precedence Languages.Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2024SolTG: A CHC-Based Solidity Test Case Generator.Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
2024SMLP: Symbolic Machine Learning Prover.Franz Braue, Zurab Khasidashvili, Konstantin Korovin
2024Arithmetic Solving in Z3.Nikolaj S. Bjrner, Lev Nachmanson
2024CaDiCaL 2.0.Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
2024Syntax-Guided Automated Program Repair for Hyperproperties.Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024Verifying Cake-Cutting, Faster.Noah Bertram, Tean Lai, Justin Hsu
2024Testing the Migration from Analog to Software-Based Railway Interlocking Systems.Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione
2024Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Lhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024Monitizer: Automating Design and Evaluation of Neural Network Monitors.Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretnsk, Stefanie Mohr, Sabine Rieder
2024Verifying Global Two-Safety Properties in Neural Networks with Confidence.Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
201–225 of 2,162← PreviousNext →

Comparable venues

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