Preface

Keynotes

Science in the Cloud (Keynote)
Joe Hellerstein
(Google, USA)


@InProceedings{SEAMS13p1, author = {Joe Hellerstein}, title = {Science in the Cloud (Keynote)}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, }

A 10-Year Perspective on Software Engineering Self-Adaptive Systems (Keynote)
David Garlan
(CMU, USA)


@InProceedings{SEAMS13p12, author = {David Garlan}, title = {A 10-Year Perspective on Software Engineering Self-Adaptive Systems (Keynote)}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {12-11}, doi = {}, year = {2013}, }

Evaluation

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


@InProceedings{SEAMS13p23, author = {Danny Weyns and M. Usman Iftikhar and Joakim Söderlund}, title = {Do External Feedback Loops Improve the Design of Self-Adaptive Systems? A Controlled Experiment}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {23-22}, doi = {}, year = {2013}, }

Evolving an Adaptive Industrial Software System to Use Architecture-Based Self-Adaptation
Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl, and Rafael Ventura
(University of Coimbra, Portugal; University of Kent, UK; CMU, USA; Critical Software, Portugal)


@InProceedings{SEAMS13p33, author = {Javier Cámara and Pedro Correia and Rogério de Lemos and David Garlan and Pedro Gomes and Bradley Schmerl and Rafael Ventura}, title = {Evolving an Adaptive Industrial Software System to Use Architecture-Based Self-Adaptation}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {33-32}, doi = {}, year = {2013}, }

Requirements and Architectural Approaches to Adaptive Software Systems: A Comparative Study
Konstantinos Angelopoulos, Vítor E. Silva Souza, and João Pimentel
(University of Trento, Italy; UFES, Brazil; UFPE, Brazil)


@InProceedings{SEAMS13p43, author = {Konstantinos Angelopoulos and Vítor E. Silva Souza and João Pimentel}, title = {Requirements and Architectural Approaches to Adaptive Software Systems: A Comparative Study}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, }

Services

On Estimating Actuation Delays in Elastic Computing Systems
Alessio Gambi, Daniel Moldovan, Georgiana Copil, Hong-Linh Truong, and Schahram Dustdar
(TU Vienna, Austria; University of Lugano, Switzerland)


@InProceedings{SEAMS13p53, author = {Alessio Gambi and Daniel Moldovan and Georgiana Copil and Hong-Linh Truong and Schahram Dustdar}, title = {On Estimating Actuation Delays in Elastic Computing Systems}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {53-52}, doi = {}, year = {2013}, }

Self-Adaptive and Sensitivity-Aware QoS Modeling for the Cloud
Tao Chen and Rami Bahsoon
(University of Birmingham, UK)


@InProceedings{SEAMS13p63, author = {Tao Chen and Rami Bahsoon}, title = {Self-Adaptive and Sensitivity-Aware QoS Modeling for the Cloud}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {63-62}, doi = {}, year = {2013}, }

QoS-Aware Fully Decentralized Service Assembly
Vincenzo Grassi, Moreno Marzolla, and Raffaela Mirandola
(University of Rome Tor Vergata, Italy; University of Bologna, Italy; Politecnico di Milano, Italy)


@InProceedings{SEAMS13p73, author = {Vincenzo Grassi and Moreno Marzolla and Raffaela Mirandola}, title = {QoS-Aware Fully Decentralized Service Assembly}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {73-72}, doi = {}, year = {2013}, }

Learning and Updates

Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, and Christian Brenner
(Politecnico di Milano, Italy; University of Paderborn, Germany)


@InProceedings{SEAMS13p83, author = {Valerio Panzica La Manna and Joel Greenyer and Carlo Ghezzi and Christian Brenner}, title = {Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {83-82}, doi = {}, year = {2013}, }

Run-Time Adaptation of Mobile Applications using Genetic Algorithms
Gustavo G. Pascual, Mónica Pinto, and Lidia Fuentes
(University of Málaga, Spain)


@InProceedings{SEAMS13p93, author = {Gustavo G. Pascual and Mónica Pinto and Lidia Fuentes}, title = {Run-Time Adaptation of Mobile Applications using Genetic Algorithms}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {93-92}, doi = {}, year = {2013}, }

Guaranteeing Robustness in a Mobile Learning Application using Formally Verified MAPE Loops
Didac Gil de la Iglesia and Danny Weyns
(Linnaeus University, Sweden)


@InProceedings{SEAMS13p103, author = {Didac Gil de la Iglesia and Danny Weyns}, title = {Guaranteeing Robustness in a Mobile Learning Application using Formally Verified MAPE Loops}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {103-102}, doi = {}, year = {2013}, }

Case Studies and Decision-Making

Engineering Adaptation with Zanshin: An Experience Report
Genci Tallabaci and Vítor E. Silva Souza
(University of Trento, Italy; UFES, Brazil)


@InProceedings{SEAMS13p113, author = {Genci Tallabaci and Vítor E. Silva Souza}, title = {Engineering Adaptation with Zanshin: An Experience Report}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {113-112}, doi = {}, year = {2013}, }

Diagnosing Architectural Run-Time Failures
Paulo Casanova, David Garlan, Bradley Schmerl, and Rui Abreu
(CMU, USA; University of Porto, Portugal)


@InProceedings{SEAMS13p123, author = {Paulo Casanova and David Garlan and Bradley Schmerl and Rui Abreu}, title = {Diagnosing Architectural Run-Time Failures}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {123-122}, doi = {}, year = {2013}, }

Dynamic Decision Networks for Decision-Making in Self-Adaptive Systems: A Case Study
Nelly Bencomo, Amel Belaggoun, and Valerie Issarny
(INRIA, France)


@InProceedings{SEAMS13p133, author = {Nelly Bencomo and Amel Belaggoun and Valerie Issarny}, title = {Dynamic Decision Networks for Decision-Making in Self-Adaptive Systems: A Case Study}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {133-132}, doi = {}, year = {2013}, }

Qualities

Self-Adaptive Containers: Building Resource-Efficient Applications with Low Programmer Overhead
Wei-Chih Huang and William J. Knottenbelt
(Imperial College London, UK)


@InProceedings{SEAMS13p143, author = {Wei-Chih Huang and William J. Knottenbelt}, title = {Self-Adaptive Containers: Building Resource-Efficient Applications with Low Programmer Overhead}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {143-142}, doi = {}, year = {2013}, }

Synthesizing Self-Adaptive Connectors Meeting Functional and Performance Concerns
Antinisca Di Marco, Paola Inverardi, and Romina Spalazzese
(University of L'Aquila, Italy)


@InProceedings{SEAMS13p153, author = {Antinisca Di Marco and Paola Inverardi and Romina Spalazzese}, title = {Synthesizing Self-Adaptive Connectors Meeting Functional and Performance Concerns}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {153-152}, doi = {}, year = {2013}, }

High-Quality Specification of Self-Adaptive Software Systems
Markus Luckey and Gregor Engels
(University of Paderborn, Germany)


@InProceedings{SEAMS13p163, author = {Markus Luckey and Gregor Engels}, title = {High-Quality Specification of Self-Adaptive Software Systems}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {163-162}, doi = {}, year = {2013}, }

Evolution

Improving Context-Awareness in Self-Adaptation using the DYNAMICO Reference Model
Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Laurence Duchien, and Lionel Seinturier
(Icesi University, Colombia; University of Victoria, Canada; INRIA, France; University of Lille, France)


@InProceedings{SEAMS13p173, author = {Gabriel Tamura and Norha M. Villegas and Hausi A. Müller and Laurence Duchien and Lionel Seinturier}, title = {Improving Context-Awareness in Self-Adaptation using the DYNAMICO Reference Model}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {173-172}, doi = {}, year = {2013}, }

Law and Adaptivity in Requirements Engineering
Silvia Ingolfo and Vítor E. Silva Souza
(University of Trento, Italy; UFES, Brazil)


@InProceedings{SEAMS13p183, author = {Silvia Ingolfo and Vítor E. Silva Souza}, title = {Law and Adaptivity in Requirements Engineering}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {183-182}, doi = {}, year = {2013}, }

Towards Run-Time Testing of Dynamic Adaptive Systems
Erik M. Fredericks, Andres J. Ramirez, and Betty H. C. Cheng
(Michigan State University, USA)


@InProceedings{SEAMS13p189, author = {Erik M. Fredericks and Andres J. Ramirez and Betty H. C. Cheng}, title = {Towards Run-Time Testing of Dynamic Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {189-188}, doi = {}, year = {2013}, }

RPC Automation: Making Legacy Code Relevant
Andreas Bergen, Yağız Onat Yazır, Hausi A. Müller, and Yvonne Coady
(University of Victoria, Canada)


@InProceedings{SEAMS13p195, author = {Andreas Bergen and Yağız Onat Yazır and Hausi A. Müller and Yvonne Coady}, title = {RPC Automation: Making Legacy Code Relevant}, booktitle = {Proc.\ SEAMS}, publisher = {IEEE}, pages = {195-194}, doi = {}, year = {2013}, }

proc time: 0.05