© 2018

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

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