Tuesday, September, 8th
9:15-10:30 Paola Inverardi, University of L’Aquila, IT (Keynote). Automated Integration of Service-oriented Software Systems
10:30-11:00 Coffee break
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
12:30-14:00 Lunch
14:00-15:00 Davide Bresolin, Alma Mater University of Bologna, IT (Keynote). Formal Methods for Cyber-Physical Systems
15:00-15:30 Kento Ogawa, Hiroyuki Nakagawa and Tatsuhiro Tsuchiya. 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 Maurice H. Ter Beek, Stefania Gnesi, Diego Latella and Mieke Massink. Towards Automatic Decision Support for Bike-Sharing System Design
16:30-17:00 Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert Brayton and Alan Mishchenko. Automated Synthesis of Protocol Converters with BALM-II
17:00-17:30 Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti and Mieke Massink. 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