Embedded Software

Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

  • Alberto Sangiovanni-Vincentelli
  • Joseph Sifakis
Conference proceedings EMSOFT 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2491)

Table of contents

  1. Front Matter
    Pages I-IX
  2. T. John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto Sangiovanni-Vincentelli, Shankar Sastry
    Pages 32-45
  3. Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
    Pages 46-60
  4. Christoph M. Kirsch
    Pages 61-75
  5. Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
    Pages 76-92
  6. Gregor Gössler, Alberto Sangiovanni-Vincentelli
    Pages 93-107
  7. Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Pages 108-122
  8. Giorgio C. Buttazzo
    Pages 153-165
  9. Aloysius K. Mok, Alex Xiang Feng
    Pages 182-196
  10. Bertrand Delsart, Vania Joloboff, Eric Paire
    Pages 197-212
  11. Tobias Ritzau, Peter Fritzson
    Pages 213-226
  12. Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine
    Pages 227-239
  13. Nicolas Halbwachs, Siwar Baghdadi
    Pages 240-251
  14. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean -Pierre Talpin, Stavros Tripakis
    Pages 252-265

About these proceedings

Keywords

Embedded systems Middleware communication protocols embedded control embedded software formal methods formal verification modeling operating system reactive systems real-time systems validation systems integration

Editors and affiliations

  • Alberto Sangiovanni-Vincentelli
    • 1
  • Joseph Sifakis
    • 2
  1. 1.Department of EECSUniversity of California at BerkeleyBerkeleyUSA
  2. 2.Verimag, Centre EquationGieresFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45828-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44307-0
  • Online ISBN 978-3-540-45828-9
  • Series Print ISSN 0302-9743
  • About this book