Papers in 2025
33
Papers, all years
827
Years indexed
25
Since
1996
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.
202533 papers✓ verified
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025
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 · papers count once per institution on them
Academia 33%Industry 33%Government and other 33%
Institutions
- 1Université Paris-Saclay🇫🇷1
- 2Mitsubishi Electric (France)🇫🇷1
- 3TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations🇫🇷1
Countries
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 FMCAD
Closest by the phrases in their paper titles over the last five complete years.
- CAV International Conference on Computer-Aided Verification0.26smtverificationformallyhardware model checkingverified
- SAT International Conference on Theory and Applications of Satisfiability Testing0.18satdqbfsmtsat solverssolvers
- FM International Symposium on Formal Methods0.17verificationformallyformalverifiedformal verification
- ICFEM International Conference on Formal Engineering Methods0.16verificationformalsmtformal verificationsmt-based
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.14smtverificationverifiedprogram verificationsynthesizing
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.5 in 2025
Papers by an entirely new team
18% in 2025
Most published at FMCAD
- Clark W. Barrett1996 to 202529
- Arie Gurfinkel2004 to 202523
- Armin Biere1998 to 202521
- Alessandro Cimatti2004 to 202418
- Jason Baumgartner2004 to 202418
- Roderick Bloem2000 to 202217
- Cesare Tinelli2008 to 202516
- Fabio Somenzi1996 to 201315
- Sanjit A. Seshia2002 to 202514
- Andrew Reynolds2014 to 202514