2005 Ptolemy Project Presentations
NOTE: Presentations are provided in both PDF and Powerpoint formats for convenience. Providing Powerpoint files makes it very easy and tempting to "borrow" the material. However, these presentations are owned by the author. Please do not use this material without permission from the author.
- Building Unreliable Systems out of Reliable Components: The Real Time Story (Powerpoint presentation)
- Edward A. Lee, November 17, 2005, Shannon Lecture, IEEE-Computer Society, Silicon Valley Chapter, Stanford University, CA.
- Building Unreliable Systems out of Reliable Components: The Real Time Story (Powerpoint presentation)
- Edward A. Lee, September 23-25, Monterey Workshop Series, Laguna Beach, CA.
- Causality Interfaces and Compositional Causality Analysis
- Edward A. Lee, Haiyang Zheng, Ye Zhou, August 21, 2005, Foundations of Interface Technologies (FIT), Satellite to CONCUR 2005, San Francisco, California, USA.
- Discrete-Event Systems: Generalizing Metric Spaces and Fixed-Point Semantics (Powerpoint presentation)
- Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis and Haiyang Zheng, April 11, 2005, Center for Hybrid and Embedded Software Systems (CHESS) Review, Berkeley, California.
- The Operational Semantics of Hybrid Systems (Powerpoint presentation)
- Edward A. Lee, March 9, 2005, Invited Plenary Talk, Hybrid Systems, Computation and Control (HSCC), Zurich, Switzerland.
- Embedded Software: Building the Foundations (Powerpoint presentation)
- Edward A. Lee, February 10, 2005, BEARS Conference, Berkeley EECS Annual Research Symposium, Berkeley, CA.
- Concurrent Computational Systems (Powerpoint presentation)
- Edward A. Lee, January 13, 2005, Distinguished Lecture Series, University of Arizona, Tucson, AZ.