VMCAI proceedings
International Conference on Verification, Model Checking, and Abstract Interpretation
Papers in 2025
21
Papers, all years
642
Years indexed
25
Since
2002
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.
202521 papers✓ verified· 2 volumes
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 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
2026 · papers count once per institution on them
Academia 54%Industry 7%Government and other 39%
Institutions
- 1Institut national de recherche en sciences et technologies du numérique🇫🇷3
- 2Centre National de la Recherche Scientifique🇫🇷2
- 3Universidade Federal de Minas Gerais🇧🇷1
- 4Tongji University🇨🇳1
- 5Utah State University🇺🇸1
- 6Uppsala University🇸🇪1
- 7Pohang University of Science and Technology🇰🇷1
- 8Ben-Gurion University of the Negev🇮🇱1
- 9Zhejiang Sci-Tech University🇨🇳1
- 10Intel (United States)🇺🇸1
- 11University of Freiburg🇩🇪1
- 12National University of Singapore🇸🇬1
Countries
- United States5
- France4
- Germany3
- China2
- Israel2
- Brazil1
- Czechia1
- Denmark1
- South Korea1
- Netherlands1
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 VMCAI
Closest by the phrases in their paper titles over the last five complete years.
- CAV International Conference on Computer-Aided Verification0.32checkinginfinite-stateverificationreachabilityltl
- CONCUR International Conference on Concurrency Theory0.18reachabilityautomataconcurrent programscheckingpartial order reduction
- PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.18programssynthesisverificationtypesconcurrent programs
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.17programsverificationsynthesiscompositionaltypes
- SAS International Static Analysis Symposium0.17constrained horninterpretationhornprogramsverification
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.1 in 2026
Papers by an entirely new team
50% in 2026
Most published at VMCAI
- Viktor Kuncak2004 to 202517
- Kedar S. Namjoshi2003 to 202511
- Swen Jacobs2011 to 202511
- Amir Pnueli2002 to 201210
- Daniel Kroening2003 to 201710
- Arie Gurfinkel2006 to 202510
- Helmut Seidl2005 to 20259
- Lenore D. Zuck2002 to 20188
- Andreas Podelski2002 to 20218
- Sharon Shoham2005 to 20208