| October 19th, 2008 Atlanta, Georgia (USA) | organised and funded by ARTIST |
| Name | Lecture Title | |
| Joseph Sifakis VERIMAG Laboratory chair |
Welcome | |
| Rolf Ernst TU Braunschweig |
Real-time Components in Organic Computing slides | |
| Lothar Thiele ETH Zurich |
Performance Analysis of Cyclic Dataflow Graphs slides | |
| Insup Lee University of Pennsylvania |
Compositional Schedulability Analysis slides | |
| George Pappas University of Pennsylvania | Compositional implementations of distributed controllers slides | |
| Stavros Tripakis Cadence Labs, Berkeley |
Modular Code Generation from Synchronous Block Diagrams slides | |
| Luca Carloni Columbia University |
Communication Synthesis and System-Level Design Exploration slides | |
| Alberto Sangiovanni UC Berkeley, PARADES |
Metro II: a design framework based on composition of heterogeneous models and its application to automotive design slides | |
| Jean-Baptiste Raclet INRIA |
Why modalities are good for Interface Theories slides | |
| Tom Henzinger EPF Lausanne |
Designing Predictable and Robust Systems slides | |
| Edward Lee UC Berkeley |
Component Architectures for Time-Sensitive Systems slides | |
| Janos Sztipanovits Vanderbilt University |
Decoupling among Design Concerns slides | |
| Joseph Sifakis VERIMAG Laboratory |
A Notion of Expressiveness for Component-Based Systems slides | |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009