Papers in 2024
67
Papers, all years
1,268
Years indexed
31
Since
1978
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.
202467 papers✓ verified· 2 volumes
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, 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
2024 to 2026 · papers count once per institution on them
Academia 57%Industry 1%Government and other 41%
Institutions
- 1Institute of Software🇨🇳16
- 2Chinese Academy of Sciences🇨🇳15
- 3Peking University🇨🇳9
- 4University of Chinese Academy of Sciences🇨🇳8
- 5State Key Laboratory of Computer Science8
- 6Helmholtz Center for Information Security🇩🇪6
- 7RWTH Aachen University🇩🇪6
- 8Radboud University Nijmegen🇳🇱4
- 9National Institute of Informatics🇯🇵4
- 10National University of Defense Technology🇨🇳4
- 11Karlsruhe Institute of Technology🇩🇪3
- 12University of Oxford🇬🇧3
Countries
- China17
- Germany14
- United Kingdom8
- United States7
- France6
- Netherlands6
- Austria4
- Italy4
- Japan3
- Singapore3
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 FM
Closest by the phrases in their paper titles over the last five complete years.
- CAV International Conference on Computer-Aided Verification0.35verificationverification toolverifyingreachabilityformally
- ICFEM International Conference on Formal Engineering Methods0.24formalautomataverificationverifyingformal verification
- ATVA International Symposium on Automated Technology for Verification and Analysis0.22automatatemporal logicchiverifiedverification neural networks
- TASE Theoretical Aspects of Software Engineering0.21automataformalverificationverifyingformal verification
- ICECCS International Conference on Engineering of Complex Computer Systems0.21isabelle holholisabelleformalverification
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
4.0 in 2026
Papers by an entirely new team
25% in 2026
Most published at FM
- Jun Sun2005 to 202616
- Peter Gorm Larsen1991 to 202615
- Jin Song Dong1999 to 202413
- Yang Liu2009 to 201913
- Augusto Sampaio1990 to 201412
- Ana Cavalcanti1999 to 202611
- Naijun Zhan2012 to 202611
- Cliff B. Jones1978 to 200310
- John Derrick1996 to 201910
- Gerhard Schellhorn1998 to 201910