1. EMSOFT 2001: Tahoe City, CA, USA

@proceedings{DBLP:conf/emsoft/2001,
  editor    = {Thomas A. Henzinger and
               Christoph M. Kirsch},
  title     = {Embedded Software, First International Workshop, EMSOFT 2001,
               Tahoe City, CA, USA, October, 8-10, 2001, Proceedings},
  booktitle = {EMSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2211},
  year      = {2001},
  isbn      = {3-540-42673-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Perry Alexander, Cindy Kong:
  Heterogeneous Modeling Support for Embedded Systems Design. 1-13
  
• 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
  
• Manfred Broy, Oscar Slotosch:
  From Requirements to Validated Embedded Systems. 51-65
  
• Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang:
  Usage Scenarios for an Automated Model Compiler. 66-79
  
• Paul Caspi:
  Embedded Control: From Asynchrony to Synchrony and Back. 80-96
  
• Patrick Cousot, Radhia Cousot:
  Verification of Embedded Software: Problems and Perspectives. 97-113
  
• David E. Culler, Jason L. Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo:
  A Network-Centric Approach to Embedded Software for Tiny Devices. 114-130
  
• Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi:
  Storage Allocation for Real-Time, Embedded Systems. 131-147
  
• Luca de Alfaro, Thomas A. Henzinger:
  Interface Theories for Component-Based Design. 148-165
  
• Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
  Giotto: A Time-Triggered Language for Embedded Programming. 166-184
  
• Walid Taha, Paul Hudak, Zhanyong Wan:
  Directions in Functional Programming for Real(-Time) Applications. 185-203
  
• Kevin Jeffay, Steve Goddard:
  Rate-Based Resource Allocation Models for Embedded Systems. 204-222
  
• Hermann Kopetz:
  The Temporal Specification of Interfaces in Distributed Real-Time Systems. 223-236
  
• Edward A. Lee, Yuhong Xiong:
  System-Level Types for Component-Based Design. 237-253
  
• Sharad Malik:
  Embedded Software Implementation Tools for Fully Programmable Application Specific Systems. 254-256
  
• Krishna V. Palem, Surendranath Talla, Weng-Fai Wong:
  Compiler Optimizations for Adaptive EPIC Processors. 257-273
  
• Wolfgang Pree, Alessandro Pasetti:
  Embedded Software Market Transformation through Reusable Frameworks. 274-286
  
• Ragunathan Rajkumar:
  An End-To-End Methodology for Building Embedded Systems. 287-288
  
• William S. Beebee, Martin C. Rinard:
  An Implementation of Scoped Memory for Real-Time Java. 289-305
  
• John M. Rushby:
  Bus Architectures for Safety-Critical Embedded Systems. 306-323
  
• Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
  Using Multiple Levels of Abstractions in Embedded Software Design. 324-343
  
• Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry:
  Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software. 344-360
  
• 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
  
• Janos Sztipanovits, Gabor Karsai:
  Embedded Software: Challenges and Opportunities. 403-415
  
• Lothar Thiele, Samarjit Chakraborty, Matthias Gries, Alexander Maxiaguine, Jonas Greutert:
  Embedded Software in Network Processors - Models and Algorithms. 416-434
  
• Tunc Simsek, Pravin Varaiya:
  Design of Autonomous, Distributed Systems. 435-450
  
• Pam Binns, Steve Vestal:
  Formalizing Software Architectures for Embedded Systems. 451-468
  
• Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm:
  Reliable and Precise WCET Determination for a Real-Life Processor. 469-485
  
• Niklaus Wirth:
  Embedded Systems and Real-Time Programming. 486-492
  
• Wayne Wolf:
  Embedded Software for Video. 493-502