Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
Workshop on Foundations and Applications of Component-based Design (WFCD’2008)
| October 19th, 2008 Atlanta, Georgia (USA) | organised and funded by ARTIST |
Abstracts
| Name | Lecture Title | ||
| Joseph Sifakis VERIMAG Laboratory chair |
Welcome | ||
| Prof. Manfred Broy TU München |
Mandatory Properties of Component Concepts | ||
| Prof. Tom Henzinger IST Austria |
Modeling, Analysis, and Synthesis for Quantitative System Requirements | ||
| Prof. Lothar Thiele ETH Zurich |
|||
| Prof. Janos Sztipanovits Vanderbilt University |
|||
| tbd INRIA |
|||
| Prof. Edward A. Lee UC Berkeley |
Ensuring Correct Composition of Components using Lattice-based Ontologies | ||
| Prof. Kim Larsen Aalborg University |
|||
| Prof. Bengt Jonsson Uppsala University |
Generating Interface Models from Test Data | ||
| Prof. Rolf Ernst TU Braunschweig |
|||
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009