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
2026Quokka#: Quantum Computing with #SAT.Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman
2026Upper Bound for the Determinization of Emerson-Lei Automata: A One-Fin Approach.Runzhe Ma, Cong Tian, Wensheng Wang, Zhenhua Duan
2026Over-Approximation of Weakly-Hard Constraints for Control Systems Verification.Rieke de Maeyer, Holger Hermanns, Martina Maggio
2026KoAT: Automatic Complexity and Termination Analysis of Integer Programs.Nils Lommen, lanore Meyer, Jrgen Giesl
2026Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement.Hengjie Liu, Zhenya Zhang, Jianjun Zhao
2026ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks.Yuehao Liu, Cong Tian, Yansong Dong, Liang Zhao, Chao Huang, Wensheng Wang
2026Formal Verification of Quantum Ancilla Safety.Jiqi Li, Jingyi Mei, Wang Fang, Ji Guan
2026Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains.Jianlin Li, Nick Guo, Peter Ye, Yizhou Zhang
2026Incremental Inference for Probabilistic Datalog.Xuyang Li, Weiyi Chen, Isil Dillig, Jingbo Wang
2026Octopus: Practical Equivalence Checking of P4 Packet Parsers.Jort van Leenen, Tobias Kapp
2026An LJasper Laumen, Leonne Snel, Frits W. Vaandrager
2026Perception with Guarantees: Certified Pose Estimation via Reachability Analysis.Tobias Ladner, Yasser Shoukry, Matthias Althoff
2026SemML 2.0: Synthesizing Controllers for LTL.Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop
2026Model Checking for Flexible Network Protocols.Andrew Johnson, Dennis Fetterly, Sean Song, Jonathan Zolla
2026Compositional Verification of Timed Automata via Violation Assumptions.Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar
2026HyperQB 2.0: A Bounded Model Checker for Hyperproperties.Tzu-Han Hsu, Milad Rabizadeh, Kenneth Rogale, Fedor Filippov, Marco A. de Oliveira Batista, Borzoo Bonakdarpour
2026Weighted Soundness for Workflow Nets.Piotr Hofman, Krzysztof Makuracki, Filip Mazowiecki
2026Extending QuAK with Nested Quantitative Automata.Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara, Harun Yilmaz
2026Shields to Guarantee Probabilistic Safety in MDPs.Linus Heck, Filip Mack, Roman Andriushchenko, Milan Ceska, Sebastian Junges
2026Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers.Joe Hattori, Naoki Kobayashi, Ken Sakayori
2026Scalable Deductive Verification of Data-Level Parallel Programs.Lars B. van den Haak, Anton Wijs, Marieke Huisman
2026Automatic Heap-Memory Diagrams for Separation-Logic Proofs.Yawen Guan, Shardul Chiplunkar, Clment Pit-Claudel
2026Modular Reasoning About Object Relations.Micha Greutmann, Marco Eilers, Peter Mller
2026Velvet: A Foundational Multi-modal Verifier for Imperative Programs in Lean.Vladimir Gladshtein, Vitaly Kurin, Yueyang Feng, Dipesh Kafle, George Prlea, Qiyuan Zhao, Ilya Sergey
2026Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation.Jelena Frtunikj, Alex Latz, Ajit Mistry, Matthew Propp, Vasu Singh, Suresh Talapaneni, Amanda Tang, Damien Zufferey
26–50 of 2,162← PreviousNext →

Comparable venues

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