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
  15. Paul Caspi, Albert Benveniste
    Pages 294-304
  16. Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher
    Pages 305-318
  17. Wei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David August et al.
    Pages 319-333
  18. Jakob Engblom, Bengt Jonsson
    Pages 334-348
  19. Henrik Theiling
    Pages 349-363
  20. Joseph Zambreno, Mahmut Taylan Kandemir, Alok Choudhary
    Pages 364-381
  21. Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard et al.
    Pages 382-398
  22. Bran Selic
    Pages 399-406
  23. F. Balarin, L. Lavagno, C. Passerone, Y. Watanabe
    Pages 407-421
  24. Back Matter
    Pages 423-423

About these proceedings


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
  • 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
  • Buy this book on publisher's site