Program
Chess Review - May 8th, 2003

• 9:00 - Welcome PDF PPT
  S. Sastry (UC Berkeley)
• 9:10 - One Year of Chess PDF PPT
  T. Henzinger (UC Berkeley)

Session 1:

• 9:30 - Softwalls: Preventing Aircraft from Entering Unauthorized Airspace PDF PPT
  A. Cataldo (UC Berkeley), E. Lee, I. Mitchell, and S. Sastry
• 9:50 - MESCAL: Design Support for Embedded Processors and Applications, PDF PPT
  A. Mihal (UC Berkeley) and the MESCAL Team
• 10:10 - Design of Safety-critical Distributed Applications, PDF PPT
  C. Pinello (UC Berkeley) and A. Sangiovanni-Vincentelli

10:30 - Coffee Break

Session 2:

• 11:00 - Models for Design Exploration, PDF PPT
  R. Passerone (UC Berkeley) and the Metropolis Team
• 11:20 - Modeling and Generation for Model Transformations, PDF PPT
  J. Sprinkle (Vanderbilt University)
• 11:40 - Stochastic Hyrid Systems, PDF PPT
  I. Mitchell (UC Berkeley), J. Hu, and S. Sastry
• 12:00 - Discounting the Future in Systems Theory, PDF PPT
  R. Majumdar (UC Berkeley), L. de Alfaro, and T. Henzinger

12:20 - Lunch and Poster Session

Session 3:

• 2:00 - Model Checking Systems Software, PDF PPT
  R. Jhala (UC Berkeley), R. Majumdar, G. Sutre, and T. Henzinger
• 2:20 - Debugging Temporal Specifications with Concept Analysis
  R. Bodik (UC Berkeley), G. Ammons, D. Mandelin, and J. Larus: PDF PPT
• 2:40 - Compiler Support for Multithreaded Software, PDF PPT
  J. Condit (UC Berkeley), R. von Behren, F. Zhou, E. Brewer, and G. Necula
• 3:00 - Models of Directed Scale-free Graphs, B. Bollobas (University of Memphis)

3:20 - Coffee Break

Session 4:

• 3:50 - Embedded Systems in the Automotive Industry, PDF PPT
  A. Girard (UC Berkeley) and K. Hedrick
• 4:10 - Estimations in Lossy Networks, PDF PPT
  B. Sinopoli (UC Berkeley), M. Franceschetti, and S. Sastry
• 4:30 - Design Issues in Networked Embedded Systems, A. Ledezki (Vanderbilt University)
• 4:50 - Simulation to Implementation: Hardware in the Loop Simulationa and Code Generation, PDF PPT
  S. Neuendorffer (UC Berkeley) and E. Lee

5:10 - Reception