Main
- Official department home page
- Information for members of my research group
- Position Papers
-
Time is a Resource, and Other Stories
-
Cyber-Physical Systems: Design Challenges
- The Problem with Threads
- Building Unreliable Systems out of Reliable Components: The Real Time Story
- Lectures Available On-Line
- Making Concurrency Mainstream, Microsoft Research
Redmond, WA, Jan. 12, 2007 (requires Internet Explorer).
- Embedded Software: Building the Foundations,
BEARS Conference, February 2005.
-
Building Unreliable Systems out of Reliable Components: The Real-Time Story, Shannon Lecture, Nov. 17, 2005, Palo Alto, CA
(requires free registration).
- Ptolemy II 5.0 (What is Ptolemy II?)
- Structure and Interpretation of Signals and Systems: Fall 2005 Class.
- Concurrent Models of Computation for Embedded Systems: Fall 2004 Class.
- The Ptolemy Project:
Research in model-based design.
- CHESS: Center
for Hybrid and Embedded Software Systems.
- Education and curriculum: Work
on modernizing EE and CS curricula.