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.

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

©2002-2018 Chess