Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
WFCD - Foundations and Applications of Component-based Design 2009
| October 11th, 2009 Grenoble, France, within ESWeek 2009 | organised and funded by ARTIST |
Original programme
Invited Speakers
| 8:50 |
Joseph Sifakis |
Welcome, Objectives of the Workshop | |
| 9:00 | Prof. Manfred Broy TU München |
Mandatory Properties of Component Concepts abstract - slides | |
| 9:40 | Prof. Tom Henzinger IST Austria |
Modeling, Analysis, and Synthesis for Quantitative System Requirements abstract - slides | |
| 10:20 | break | ||
| 10:40 | Prof. Lothar Thiele ETH Zurich |
Combining State-Based and Analytic Component Models abstract - slides | |
| 11:20 | Prof. Joseph Sifakis Verimag Laboratory |
Correct-by-construction Distributed Implementations for BIP abstract - slides | |
| 12:00 | lunch | ||
| 13:40 | Prof. Janos Sztipanovits Vanderbilt University |
Composition in Heterogeneous Systems abstract - slides | |
| 14:20 | Prof. Albert Benveniste INRIA |
Contract Based System Design with Symbolic Synchronous Modal Specifications abstract - slides | |
| 15:00 | Prof. Edward A. Lee UC Berkeley |
Ensuring Correct Composition of Components using Lattice-based Ontologies abstract - slides | |
| 15:40 | break | ||
| 16:00 | Prof. Kim Larsen Aalborg University |
Playing Games with Timed Interfaces abstract - slides | |
| 16:40 | Prof. Bengt Jonsson Uppsala University |
Generating Interface Models from Test Data abstract - slides | |
| 17:20 | Prof. Rolf Ernst TU Braunschweig |
Composition of Interval and Probabilistic Timing Models abstract - slides | |
| 18:00 | Closing |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009