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
2026Liveness Proofs for Hardware Model Checking.Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko
2026Differentially Private Runtime Monitoring.Bernd Finkbeiner, Frederik Scheerer
2026SMT-Based Active Learning of Weighted Automata.Tiago Ferreira, Kevin Batz, Alexandra Silva
2026On the Complexity of Checking Soundness of Natural Reductions.Constantin Enea, Azadeh Farzan, Dominik Klumpp
2026TACO: A Toolsuite for the Verification of Threshold Automata.Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Vlp, Swen Jacobs
2026Fast Obligation Translation and Synthesis.Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu
2026How Many Quantum Circuit Identities Are Needed to Generate All Others?Yuantian Ding, Nengkun Yu, Xiaokang Qiu
2026A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog.Gabriel Desfrene, Quentin Corradi, Michalis Pardalos, John Wickerson
2026HyperLasso: Bounded Model Checking of ∀Alcino Cunha, Hugo Pacheco, Nuno Macedo
2026Analysis and Verification of Quantum Communication Protocols in UPPAAL.Ren Bdker Christensen, Nikolaj Rossander Kristensen, Kim Guldstrand Larsen, Marius Mikucionis, Jir Srba, Loke Walsted
2026String Solving with Stabilization and Transducers.David Chocholat, Vojtech Havlena, Luks Holk, Juraj Sc, Michal Sed
2026Repairing Regex-Dependent String-Manipulation Programs.Nariyoshi Chida, Tachio Terauchi
2026Complete Local Reasoning About Parameterized Programs Over Topologies.Ruotong Cheng, Azadeh Farzan
2026Formally Verified Linear-Time Invertible Lexing.Samuel Chassot, Viktor Kuncak
2026Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning.Debraj Chakraborty, Anirban Majumdar, Prince Mathew, Sayan Mukherjee, Jean-Franois Raskin
2026Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families.Milan Ceska, Sebastian Junges, Luko van der Maas, Filip Mack, Tim Quatmann
2026ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models.Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel Vzquez
2026Polynomial Invariant Generation for Floating-Point Programs.Xuran Cai, Liqian Chen, Hongfei Fu
2026Randomise Alone, Reach as a Team.Lonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee, K. S. Thejaswini
2026The Simulator's Blueprint: Automata Learning from Cybersecurity Logs.Tudor Braicu, Benjamin Ylvisaker, Nicolas A. Espinosa Dice, Yiding Chen, Yiyi Zhang, Nate Foster, Hossein Hojjat
2026Lagrangian-Based Duality for Quantified SMT Algorithms.Ivana Bocevska, Takeshi Tsukada, Hiroshi Unno, Oded Padon, Sharon Shoham
2026SvLibChecker: A Light-Weight Tool for Software Model Checking.Dirk Beyer, Marian Lingsch Rosenfeld
2026Transition Invariants Revisited: Termination Witnesses and Their Validation.Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld
2026Best-Effort Safety Control of Multi-mode Systems.Massimo Benerecetti, Marco Faella, Fabio Mogavero
2026PyCHC: A Framework for Certified Horn Solving and CHC-Based Design.Anna Becchi, Martin Blicha, Rodrigo Otoni, Natasha Sharygina
51–75 of 2,162← PreviousNext →

Comparable venues

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