| Lecturer | Title | ||
| Mon June 16 |
|||
| 08.00-09.00 | breakfast | ||
| 09.15-09.30 | opening of SFM-14:ESM | ||
| 09.30-12.30 | Reiner Hähnle
TU Darmstadt DE |
Design and Analysis of Executable Software Models: An Introduction and Overview |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Dave Clarke
KU Leuven BE |
Variability Models | |
| Tue June 17 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Cosimo Laneve
U Bologna IT |
Deadlock Analysis of Concurrent Programs | |
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Erika Abraham
RWTH Aachen DE |
Probabilistic Modeling and Model Checking | |
| Wed June 18 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Josef Widder
TU Vienna AT |
Model Checking of Fault-Tolerant Distributed Algorithms | |
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Sophia Drossopoulou
IC London UK |
Reasoning about Recursive Predicates in Specifications | |
| Thu June 19 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Marieke Huisman
U Twente NL |
Verification of Concurrent Systems | |
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Frank de Boer
CWI Amsterdam NL |
Run-Time Assertion Checking and Monitoring Java Programs | |
| Fri June 20 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Elvira Albert
UC Madrid ES |
Test-Case Generation by Symbolic Execution | |
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Ina Schaefer
TU Braunschweig DE |
Model-Based Testing | |
| 18.00-18.15 | closing of SFM-14:ESM | ||