|
|
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
-
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
-
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)
-
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)
|
|
