2008 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.

Ptolemy presentations may be found on the CHESS Presentations page

Disciplined Concurrent Models of Computation for Parallel Software (powerpoint presentation)
Edward A. Lee, Invited Keynote Talk, 2008 Summer Institute, The Concurrency Challenge: Can We Make Parallel Programming Popular?, August 3-7, 2008, Blaine, WA.
Balancing Expressiveness and Analyzability in Stream Formalisms (Powerpoint presentation)
Edward A. Lee, invited talk at a Workshop in conjunction with the 20th International Conference on Computer aided Verification (CAV 2008), Princeton, NJ, July 7-8, 2008.
Making Time Essential in Computation (Powerpoint presentation)
Edward A. Lee, Presented at the From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop, St. Louis, MO, April 21, 2008.
Teaching Embedded Systems to Berkeley Undergraduates: EECS 124 at Berkeley (Powerpoint presentation)
Sanjit A. Seshia, Edward A. Lee, Claire Tomlin, Presented at the From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop, St. Louis, MO, April 21, 2008.
Cyber-Physical Systems (Powerpoint poster)
Christopher Brooks, Edward A. Lee, Poster presented at the 2008 Berkeley EECS Annual Research Symposium, Berkeley, CA, February 21, 2008.
Specification and Formal Verification of Real Time Systems under Ptolemy II
Chihhong Cheng, Edward A. Lee, Poster presented at the 2008 Berkeley EECS Annual Research Symposium, Berkeley, CA, February 21, 2008.
Model Transformation for Systematic Development of Actor Models (Powerpoint poster)
Thomas Huining Feng, Edward A. Lee, Poster presented at the 2008 Berkeley EECS Annual Research Symposium, Berkeley, CA, February 21, 2008.