Program

FacebookTwitterGoogle+Share

Keynote 1 — 09:15-10:30
Paola Inverardi, University of L’Aquila, IT

 10:30-11:00
Coffee break

Session 1 — 11:00-12:30 
11:00-11:30
Luciano Baresi, Sam Guinea and Giovanni Quattrocchi. Distributed Coordinated Adaptation of Cloud-based Applications

11:30-12:00
Tommaso di Noia, Marina Mongiello and Umberto Straccia. Fuzzy Description Logics for component selection in software design

12:00-12:30
Alexander Perucci, Francesco Gallo and Amleto Di Salle. Towards Adapting Choreography-based Service Compositions Through Enterprise Integration Patterns

Lunch — 12:30-14:00

Keynote 2 — 14:10-15:00

Leo Freitas, Newcastle University, UK

Session 2 — 15:00-16:30
15:00-15:30
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities

15:30-16:00
coffee break

16:00-16:30
Towards Automatic Decision Support for Bike-Sharing System Design

Session 3 – 16:30-18:00
16:30-17:00
Automated Synthesis of Protocol Converters with BALM-II

17:00-17:30
An experimental spatio-temporal model checker

17:30-18:00
Amleto Di Salle, Francesco Gallo and Alexander Perucci. Dependable Composition of Software and Services in the Internet of Things: a Biological Approach