Papers in 2025
7
Papers, all years
611
Years indexed
24
Since
2001
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.
20257 papers✓ verified
International Conference on Embedded Software, EMSOFT 2025, Taipei, Taiwan, September 28 - Oct. 3, 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
2023 to 2025 · papers count once per institution on them
Academia 78%Industry 7%Government and other 15%
Institutions
- 1Seoul National University🇰🇷2
- 2Kyungpook National University🇰🇷2
- 3Karlsruhe Institute of Technology🇩🇪1
- 4University of Nebraska–Lincoln🇺🇸1
- 5Centre National de la Recherche Scientifique🇫🇷1
- 6Oregon Institute of Technology🇺🇸1
- 7Siemens (Germany)🇩🇪1
- 8Alexandru Ioan Cuza University🇷🇴1
- 9FZI Research Center for Information Technology🇩🇪1
- 10Institut Pascal🇫🇷1
- 11Friedrich-Alexander-Universität Erlangen-Nürnberg🇩🇪1
- 12Xiamen University🇨🇳1
Countries
- United States3
- Germany2
- Sweden2
- France1
- Italy1
- Japan1
- South Korea1
- New Zealand1
- Taiwan1
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 EMSOFT
Closest by the phrases in their paper titles over the last five complete years.
- RTAS IEEE Real-Time and Embedded Technology and Applications Symposium0.48work progressprogressmixed-criticalityworktiming
- RTSS The IEEE Real-Time Systems Symposium0.10timingmixed-criticalityreal-timecyber-physicalembedded
- SACMAT ACM Symposium on Access Control Models and Technologies0.09work progressprogressworkiotformal
- CF ACM International Conference on Computing Frontiers0.08work progressfaultcomputingprogressembedded
- ICFEM International Conference on Formal Engineering Methods0.07formalcyber-physicalverificationsoftwareneural network
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
4.1 in 2025
Papers by an entirely new team
43% in 2025
Most published at EMSOFT
- Lothar Thiele2001 to 201618
- Alberto L. Sangiovanni-Vincentelli2001 to 202118
- Edward A. Lee2001 to 202517
- Thomas A. Henzinger2001 to 201816
- Albert Benveniste2001 to 201513
- Stavros Tripakis2002 to 201413
- Paul Caspi2001 to 201012
- Insup Lee2001 to 201611
- Christoph M. Kirsch2001 to 201111
- Marc Pouzet2003 to 201511