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 |