International Conference on Embedded Software

EMSOFT

Journal Published

CORE rank

CORE rank (raw)

Journal Published

Fields of research

Distributed Computing and Systems Software

Papers indexed

612

2001–2025

Papers per year

200151 peak2025

Most published authors

EMSOFT papers

612 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2001	Verification of Embedded Software: Problems and Perspectives.	Patrick Cousot, Radhia Cousot
2001	Embedded Control: From Asynchrony to Synchrony and Back.	Paul Caspi
2001	Usage Scenarios for an Automated Model Compiler.	Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang
2001	Using Multiple Levels of Abstractions in Embedded Software Design.	Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2001	From Requirements to Validated Embedded Systems.	Manfred Broy, Oscar Slotosch
2001	Formalizing Software Architectures for Embedded Systems.	Pam Binns, Steve Vestal
2001	Synchronous Programming Techniques for Embedded Systems: Present and Future.	Grard Berry
2001	Some Synchronization Issues When Designing Embedded Systems from Components.	Albert Benveniste
2001	An Implementation of Scoped Memory for Real-Time Java.	William S. Beebee, Martin C. Rinard
2001	Hierarchical Hybrid Modeling of Embedded Systems.	Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2001	Interface Theories for Component-Based Design.	Luca de Alfaro, Thomas A. Henzinger
2001	Heterogeneous Modeling Support for Embedded Systems Design.	Perry Alexander, Cindy Kong

Other A*/A conferences filed under the same field of research.