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 |
|---|---|---|
| 2025 | Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. | Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic |
| 2025 | Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. | Philippe Heim, Rayna Dimitrova |
| 2025 | Decision Heuristics in MCSat. | Thomas Hader, Ahmed Irfan, Stphane Graham-Lengrand |
| 2025 | Raven: An SMT-Based Concurrency Verifier. | Ekanshdeep Gupta, Nisarg Patel, Thomas Wies |
| 2025 | Verified and Optimized Implementation of Orthologic Proof Search. | Simon Guilloud, Clment Pit-Claudel |
| 2025 | Accelerating Automated Program Verifiers by Automatic Proof Localization. | Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Mller, Markus Pschel, Ilya Sergey |
| 2025 | $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis. | Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia |
| 2025 | Efficient Probabilistic Model Checking for Relational Reachability. | Lina Gerlach, Tobias Winkler, Erika brahm, Borzoo Bonakdarpour, Sebastian Junges |
| 2025 | Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. | Hernn Gagliardi, Vctor A. Braberman, Sebastin Uchitel |
| 2025 | Introducing Certificates to the Hardware Model Checking Competition. | Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko |
| 2025 | LearnLib: 10 years later. | Markus Frohme, Falk Howar, Bernhard Steffen |
| 2025 | Robust Probabilistic Bisimilarity for Labelled Markov Chains. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2025 | Verifying Tree-Manipulating Programs via CHCs. | Marco Faella, Gennaro Parlato |
| 2025 | Fifteen Years of Viper. | Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Peter Mller |
| 2025 | Counterexample-Guided Commutativity. | Marcel Ebbinghaus, Dominik Klumpp, Andreas Podelski |
| 2025 | NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. | Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer |
| 2025 | Verifying PETSc Vector Components Using CIVL. | Venkata Dhavala, Jan Hckelheim, Paul D. Hovland, Stephen F. Siegel |
| 2025 | Structural Operational Semantics for Functional and Security Verification of Pipelined Processors. | Robert J. Colvin, Roger C. Su |
| 2025 | Infinite-State Liveness Checking with rlive. | Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta |
| 2025 | Compositional Abstraction for Timed Systems with Broadcast Synchronization. | Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager |
| 2025 | Verifying Fault-Tolerance of Quantum Error Correction Codes. | Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert T. Schmitz, Steve Zdancewic, Gushu Li |
| 2025 | sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. | Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe |
| 2025 | Automated Parameterized Verification of a Railway Protection System with Dafny. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti |
| 2025 | Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. | Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani |
| 2025 | On the Complexity of Checking Mixed Isolation Levels for SQL Transactions. | Ahmed Bouajjani, Constantin Enea, Enrique Romn-Calvo |
126–150 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