SEAMS 2014 – Proceedings

9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014), June 2–3, 2014, Hyderabad, India

Frontmatter

Keynotes

Genetic Improvement for Adaptive Software Engineering (Keynote)
Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, and Fan Wu
(University College London, UK)
Article: seams14main-id100-p doi:

Search-Based and Data-Mining Approaches

Designing Search Based Adaptive Systems: A Quantitative Approach
Parisa Zoghi, Mark Shtern, and Marin Litoiu
(York University, Canada)
Article: seams14main-id98-p doi:

Towards Run-Time Adaptation of Test Cases for Self-Adaptive Systems in the Face of Uncertainty
Erik M. Fredericks, Byron DeVries, and Betty H. C. Cheng
(Michigan State University, USA)
Article: seams14main-id46-p doi:

Automated Mining of Software Component Interactions for Self-Adaptation
Eric Yuan, Naeem Esfahani, and Sam Malek
(George Mason University, USA)
Article: seams14main-id94-p doi:

Security, Goals, and Requirements

Requirements-Driven Mediation for Collaborative Security
Amel Bennaceur, Arosha K. Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu, and Bashar Nuseibeh
(Open University, UK; Wuhan Institute of Technology, China; Lero, Ireland)
Article: seams14main-id88-p doi:

Topology Aware Adaptive Security
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, and Bashar Nuseibeh
(Lero, Ireland; University of Limerick, Ireland; Politecnico di Milano, Italy; Open University, UK)
Article: seams14main-id90-p doi:

Self-Adaptive Applications: On the Development of Personalized Web-Tasking Systems
Lorena Castañeda, Norha M. Villegas, and Hausi A. Müller
(University of Victoria, Canada; Icesi University, Colombia; IBM, Canada)
Article: seams14main-id27-p doi:

Modelling and Analysing Contextual Failures for Dependability Requirements
Danilo F. Mendonça, Raian Ali, and Genaína N. Rodrigues
(University of Brasília, Brazil; Bournemouth University, UK)
Article: seams14main-id82-p doi:

Analysis and Diagnosis

User-Centric Adaptation of Multi-tenant Services: Preference-Based Analysis for Service Reconfiguration
Jesús García-Galán, Liliana Pasquale, Pablo Trinidad, and Antonio Ruiz-Cortés
(University of Seville, Spain; Lero, Ireland; University of Limerick, Ireland)
Article: seams14main-id28-p doi:

Diagnosing Unobserved Components in Self-Adaptive Systems
Paulo Casanova, David Garlan, Bradley Schmerl, and Rui Abreu
(Carnegie Mellon University, USA; University of Porto, Portugal)
Article: seams14main-id66-p doi:

Cloud Computing

Autonomic Resource Provisioning for Cloud-Based Software
Pooyan Jamshidi, Aakash Ahmad, and Claus Pahl
(Dublin City University, Ireland; Lero, Ireland)
Article: seams14main-id14-p doi:

A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds
Stefano Sebastio, Michele Amoretti, and Alberto Lluch Lafuente
(IMT Institute for Advanced Studies, Italy; University of Parma, Italy)
Article: seams14main-id30-p doi:

Verification

Efficient Runtime Quantitative Verification using Caching, Lookahead, and Nearly-Optimal Reconfiguration
Simos Gerasimou, Radu Calinescu, and Alec Banks
(University of York, UK; Dstl, UK)
Article: seams14main-id81-p doi:

ActivFORMS: Active Formal Models for Self-Adaptation
M. Usman Iftikhar and Danny Weyns
(Linnaeus University, Sweden)
Article: seams14main-id80-p doi:

Run-Time Generation, Transformation, and Verification of Access Control Models for Self-Protection
Christopher Bailey, Lionel Montrieux, Rogério de Lemos, Yijun Yu, and Michel Wermelinger
(University of Kent, UK; Open University, UK; University of Coimbra, Portugal)
Article: seams14main-id84-p doi:

Decision-Making

A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks
Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, and Jean-Marc Jézéquel
(IRISA, France; INRIA, France; University of Rennes 1, France; KIT, Germany)
Article: seams14main-id18-p doi:

Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation
Javier Cámara, Gabriel A. Moreno, and David Garlan
(Carnegie Mellon University, USA)
Article: seams14main-id87-p doi:

Dealing with Multiple Failures in Zanshin: A Control-Theoretic Approach
Konstantinos Angelopoulos, Vítor E. Silva Souza, and John Mylopoulos
(University of Trento, Italy; Federal University of Espírito Santo, Brazil)
Article: seams14main-id12-p doi: