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 |
|---|---|---|
| 2024 | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2024 | Predictive Monitoring with Strong Trace Prefixes. | Zhendong Ang, Umang Mathur |
| 2024 | Parsimonious Optimal Dynamic Partial Order Reduction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas |
| 2024 | Bisimulation Learning. | Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer |
| 2024 | Stochastic Omega-Regular Verification and Control with Supermartingales. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2023 | QEBVerif: Quantization Error Bound Verification of Neural Networks. | Yedi Zhang, Fu Song, Jun Sun |
| 2023 | Ownership Guided C to Rust Translation. | Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang |
| 2023 | Online Causation Monitoring of Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2023 | Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. | Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng |
| 2023 | Rounding Meets Approximate Model Counting. | Jiong Yang, Kuldeep S. Meel |
| 2023 | Searching for i-Good Lemmas to Accelerate Safety Model Checking. | Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu |
| 2023 | Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. | Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel |
| 2023 | Compositional Probabilistic Model Checking with String Diagrams of MDPs. | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo |
| 2023 | Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. | Masaki Waga |
| 2023 | Verifying the Verifier: eBPF Range Analysis Verification. | Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte |
| 2023 | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2023 | CoqCryptoLine: A Verified Model Checker with Certified Results. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | Certified Verification for Algebraic Abstraction. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. | Gourav Takhar, Subhajit Roy |
| 2023 | Automated Tail Bound Analysis for Probabilistic Recurrence Relations. | Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2023 | Incremental Dead State Detection in Logarithmic Time. | Caleb Stanford, Margus Veanes |
| 2023 | Symbolic Quantum Simulation with Quasimodo. | Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps |
| 2023 | Boolean Abstractions for Realizability Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2023 | Prediction and Control of Stochastic Agents Using Formal Methods. | Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler |
| 2023 | Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu |
226–250 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