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 |
|---|---|---|
| 2022 | Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2022 | Abstraction-Refinement for Hierarchical Probabilistic Models. | Sebastian Junges, Matthijs T. J. Spaan |
| 2022 | Specification-Guided Learning of Nash Equilibria with High Social Welfare. | Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur |
| 2022 | Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. | Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang |
| 2022 | Affine Loop Invariant Generation via Matrix Algebra. | Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen |
| 2022 | Complementing Bchi Automata with Ranker. | Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov |
| 2022 | MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. | Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier |
| 2022 | Program Verification with Constrained Horn Clauses (Invited Paper). | Arie Gurfinkel |
| 2022 | Verifying Fairness in Quantum Machine Learning. | Ji Guan, Wang Fang, Mingsheng Ying |
| 2022 | MoGym: Using Formal Models for Training and Verifying Decision-making Agents. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Verena Wolf |
| 2022 | RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. | Eric Goubault, Sylvie Putot |
| 2022 | A Scalable Shannon Entropy Estimator. | Priyanka Golia, Brendan Juba, Kuldeep S. Meel |
| 2022 | Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. | Andreas Gittis, Eric Vin, Daniel J. Fremont |
| 2022 | Shared Certificates for Neural Network Verification. | Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev |
| 2022 | Information Flow Guided Synthesis. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2022 | Neural Network Precision Tuning Using Stochastic Arithmetic. | Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jzquel, Basile Lewandowski |
| 2022 | PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. | Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu |
| 2022 | Reasoning About Data Trees Using CHCs. | Marco Faella, Gennaro Parlato |
| 2022 | From Spot 2.0 to Spot 2.10: What's New? | Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jrme Dubois, Clment Gillard, Henrich Lauko |
| 2022 | FORQ-Based Language Inclusion Formal Testing. | Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi |
| 2022 | Neural Networks in Imandra: Matrix Representation as a Verification Choice. | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya |
| 2022 | Sound Automation of Magic Wands. | Thibault Dardinier, Gaurav Parthasarathy, No Weeks, Peter Mller, Alexander J. Summers |
| 2022 | Verified Erasure Correction in Coq with MathComp and VST. | Joshua M. Cohen, Qinshi Wang, Andrew W. Appel |
| 2022 | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2022 | Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. | Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters |
326–350 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