List of Papers Accepted

• Parisa Zoghi, Mark Shtern and Marin Litoiu. Designing Search Based Adaptive Systems, a Quantitative Approach
• Erik M. Fredericks, Byron Devries and Betty H. C. Cheng. Towards Run-time Adaptation of Test Cases for Self-Adaptive Systems in the Face of Uncertainty
• Eric Yuan, Naeem Esfahani and Sam Malek. Automated Mining of Software Component Interactions for Self-Adaptation
• Danilo Mendonça, Raian Ali and Genaína Rodrigues. Modelling and Analysing Contextual Failures for Dependability Requirements
• Jesús García Galán, Liliana Pasquale, Pablo Trinidad and Antonio Ruiz-Cortés. User-centric Adaptation of Multi-tenant Services: Preference-based Analysis for Service Reconfiguration
• Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu. Diagnosing Unobserved Components in Self-Adaptive Systems
• Tao Chen and Rami Bahsoon. Symbiotic and Sensitivity-Aware Architecture for Globally-Optimal Benefit in Self-Adaptive Cloud
• Pooyan Jamshidi, Aakash Ahmad and Claus Pahl. Autonomic Resource Provisioning for Cloud-Based Software
• Stefano Sebastio, Michele Amoretti and Alberto Lluch Lafuente. A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds
• Simos Gerasimou, Radu Calinescu and Alec Banks. Efficient Runtime Quantitative Verification Using Caching, Lookahead and Nearly-Optimal Reconfiguration
• Muhammad Usman Iftikhar and Danny Weyns. ActivFORMS: Active Formal Models for Self-Adaptation
• Christopher Bailey, Lionel Montrieux, Rogerio De Lemos, Yijun Yu and Michel Wermelinger. Run-Time Generation, Transformation, and Verification of Access Control Models for Self-Protection
• Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, Jean-Marc Jézéquel. A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks
• Javier Cámara Moreno, Gabriel Moreno and David Garlan. Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation
• Konstantinos Angelopoulos, Vítor Silva Souza and John Mylopoulos. Dealing with Multiple Failures in Zanshin: A Control-Theoretic Approach

Short Papers

• Amel Bennaceur, Arosha Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu and Bashar Nuseibeh. Requirements-Driven Mediation for Collaborative Security
• Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos and Bashar Nuseibeh. Topology Aware Adaptive Security
• Lorena Castaneda, Norha M. Villegas and Hausi A. Muller. Self-Adaptive applications: on the development of Personalized Web-Tasking Systems