Embedded Software

First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

  • Thomas A. Henzinger
  • Christoph M. Kirsch
Conference proceedings EMSOFT 2001

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Perry Alexander, Cindy Kong
    Pages 1-13
  3. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivančić et al.
    Pages 14-31
  4. Manfred Broy, Oscar Slotosch
    Pages 51-65
  5. Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang
    Pages 66-79
  6. Patrick Cousot, Radhia Cousot
    Pages 97-113
  7. David E. Culler, Jason Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo
    Pages 114-130
  8. Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron K. Cytron, Krishna M. Kavi
    Pages 131-147
  9. Luca de Alfaro, Thomas A. Henzinger
    Pages 148-165
  10. Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
    Pages 166-184
  11. Walid Taha, Paul Hudak, Zhanyong Wan
    Pages 185-203
  12. Kevin Jeffay, Steve Goddard
    Pages 204-222
  13. Edward A. Lee, Yuhong Xiong
    Pages 237-253
  14. Krishna V. Palem, Surendranath Talla, Weng-Fai Wong
    Pages 257-273
  15. Wolfgang Pree, Alessandro Pasetti
    Pages 274-286
  16. Ragunathan (Raj) Rajkumar
    Pages 287-288
  17. William S. Beebee Jr., Martin Rinard
    Pages 289-305
  18. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
    Pages 324-343
  19. T. John Koo, Judy Liebman, Cedric Ma, S. Shankar Sastry
    Pages 344-360
  20. Janos Sztipanovits, Gabor Karsai
    Pages 403-415
  21. Lothar Thiele, Samarjit Chakraborty, Matthias Gries, Alexander Maxiaguine, Jonas Greutert
    Pages 416-434
  22. Tunc Simsek, Pravin Varaiya
    Pages 435-450
  23. Pam Binns, Steve Vestal
    Pages 451-468
  24. Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling et al.
    Pages 469-485
  25. Niklaus Wirth
    Pages 486-492
  26. Wayne Wolf
    Pages 493-502
  27. Back Matter
    Pages 503-504

About these proceedings


Java computer computer science design functional programming programming real-time structured analysis verification

Editors and affiliations

  • Thomas A. Henzinger
    • 1
  • Christoph M. Kirsch
    • 1
  1. 1.Department of Electrical Engineering and Computer SciencesUniversity of California at BerkeleyBerkeleyUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42673-8
  • Online ISBN 978-3-540-45449-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment