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

About these proceedings

Keywords

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 https://doi.org/10.1007/3-540-45449-7
  • 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace