2. EMSOFT 2002: Grenoble, France

@proceedings{DBLP:conf/emsoft/2002,
  editor    = {Alberto L. Sangiovanni-Vincentelli and
               Joseph Sifakis},
  title     = {Embedded Software, Second International Conference, EMSOFT 2002,
               Grenoble, France, October 7-9, 2002, Proceedings},
  booktitle = {EMSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2491},
  year      = {2002},
  isbn      = {3-540-44307-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Amir Pnueli:
  Embedded Systems: Challenges in Specification and Verification. 1-14
  Electronic Edition (Springer LINK) BibTeX
• Nancy G. Leveson:
  An Approach to Designing Safe Embedded Software. 15-29
  Electronic Edition (Springer LINK) BibTeX
• David Harel:
  Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). 30-31
  Electronic Edition (Springer LINK) BibTeX
• Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry:
  Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. 32-45
  Electronic Edition (Springer LINK) BibTeX
• Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree:
  A Giotto-Based Helicopter Control System. 46-60
  Electronic Edition (Springer LINK) BibTeX
• Christoph M. Kirsch:
  Principles of Real-Time Programming. 61-75
  Electronic Edition (Springer LINK) BibTeX
• Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic:
  Time-Safety Checking for Embedded Programs. 76-92
  Electronic Edition (Springer LINK) BibTeX
• Gregor Gößler, Alberto L. Sangiovanni-Vincentelli:
  Compositional Modeling in Metropolis. 93-107
  Electronic Edition (Springer LINK) BibTeX
• Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
  Timed Interfaces. 108-122
  Electronic Edition (Springer LINK) BibTeX
• Stavros Tripakis:
  Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. 123-137
  Electronic Edition (Springer LINK) BibTeX
• Darren D. Cofer, Murali Rangarajan:
  Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. 138-152
  Electronic Edition (Springer LINK) BibTeX
• Giorgio C. Buttazzo:
  Scalable Applications for Energy-Aware Processors. 153-165
  Electronic Edition (Springer LINK) BibTeX
• Lui Sha:
  Upgrading Embedded Software in the Field: Dependability and Survivability. 166-181
  Electronic Edition (Springer LINK) BibTeX
• Aloysius K. Mok, Alex Xiang Feng:
  Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. 182-196
  Electronic Edition (Springer LINK) BibTeX
• Bertrand Delsart, Vania Joloboff, Eric Paire:
  JCOD: A Lightweight Modular Compilation Technology for Embedded Java. 197-212
  Electronic Edition (Springer LINK) BibTeX
• Tobias Ritzau, Peter Fritzson:
  Decreasing Memory Overhead in Hard Real-Time Garbage Collection. 213-226
  Electronic Edition (Springer LINK) BibTeX
• Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine:
  Speedup Prediction for Selective Compilation of Embedded Java Programs. 227-239
  Electronic Edition (Springer LINK) BibTeX
• Nicolas Halbwachs, Siwar Baghdadi:
  Synchronous Modelling of Asynchronous Systems. 240-251
  Electronic Edition (Springer LINK) BibTeX
• Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
  A Protocol for Loosely Time-Triggered Architectures. 252-265
  Electronic Edition (Springer LINK) BibTeX
• Alain Girault, Clément Ménier:
  Automatic Production of Globally Asynchronous Locally Synchronous Systems. 266-281
  Electronic Edition (Springer LINK) BibTeX
• Douglas C. Schmidt:
  Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems. 282-293
  Electronic Edition (Springer LINK) BibTeX
• Paul Caspi, Albert Benveniste:
  Toward an Approximation Theory for Computerised Control. 294-304
  Electronic Edition (Springer LINK) BibTeX
• Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher:
  A New Facility for Dynamic Control of Program Execution: DELI. 305-318
  Electronic Edition (Springer LINK) BibTeX
• Wei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh:
  Design Tools for Application Specific Embedded Processors. 319-333
  Electronic Edition (Springer LINK) BibTeX
• Jakob Engblom, Bengt Jonsson:
  Processor Pipelines and Their Properties for Static WCET Analysis. 334-348
  Electronic Edition (Springer LINK) BibTeX
• Henrik Theiling:
  ILP-Based Interprocedural Path Analysis. 349-363
  Electronic Edition (Springer LINK) BibTeX
• Joseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary:
  Enhancing Compiler Techniques for Memory Energy Optimizations. 364-381
  Electronic Edition (Springer LINK) BibTeX
• Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery:
  FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. 382-398
  Electronic Edition (Springer LINK) BibTeX
• Bran Selic:
  Physical Programming: Beyond Mere Logic. 399-406
  Electronic Edition (Springer LINK) BibTeX
• Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe:
  Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. 407-416
  Electronic Edition (Springer LINK) BibTeX