Papers in 2025
79
Papers, all years
2,068
Years indexed
37
Since
1990
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202579 papers✓ verified· 4 volumes
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 78%Industry 6%Government and other 16%
Institutions
- 1TU Wien🇦🇹10
- 2Stanford University🇺🇸10
- 3University of Toronto🇨🇦8
- 4Chinese Academy of Sciences🇨🇳8
- 5Institute of Software🇨🇳8
- 6Radboud University Nijmegen🇳🇱7
- 7University of Oxford🇬🇧7
- 8Amazon (United States)🇺🇸6
- 9Georgia Institute of Technology🇺🇸5
- 10Institute of Science and Technology Austria🇦🇹5
- 11Brno University of Technology🇨🇿5
- 12Technical University of Munich🇩🇪5
Countries
- United States52
- Germany32
- United Kingdom22
- China20
- Netherlands18
- Austria17
- Canada12
- Switzerland11
- Sweden10
- France9
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like CAV
Closest by the phrases in their paper titles over the last five complete years.
- FM International Symposium on Formal Methods0.35verificationverification toolverifyingreachabilityformally
- VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation0.32checkinginfinite-stateverificationreachabilityltl
- ATVA International Symposium on Automated Technology for Verification and Analysis0.31checkingautomatasynthesisverifiedhyperproperties
- FMCAD Formal Methods in Computer-Aided Design0.26smtverificationformallyhardware model checkingverified
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.23programsprobabilistic programssmtverificationverified
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
4.5 in 2026
Papers by an entirely new team
9% in 2026
Most published at CAV
- Thomas A. Henzinger1993 to 202644
- Clark W. Barrett2002 to 202638
- Moshe Y. Vardi1990 to 202636
- Rajeev Alur1992 to 202329
- Alessandro Cimatti1997 to 202529
- Ahmed Bouajjani1990 to 202527
- Bernd Finkbeiner2014 to 202627
- David L. Dill1990 to 202026
- Kenneth L. McMillan1992 to 202426
- Thomas W. Reps2004 to 202425