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