| October 11th, 2009 Grenoble, France, within ESWeek 2009 | organised and funded by ARTIST |
| Name | Lecture Title | ||
| Prof. Manfred Broy TU München |
Mandatory Properties of Component Concepts abstract - slides | ||
| Prof. Tom Henzinger IST Austria |
Modeling, Analysis, and Synthesis for Quantitative System Requirements abstract - slides | ||
| Prof. Lothar Thiele ETH Zurich |
Combining State-Based and Analytic Component Models abstract - slides | ||
| Prof. Joseph Sifakis Verimag Laboratory |
Correct-by-construction Distributed Implementations for BIP abstract - slides | ||
| Prof. Janos Sztipanovits Vanderbilt University |
Composition in Heterogeneous Systems abstract - slides | ||
| Prof. Albert Benveniste INRIA |
Contract Based System Design with Symbolic Synchronous Modal Specifications abstract - slides | ||
| Prof. Edward A. Lee UC Berkeley |
Ensuring Correct Composition of Components using Lattice-based Ontologies abstract - slides | ||
| Prof. Kim Larsen Aalborg University |
Playing Games with Timed Interfaces abstract - slides | ||
| Prof. Bengt Jonsson Uppsala University |
Generating Interface Models from Test Data abstract - slides | ||
| Prof. Rolf Ernst TU Braunschweig |
Composition of Interval and Probabilistic Timing Models abstract - slides |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009