Program

Monday, 20 May 2013

09:00-09:10 Welcome from the Chairs (Marin Litoiu, John Mylopoulos)
09:10-10:30 Keynote 1 - (Chair: Marin Litoiu)
David Garlan - A 10-year Perspective on Software Engineering Self-Adaptive Systems
slides
10:30-11:00 Break
11:00-12:30 Session 1 - Evaluation (Chair: Hausi Muller)

Do External Feedback Loops Improve the Design of Self-Adaptive Systems? A Controlled Experiment
Danny Weyns, Usman Iftikhar and Joakim Söderlund.

Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation
Javier Cámara, Pedro Correia, Rogerio De Lemos, David Garlan, Pedro Gomes, Bradley Schmerl and Rafael Ventura.

Requirements and Architectural Approaches to Adaptive Software Systems: A Comparative Study
Konstantinos Angelopoulos, Vitor E. Silva Souza, João Pimentel.

12:30-14:00 Lunch
14:00-15:30 Session 2 - Qualities (Chair: Danny Weyns)

Self-Adaptive Containers: Building Resource-Efficient Applications with Low Programmer Overhead
Weichih Huang and William Knottenbelt.

Synthesizing Self-Adaptive Connectors meeting Functional and Performance Concerns
Antinisca Di Marco, Paola Inverardi and Romina Spalazzese.

High-Quality Specification of Self-Adaptive Software Systems
Markus Luckey and Gregor Engels.

15:30-16:00 Break
16:00-17:30 Session 3 - Learning and updates (Chair: Paola Inverardi)

Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi and Christian Brenner.

Run-time Adaptation of Mobile Applications using Genetic Algorithms
Gustavo G. Pascual, Mónica Pinto and Lidia Fuentes.

Guaranteeing Robustness in a Mobile Learning Application Using Formally Verified MAPE-K Loops
Didac Gil De La Iglesia and Danny Weyns.


   
19:00 Dinner - Buca di Peppe, 855 Howard St.

Google Maps link

Walking: Leave the Hyatt and proceed to Market St. Walk southwest along Market St. Take a cross street (2nd, 3rd, or 4th St.) to Howard St; continue southwest to Buca di Peppe, located on Howard between 4th and 5th St. It is a 20 minute (1.5 km) walk.

Transit: The Market Street Subway travels under Market St. Take the Muni (J, L, M, N, or K/T) or BART (red, yellow) trains from Metro Embarcadero Station beside the hotel to Metro Powell Station. Walk approximately 7 minutes down 4th or 5th St., heading southeast to Howard; Buca di Peppe is located on Howard St. between 4th and 5th St.



Tuesday, 21 May 2013

09:00-10:30 Keynote 2 - (Chair: John Mylopoulos)
Joe Hellerstein - Science in the Cloud
slides
10:30-11:00 Break
11:00-12:30 Session 4 - Case studies and decision-making (Chair: Luciano Baresi)

Engineering Adaptation with Zanshin: an Experience Report
Genci Tallabaci and Vitor E. Silva Souza.

Diagnosing architectural run-time failures
Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu.

Dynamic Decision Networks for Decision-making in Self-adaptive Systems : a Case Study
Nelly Bencomo, Amel Belaggoun and Valerie Issarny.

12:30-14:00 Lunch
14:00-15:30 Session 5 - Services (Chair: Nelly Bencomo)

On Estimating Actuation Delays in Elastic Computing Systems
Alessio Gambi, Daniel Moldovan, Georgiana Copil, Hong-Linh Truong and Schahram Dustdar.

Self-Adaptive and Sensitivity-Aware QoS Modeling for the Cloud
Tao Chen and Rami Bahsoon.

QoS-Aware Fully Decentralized Service Assembly
Vincenzo Grassi, Moreno Marzolla and Raffaela Mirandola.

15:30-16:00 Break
16:00-17:30 Session 6 - Evolution (Chair: Marsha Chechik)

Improving Context-Awareness in Self-Adaptation Using the DYNAMICO Reference Model
Gabriel Tamura, Norha M. Villegas, Hausi A. Muller, Laurence Duchien and Lionel Seinturier.

Law and Adaptivity in Requirements Engineering
Silvia Ingolfo and Vitor E. Silva Souza.

Towards Run-time Testing of Dynamic Adaptive Systems
Erik Fredericks, Andres Ramirez and Betty Cheng.

RPC Automation: Making Legacy Code Relevant
Andreas Bergen, Yağız Onat Yazır, Hausi Muller and Yvonne Coady.

17:30-17:40 Distinguished papers award and closing session