*banner
 
Margin Top
Margin Bottom

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.

NSF Second Year ITR Site Visit
NSF CCR-0225610
Foundations of Hybrid and Embedded Software Systems

UC Berkeley - Center for Hybrid and Embedded Software Systems (CHESS) and
Vanderbilt University - Institute for Software Integrated Systems (ISIS)
University of Memphis - Mathematical Sciences Institute (MSI)
November 18-19,2004
Room 540, Cory Hall

Presentions

  • 8:30 - 9:00 Overview of Project PDF PPT
    S. Sastry (UC Berkeley)
  • 9:00 - 9:15 Comments from last review and response PDF PPT
    Alberto Sangiovanni-Vincentelli (UC Berkeley)

9:15 - 12:00 Research: Thrust Overviews

  • 9:15 - 9:45 Hybrid Systems Theory PDF PPT
    Tom Henzinger
  • 9:45 - 10:15 Model Based Design PDF PPT
    Janos Sztipanovits (Vanderbilt)
  • 10:30 - 11:00 Advanced Tool Architectures PDF PPT
    Edward A. Lee (UC Berkeley)
  • 11:00 - 11:30 Experimental Research PDF PPT MPEG
    Alberto Sangiovanni-Vincentelli (UC Berkeley)

11:50 - 12:30 Research: Student Highlight Talks

  • 11:50 - 12:10 Semantics of Hybrid Systems PDF PPT
    Roberto Passerone (Cadence Berkeley Lab and UC Berkeley)
  • 12:10 - 12:30 New Directions in Hybrid Systems Theory PDF
    Aaron Ames (UC Berkeley)
  • 1:30 - 1:50 Timed Languages for Embedded Software PDF PPT
    Ethan Jackson
  • 1:50 - 2:10 Formal Models for Embedded Software Interfaces and Verification PDF PPT
    Ranjit Jhala

2:45 - 3:45 Poster Session (organized by research thrust)

Hybrid System Theory Advanced Tool Architecture Experimental Research Model-based Design Educational and Outreach programs

3:45 - 4:45 Educational and Outreach Programs

  • 3:45 - 4:05 Outreach PDF PPT
    Jonathan Sprinkle
  • 4:05 - 4:25 Course Development PDF PPT
    Edward Lee
  • 4:25 - 4:45 Industrial Collaboration PDF PPT
    Alberto Sangiovanni-Vincentelli
©2002-2018 Chess