1. EMSOFT 2001:
Tahoe City, CA, USA
Thomas A. Henzinger, Christoph M. Kirsch (Eds.):
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings.
Lecture Notes in Computer Science 2211 Springer 2001, ISBN 3-540-42673-6
Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Rafael B. Fierro,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems.
14-31
Albert Benveniste:
Some Synchronization Issues When Designing Embedded Systems from Components.
32-49
Gérard Berry:
Synchronous Programming Techniques for Embedded Systems: Present and Future.
50
Paul Caspi:
Embedded Control: From Asynchrony to Synchrony and Back.
80-96
Hermann Kopetz:
The Temporal Specification of Interfaces in Distributed Real-Time Systems.
223-236
Sharad Malik:
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems.
254-256
John M. Rushby:
Bus Architectures for Safety-Critical Embedded Systems.
306-323
Douglas C. Schmidt:
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.
361-372
Joseph Sifakis:
Modeling Real-Time Systems-Challenges and Work Directions.
373-389
John A. Stankovic:
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems.
390-402
Niklaus Wirth:
Embedded Systems and Real-Time Programming.
486-492