2012 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
- Time for High-Confidence Distributed Embedded Systems
- Edward A. Lee, Invited keynote talk, IEEE Real-Time Systems Symposium (RTSS), San Juan, Puerto Rico, Dec. 4-7, 2012.
- Verifying Real-Time Software is Not Reasonable (Today)
- Edward A. Lee, Invited Plenary Talk, Haifa Verification Conference (HVC), Haifa, Israel, Nov. 6-8, 2012.
- Beyond Synchrony to Timed Systems, in honor of Paul Caspi
- Edward A. Lee, Invited Talk at EMSOFT, Special Session: An Overview Of The Career of Paul Caspi, Tampere, Finland, Oct.9, 2012.
- Introducing Embedded Systems: A Cyber-Physical Systems Approach
- Edward A. Lee, Education Keynote,CPS PI Meeting, National Harbor, Maryland, Oct. 5 , 2012.
- Time for High-Confidence Distributed Embedded Systems
- Edward A. Lee Invited Keynote Talk International IEEE Symposium on Precision Clock Synchronization for Meaurement, Control and Communication (ISPCS), Sept. 26, 2012.
- Equations, Synchrony, Time, and Modes
- Edward A. Lee Invited Talk at Workshop System Design meets Equation-based Languages: Workshop Program, Lunds, Sweden, Sept. 18-21, 2012.
- Time for High-Confidence Cyber-Physical Systems
- Edward A. Lee, Invited Plenary Talk, Performance Metrics for Intelligent Systems (PerMIS'12) Workshop, University of Maryland, CA, March 20-22, 2012.
- Precision Timed (PRET) Machines
- Edward A. Lee, BWRC Open House, Berkeley, CA, February 2012.
- The Challenges of Embedded System Design
- Edward A. Lee, Invited Talk, Xilinx Emerging Technology Symposium (ETS), San Jose, CA, February 1, 2012.
- Modeling, Simulation, and Design of Concurrent Real-Time Embedded Systems Using Ptolemy
- Edward A. Lee, Ptutorial, MODPROD, Workshop on Model-Based Product Development, Linkoping,Sweden, February 7, 2012.