8.00-9.00 – Registration
9.00-9.15 – Opening
9.15-10.15 – Keynote: Engineering Robust Software through Stochastic Model Synthesis – Prof. Radu Calinescu
10.15-10.40 – Coffee break
10.40-11.40 – Morning Session
- Towards a formal approach to analysing security of safety-critical systems
Inna Vistbakka and Elena Troubitsyna - Analyzing the Security of Shared Information in Social Networks
Bogdan Aman and Gabriel Ciobanu
11.40-12.00 – Discussion
12.00-14.00 – Lunch
14.00-15.30 – Afternoon Session
- A Proactive Q-Learning Approach for Autoscaling Heterogeneous Cloud Servers
Federico Lombardi - Formal Verification for Feature-based Composition of Workflows
Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov and Anton Setzer - A Context-Aware, Confidence-Disclosing and Fail-Operational Dynamic Risk Assessment Architecture
Patrik Feth, Rasmus Adler and Daniel Schneider
15.30-16.00 – Discussion
16.00-16.30 – Coffee break
16.30-17.30 – Group discussion
17.30 – Closing