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 |
|---|---|---|
| 2015 | Empirical Software Metrics for Benchmarking of Verification Tools. | Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger |
| 2015 | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | Angelic Verification: Precise Verification Modulo Unknowns. | Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li |
| 2015 | On Automation of CTL* Verification for Infinite-State Systems. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2015 | Cutting the Mix. | Jrgen Christ, Jochen Hoenicke |
| 2015 | Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. | Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang |
| 2015 | Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2015 | Word-Level Symbolic Trajectory Evaluation. | Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry |
| 2015 | From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. | Pavol Cern, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach |
| 2015 | Pareto Curves of Multidimensional Mean-Payoff Games. | Romain Brenguier, Jean-Franois Raskin |
| 2015 | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretnsk |
| 2015 | Formal Design and Safety Analysis of AIR6110 Wheel Brake System. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta |
| 2015 | Efficient Anytime Techniques for Model-Based Safety Analysis. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei |
| 2015 | Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. | Amir M. Ben-Amram, Samir Genaim |
| 2015 | Deciding Local Theory Extensions via E-matching. | Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies |
| 2015 | Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. | Fahiem Bacchus, George Katsirelos |
| 2015 | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2015 | Automata-Based Model Counting for String Constraints. | Abdulbaki Aydin, Lucas Bang, Tevfik Bultan |
| 2015 | Automatic Completion of Distributed Protocols with Symmetry. | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| 2015 | Synthesis Through Unification. | Rajeev Alur, Pavol Cern, Arjun Radhakrishna |
| 2015 | Time Robustness in MTL and Expressivity in Hybrid System Falsification. | Takumi Akazaki, Ichiro Hasuo |
| 2015 | Norn: An SMT Solver for String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2015 | Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. | Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska |
| 2015 | Boosting k-Induction with Continuously-Refined Invariants. | Dirk Beyer, Matthias Dangl, Philipp Wendler |
| 2014 | GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. | Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki |
876–900 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