08:30-08:45
| Registration
|
08:45-09:00
| Opening and Welcome
|
09:00-10:30
| Technical Session 1 (Chair: Danilo Ardagna)
|
10:30-11:00
| Coffee Break
|
11:00-12:30
| Technical Session 2 (Chair: Giuliano Casale)
|
12:30-13:30
| Lunch Break
|
13:30-15:30
| Technical Session 3 (Chair: Andreas Brunnert)
- DevOps Meets Formal Modelling in High-Criticality Complex Systems
Marta Olszewska and Marina Waldén (Abo Akademi University, Finland)
- A Proactive Approach for Runtime Self-Adaptation Based on Queueing Network Fluid Analysis
Emilio Incerto, Mirco Tribastone, and Catia Trubiani (Gran Sasso Science Institute, Italy; IMT Institute for Advanced Studies, Italy)
- SPACE4Cloud: A DevOps Environment for Multi-cloud Applications
Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, and Danilo Ardagna (Politecnico di Milano, Italy)
- Filling the Gap: A Tool to Automate Parameter Estimation for Software Performance Models
Weikun Wang, Juan F. Perez, and Giuliano Casale (Imperial College London, UK)
|
15:30-16:00
| Coffee Break
|
16:00-17:30
| Break-out Group Session
|
17:30-17:45
| Closing
|
19:00 - 22:00
| Dinner (self-paid, details will be announced on the day of the workshop)
|