Faculty Publications - Edward A. Lee

Books

Book chapters or sections

  • E. A. Lee and E. Matsikoudis, "The semantics of dataflow with firing," in From Semantics to Computer Science: Essays in Honour of Gilles Kahn, Y. Bertot, G. Huet, J. J. Levy, and G. Plotkin, Eds., Cambridge, UK: Cambridge University Press, 2009, ch. 4.
  • G. Zhou, M. Leung, and E. A. Lee, "A code generation framework for actor-oriented models with partial evaluation," in Embedded Software and Systems: Proc. 3rd Intl. Conf. (ICESS 2007), Y. Lee, H. Kim, J. Kim, Y. Park, L. T. Yang, and S. W. Kim, Eds., Lecture Notes in Computer Science, Vol. 4523, Berlin, Germany: Springer-Verlag, 2007, pp. 786-799.
  • A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble, "Composing different models of computation in Kepler and Ptolemy II," in Computational Science: Proc. 7th Intl. Conf. (ICCS 2007), Y. Shi, G. D. van Albada, J. Dongarra, and P. M. A. Sloot, Eds., Lecture Notes in Computer Science, Vol. 4489, Berlin, Germany: Springer-Verlag, 2007, pp. 182-190.
  • E. A. Lee and Y. Zhao, "Reinventing computing for real time," in Reliable Systems on Unreliable Networked Platforms: Proc. 12th Monterey Workshop (MW 2005). Revised Selected Papers, F. Kordon and J. Sztipanovits, Eds., Lecture Notes in Computer Science, Vol. 4322, Belin, Germany: Springer-Verlag, 2007, pp. 1-25.
  • E. A. Lee and H. Zheng, "HyVisual: A hybrid system modeling framework based on Ptolemy II," in Analysis and Design of Hybrid Systems 2006: Proc. 2nd IFAC Conf. (ADHS '06), C. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon, Eds., Kidlington, Oxford, UK: Elsevier, 2006, pp. 270-271.
  • E. A. Lee, "Concurrent semantics without the notions of state or state transitions (Invited Talk)," in Formal Modeling and Analysis of Timed Systems: Proc. 4th Intl. Conf. (FORMATS 2006), E. Asarin and P. Bouyer, Eds., Lecture Notes in Computer Science, Vol. 4202, Berlin, Germany: Springer-Verlag, 2006, pp. 18-31.
  • X. Liu, E. Matsikoudis, and E. A. Lee, "Modeling timed concurrent systems (Invited Contribution)," in 17th International Conference on Concurrency Theory (CONCUR 2006), C. Baier and H. Hermanns, Eds., Lecture Notes in Computer Science, Vol. 4137, Berlin, Germany: Springer-Verlag, 2006, pp. 1-15.
  • H. Zheng, E. A. Lee, and A. D. Ames, "Beyond Zeno: Get on with it!," in Hybrid Systems: Computation and Control--Proc. 9th Intl. Workshop (HSCC 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Germany: Springer-Verlag, 2006, pp. 568-582.
  • E. A. Lee and H. Zheng, "Operational semantics of hybrid systems (Invited Paper)," in Hybrid Systems: Compuation and Control--Proc. 8th Intl. Workshop (HCSS 2005), M. Morari, L. Thiele, and F. Rossi, Eds., Lecture Notes in Computer Science, Vol. 3414, Berlin, Germany: Springer-Verlag, 2005, pp. 25-53.

Articles in journals or magazines

Articles in conference proceedings

Conference proceedings (edited)

Technical Reports

Unpublished articles

Software

Patents

Ph.D. Theses

Masters Reports