*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 First Year Informal Review
ITR: 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)

ITR Large project (0225610)
Wednesday, December 3, 2003
8 AM-6 PM, Room 540, Cory Hall

Presentations
  • 8:30 - 8:50 Program Overview PDF PPT
    S. Sastry (UC Berkeley)
  • 8:50 - 9:05 Hybrid Systems Theory PDF PPT
    T. Henzinger (UC Berkeley)
  • 9:05 - 9:20 Model-based Design PDF PPT
    Janos Sztipanovits (Vanderbilt)
  • 9:20 - 9:35 Advanced Tool Architectures, PDF PPT
    Edward A. Lee (UC Berkeley)
  • 9:35 - 9:50 Experimental Research, PDF PPT
    Alberto Sangiovanni-Vincentelli
  • 10:20 - 11:00 Education: SUPERB,SIPHER,
    Sheila Humphreys (UC Berkeley) PDF PPT
    Edward Lee (UC Berkeley) PDF PPT
    Gabor Karsai (Vanderbilt) PDF PPT
In-depth Talks
  • 11:00 - 11:20 Toward a system theory of large scale networks, PDF PPT
    Massimo Franceschetti (UC Berkeley)
  • 11:20 - 11:40 Modeling and Simulation of Sensor Nets, PDF PPT
    Yang Zhao (UC Berkeley)
  • 11:40 - 12:00 Resource Interfaces, PDF PPT
    Arindam Chakrabarti (UC Berkeley)
12:20 - Lunch and Poster Session
  • 1:00 - 1:20 High Level Language Support for Exception Handling, PDF PPT
    George Necula (UC Berkeley)
  • 1:20 - 1:40 Design cost-sensitive safety-critical applications PDF PPT
    Claudio Pinello
  • 1:40 - 2:00 A meta-model based model transformation language , PDF PPT
    Gabor Karsai (Vanderbilt)
  • 2:00 - 2:20 Optimal Control Stability for Stochastic Hybrid Systems PDF PPT
    Alessandro Abate (UC Berkeley)
  • 2:50 - 3:10 Random geometric graphs, PDF
    Bela Bollobas, Mark Walters (Vanderbilt, Univ. of Memphis)
  • 3:10 - 3:30 Heterogeneous reactive Systems Modeling and Correct-by-Construction Deployment, PDF PPT
    Luca Carloni (UC Berkeley)
  • 3:30 - 3:50 Schedule-Carrying Code PDF PPT Slobadan Matic (UC Berkeley)
©2002-2018 Chess