3. EMSOFT 2003: Philadelphia, PA, USA

@proceedings{DBLP:conf/emsoft/2003,
  editor    = {Rajeev Alur and
               Insup Lee},
  title     = {Embedded Software, Third International Conference, EMSOFT 2003,
               Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
  booktitle = {EMSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2855},
  year      = {2003},
  isbn      = {3-540-20223-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Contributions

• Alan Burns, Guillem Bernat, Ian Broster:
  A Probabilistic Framework for Schedulability Analysis. 1-15
  Electronic Edition (link) BibTeX
• Kim Guldstrand Larsen:
  Resource-Efficient Scheduling for Real Time Systems. 16-19
  Electronic Edition (link) BibTeX
• Joseph P. Loyall:
  Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems. 20-34
  Electronic Edition (link) BibTeX

Regular Papers

• Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
  Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. 35-50
  Electronic Edition (link) BibTeX
• Herbert Bos, Bart Samwel:
  HOKES/POKES: Light-Weight Resource Sharing. 51-66
  Electronic Edition (link) BibTeX
• Giorgio C. Buttazzo:
  Rate Monotonic vs. EDF: Judgment Day. 67-83
  Electronic Edition (link) BibTeX
• Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis:
  Translating Discrete-Time Simulink to Lustre. 84-99
  Electronic Edition (link) BibTeX
• Noureddine Chabini, Wayne Wolf:
  Minimizing Variables' Lifetime in Loop-Intensive Applications. 100-116
  Electronic Edition (link) BibTeX
• Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
  Resource Interfaces. 117-133
  Electronic Edition (link) BibTeX
• Jean-Louis Colaço, Marc Pouzet:
  Clocks as First Class Abstract Types. 134-155
  Electronic Edition (link) BibTeX
• Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu:
  Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications. 156-172
  Electronic Edition (link) BibTeX
• Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff:
  Space Reductions for Model Checking Quasi-Cyclic Systems. 173-189
  Electronic Edition (link) BibTeX
• Janosch Fauster, Raimund Kirner, Peter P. Puschner:
  Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. 190-205
  Electronic Edition (link) BibTeX
• Alain Girault, Xavier Nicollin:
  Clock-Driven Automatic Distribution of Lustre Programs. 206-222
  Electronic Edition (link) BibTeX
• Patrice Godefroid:
  Reasoning about Abstract Open Systems with Generalized Module Checking. 223-240
  Electronic Edition (link) BibTeX
• Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
  Schedule-Carrying Code. 241-256
  Electronic Edition (link) BibTeX
• Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya:
  Energy-Efficient Multi-processor Implementation of Embedded Software. 257-273
  Electronic Edition (link) BibTeX
• Christos Kloukinas, Chaker Nakhli, Sergio Yovine:
  A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. 274-289
  Electronic Edition (link) BibTeX
• Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts:
  Constraint-Based Design-Space Exploration and Model Synthesis. 290-305
  Electronic Edition (link) BibTeX
• John Regehr, Alastair Reid, Kirk Webb:
  Eliminating Stack Overflow by Abstract Interpretation. 306-322
  Electronic Edition (link) BibTeX
• César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
  Event Correlation: Language and Semantics. 323-339
  Electronic Edition (link) BibTeX
• Walid Taha, Stephan Ellner, Hongwei Xi:
  Generating Heap-Bounded Programs in a Functional Setting. 340-355
  Electronic Edition (link) BibTeX
• Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
  Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. 356-372
  Electronic Edition (link) BibTeX