Programme

Welcome

9-10.30 - Session A - Keynote

* RV: A Runtime Verification Framework for Monitoring, Prediction and Mining - Grigore Rosu (University of Illinois at Urbana-Champaign)[SLIDES]

11-12.30 - Session B - Run-time Assurances

* When the Requirements for Adaptation and High Integrity Meet - Radu Calinescu [SLIDES]

* Model checking Requirements at run-time in Adaptive systems - Marco Mori and Paola Inverardi [SLIDES]

* Robust-and-evolvable Resilient Software Systems -- Open Problems and Lessons Learned - Vincenzo De Florio [SLIDES]

14-15.30 - Session C - Failure Analysis

* Towards Accurate Failure Prediction for the Proactive Adaptation of Service-oriented Systems - Andreas Metzger [SLIDES]

* Using Feature Locality: Can We Leverage History to Avoid Failures During Reconfiguration? Brady Garvin, Myra Cohen, and Matthew Dwyer [SLIDES]

* Component-based Timed Hazard Analysis of Self-healing Systems - Claudia Priesterjahn, Dominik Steenken, and Matthias Tichy [SLIDES]

16-17.30 - Session D - Discussion

* Leveraging assurances by merging development-time and run-time evidence [ADDITIONAL MATERIAL]

Wrap-up