Program

Keynote: 10 years of Software Engineering for Resilient Systems

Invited Speaker: TBA

Panel: Software Engineering for Resilient Systems: what is next?

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

Towards a formal approach to analysing security of safety-critical systems
Inna Vistbakka and Elena Troubitsyna

A Context-Aware, Confidence-Disclosing and Fail-Operational Dynamic Risk Assessment Architecture
Patrik Feth, Rasmus Adler and Daniel Schneider

Analyzing the Security of Shared Information in Social Networks
Bogdan Aman and Gabriel Ciobanu