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
2025Data-Driven Verification of Procedural Programs with Integer Arrays.Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
2025Extending AALpy with Passive Learning: A Generalized State-Merging Approach.Benjamin von Berg, Bernhard K. Aichernig
2025An Intermediate Program Representation for Optimizing Stream-Based Languages.Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025The Vampire Diary.Filip Brtek, Ahmed Bhayat, Robin Coutelier, Mrton Hajd, Matthias Hetzenberger, Petra Hozzov, Laura Kovcs, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2025INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition.Suguman Bansal, Ramneet Singh
2025Approximating Fixpoints of Approximated Functions.Paolo Baldan, Sebastian Gurke, Barbara Knig, Tommaso Padoan, Florian Wittbold
2025Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2025Full LTL Synthesis over Infinite-State Arenas.Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider
2025Small Decision Trees for MDPs with Deductive Synthesis.Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack
2025Quantitative Supermartingale Certificates.Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2025Branching Bisimulation Learning.Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2024Probabilistic Access Policies with Automated Reasoning Support.Shaowei Zhu, Yunbo Zhang
2024Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates.Shaowei Zhu, Zachary Kincaid
2024Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems.Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
2024Distributed SMT Solving Based on Dynamic Variable-Level Partitioning.Mengyu Zhao, Shaowei Cai, Yuhang Qian
2024Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors.Ruihan Zhang, Jun Sun
2024End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin
2024Approximate Relational Reasoning for Quantum Programs.Peng Yan, Hanru Jiang, Nengkun Yu
2024Avoiding the Shoals - A New Approach to Liveness Checking.Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li
2024Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham
2024Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024Compositional Value Iteration with Pareto Caching.Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models.Yuning Wang, He Zhu
2024Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs.Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li
151–175 of 2,162← PreviousNext →

Comparable venues

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