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
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 |
|---|---|---|
| 2026 | sweap: Reactive Synthesis for Infinite-State Integer Problems. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2026 | Decoupled Planning for Multiple Omega-Regular Objectives. | Guy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan, K. S. Thejaswini |
| 2026 | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2026 | Kofola 1.0: A Modular Approach to mega-Regular Complementation and Inclusion Checking. | Ondrej Alexaj, Vojtech Havlena, Luks Holk, Ondrej Lengl, Yong Li, Nicolas Mazzocchi |
| 2026 | The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq. | Andrei Aleksandrov, Malte Jackisch, Kim Vllinger |
| 2026 | Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2026 | On the Verification Problem of Remote Direct Memory Access Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu, Stephan Spengler |
| 2025 | Automatic Verification of Floating-Point Accumulation Networks. | David Kai Zhang, Alex Aiken |
| 2025 | D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation. | Yingte Xu, Li Zhou, Gilles Barthe |
| 2025 | Arithmetizing Shape Analysis. | Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rmmer, Thomas Wies |
| 2025 | Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications. | Samuel Williams, Jyotirmoy Deshmukh |
| 2025 | ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks. | Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu |
| 2025 | Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks. | Yuning Wang, He Zhu |
| 2025 | FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams. | Ziyuan Wang, Bin Cheng, Longxiang Yuan, Zhengfeng Ji |
| 2025 | Regex Decision Procedures in Extended RE#. | Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan P. Ernits |
| 2025 | StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. | Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos |
| 2025 | A Formally Verified Robustness Certifier for Neural Networks. | James Tobler, Hira Taqdees Syeda, Toby Murray |
| 2025 | Deeply Optimizing the SAT Solver for the IC3 Algorithm. | Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang |
| 2025 | The rIC3 Hardware Model Checker. | Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang |
| 2025 | Automated Verification of Consistency in Zero-Knowledge Proof Circuits. | Jon Stephens, Shankara Pailoor, Isil Dillig |
| 2025 | Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klppelholz, Jakob Piribauer |
| 2025 | Automated Verification of Monotonic Data Structure Traversals in C. | Matthew Sotoudeh |
| 2025 | Engineering an Efficient Probabilistic Exact Model Counter. | Mate Soos, Kuldeep S. Meel |
| 2025 | Surfer - An Extensible Waveform Viewer. | Frans Skarman, Lucas Klemmer, Daniel Groe, Oscar Gustafsson, Kevin Laeufer |
| 2025 | Assessing the Quality of Binomial Samplers: A Statistical Distance Framework. | Uddalok Sarkar, Sourav Chakraborty, Kuldeep S. Meel |
76–100 of 2,162← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems