ATVA proceedings
International Symposium on Automated Technology for Verification and Analysis
Papers in 2025
21
Papers, all years
738
Years indexed
22
Since
2004
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
Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
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
2024 to 2025 · papers count once per institution on them
Academia 67%Industry 1%Government and other 32%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷4
- 2Radboud University Nijmegen🇳🇱3
- 3Max Planck Society🇩🇪3
- 4Indian Institute of Technology Bombay🇮🇳3
- 5Hebrew University of Jerusalem🇮🇱3
- 6Uppsala University🇸🇪2
- 7Université Libre de Bruxelles🇧🇪2
- 8Max Planck Institute for Software Systems🇩🇪2
- 9Helmholtz Center for Information Security🇩🇪2
- 10Eindhoven University of Technology🇳🇱2
- 11Institut national de recherche en sciences et technologies du numérique🇫🇷2
- 12National Institute of Informatics🇯🇵2
Countries
- United States7
- India4
- Germany3
- France3
- Netherlands3
- Belgium2
- Denmark2
- United Kingdom2
- Italy2
- Japan2
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 ATVA
Closest by the phrases in their paper titles over the last five complete years.
- CAV International Conference on Computer-Aided Verification0.31checkingautomatasynthesisverifiedhyperproperties
- CONCUR International Conference on Concurrency Theory0.28automatatemporal logicchihyperpropertieschecking
- FM International Symposium on Formal Methods0.22automatatemporal logicchiverifiedverification neural networks
- ICFEM International Conference on Formal Engineering Methods0.19automatacheckingtimed automataverificationverifying
- TASE Theoretical Aspects of Software Engineering0.17automataverifiedlogictimed automataverification
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
4.0 in 2025
Papers by an entirely new team
5% in 2025
Most published at ATVA
- Bernd Finkbeiner2005 to 202424
- Orna Kupferman2004 to 202523
- Jan Kretínský2011 to 202315
- Sven Schewe2005 to 202313
- Jean-François Raskin2007 to 202513
- Orna Grumberg2005 to 202412
- Joost-Pieter Katoen2007 to 202512
- Krishnendu Chatterjee2010 to 20259
- Axel Legay2010 to 20239
- Jirí Srba2006 to 20258