Papers in 2025
21
Papers, all years
819
Years indexed
26
Since
1997
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
Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 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 75%Industry 0%Government and other 25%
Institutions
- 1Peking University🇨🇳4
- 2Zhejiang University🇨🇳4
- 3Centre National de la Recherche Scientifique🇫🇷3
- 4Xidian University🇨🇳3
- 5East China Normal University🇨🇳3
- 6National University of Defense Technology🇨🇳3
- 7Chinese Academy of Sciences🇨🇳3
- 8University of Chinese Academy of Sciences🇨🇳3
- 9University of Dayton🇺🇸2
- 10Institut national de recherche en sciences et technologies du numérique🇫🇷2
- 11Southwest University🇨🇳2
- 12National Institute of Informatics🇯🇵2
Countries
- China17
- France2
- Australia1
- Germany1
- Denmark1
- United Kingdom1
- Romania1
- Sweden1
- Singapore1
- United States1
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 ICFEM
Closest by the phrases in their paper titles over the last five complete years.
- TASE Theoretical Aspects of Software Engineering0.29automataevent-bformaltimed automataformal verification
- FM International Symposium on Formal Methods0.24formalautomataverificationverifyingformal verification
- SETTA Symposium on Dependable Software Engineering: Theories, Tools and Applications0.23formalformal verificationspecificationsverificationautomata
- CAV International Conference on Computer-Aided Verification0.22verificationcheckingverifyingltlsmt-based
- ATVA International Symposium on Automated Technology for Verification and Analysis0.19automatacheckingtimed automataverificationverifying
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.7 in 2025
Papers by an entirely new team
33% in 2025
Most published at ICFEM
- Jun Sun2002 to 202540
- Jin Song Dong1997 to 202435
- Yang Liu2006 to 202229
- Shengchao Qin2002 to 202419
- Sofiène Tahar2000 to 202412
- Ana Cavalcanti2002 to 202211
- Huibiao Zhu2002 to 202211
- Wei-Ngan Chin2008 to 202011
- Shaoying Liu1998 to 202410
- Jifeng He2000 to 201310