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