Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

  • Marten Lohstroh
  • Patricia Derler
  • Marjan Sirjani

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10760)

Table of contents

  1. Front Matter
    Pages I-XXVII
  2. Alireza S. Abyaneh, Christoph M. Kirsch
    Pages 1-15
  3. Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
    Pages 38-60
  4. Shuvra S. Bhattacharyya, Johan Lilius
    Pages 88-105
  5. Janette Cardoso, Pierre Siron
    Pages 122-142
  6. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Pages 143-161
  7. Bruno Sinopoli, John A. W. B. Costanzo
    Pages 162-181
  8. Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
    Pages 182-205
  9. Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
    Pages 223-239
  10. Stephen A. Edwards
    Pages 240-253
  11. Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
    Pages 254-266
  12. Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar
    Pages 287-305
  13. Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
    Pages 360-382
  14. Martin Törngren, Ulf Sellgren
    Pages 478-503
  15. Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden
    Pages 504-523
  16. Back Matter
    Pages 539-539

About this book


This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.

The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics.

The Festschrift contains 29 papers that feature the broad range of Edward A. Lee’s research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design.


artificial intelligence computer architecture cyber physical systems (cpss) embedded systems program compilers programming languages semantics software engineering software evaluation specifications

Editors and affiliations

  • Marten Lohstroh
    • 1
  • Patricia Derler
    • 2
  • Marjan Sirjani
    • 3
  1. 1.University of California, BerkeleyBerkeleyUSA
  2. 2.National InstrumentsBerkeleyUSA
  3. 3.Mälardalen University, Västerås, SwedenReykjavík UniversityReykjavikIceland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-95245-1
  • Online ISBN 978-3-319-95246-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences