| 09:00 | Welcome
Mugur Tatar |
| 09:20 | Opening Session
Rüdiger Klein |
| 09:40 | AutoSteve: Automated Electrical Design Analysis
Chris Price |
| 10:10 | Generating Fault Trees from Mixed Quantitative and Qualitative Electrical
Device Models
Heiko Milde, Lothar Hotz |
| 10:40 | Coffee break |
| 11:00 | System Design for Reusability – Task, Current State, and Future Research
Hauke Arndt , Frank Feldkamp, Michael Heinrich, Klaus Dieter Meyer-Gramann |
| 11:30 | Using Search in Knowledge Based Engineering
Andreas Junghanns, Rüdiger Klein |
| 12:00 | Applying a generic constraint solving technique to engineering design
Hiroyuki Sawada, Xiu-Tian Yan |
| 12:30 | Design as a Problem of Requirements Explication
Martin Dzbor |
| 12:50 | Lunch |
| 13:50 | Model-based Diagnosis and Manufacturing Control
Martin Ilkerl, Markus Stumptner, Franz Wotawa |
| 14:20 | Towards Model-based Engineering: Failure Analysis with MDS
Jakob Mauss, Volker May, Mugur Tatar |
| 14:50 | Knowledge Engineering in Software Product Lines
Michael Schlick, Andreas Hein |
| 15:10 | Coffee break |
| 15:30 | An Environment and Language for Industrial Use of Model-based Diagnosis
Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, M. Stumptner, F. Wotawa |
| 16:00 | Knowledge Models in Engineering Design
Michael Valášek, Zdenek Zdráhal |
| 16:30 | Break |
| 16:40 | Summary |
| 16:55 | Tool presentation session |