The Community for Technology Leaders
2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2013)
San Francisco, CA, USA
May 20, 2013 to May 21, 2013
ISSN: 2157-2305
ISBN: 978-1-4799-0344-3
TABLE OF CONTENTS

[Front cover] (PDF)

pp. 1

[Title page] (PDF)

pp. 1-2

Contents (PDF)

pp. 1-2

Committees (PDF)

pp. v-vi

Do external feedback loops improve the design of self-adaptive systems? A controlled experiment (Abstract)

Danny Weyns , Department of Computer Science, Linnaeus University, Växjö, Sweden
M. Usman Iftikhar , Department of Computer Science, Linnaeus University, Växjö, Sweden
Joakim Soderlund , Department of Computer Science, Linnaeus University, Växjö, Sweden
pp. 3-12

Evolving an adaptive industrial software system to use architecture-based self-adaptation (Abstract)

Javier Camara , University of Coimbra, Portugal
Pedro Correia , University of Coimbra, Portugal
Rogerio de Lemos , University of Kent, UK
David Garlan , Carnegie Mellon University, USA
Pedro Gomes , Critical Software, Portugal
Bradley Schmerl , Carnegie Mellon University, USA
Rafael Ventura , University of Coimbra, Portugal
pp. 13-22

Requirements and architectural approaches to adaptive software systems: A comparative study (Abstract)

Konstantinos Angelopoulos , Department of Information Engineering and Computer Science, University of Trento, Italy
Vitor E. Silva Souza , Computer Science Department, Federal University of Espírito Santo (Ufes), Vitória, Brazil
Joao Pimentel , Centro de Informática, Universidade Federal de Pernambuco (UFPE), Recife, Brazil
pp. 23-32

On estimating actuation delays in elastic computing systems (Abstract)

Alessio Gambi , Distributed Systems Group, Vienna University of Technology, Austria
Daniel Moldovan , Distributed Systems Group, Vienna University of Technology, Austria
Georgiana Copil , Distributed Systems Group, Vienna University of Technology, Austria
Hong-Linh Truong , Distributed Systems Group, Vienna University of Technology, Austria
Schahram Dustdar , Distributed Systems Group, Vienna University of Technology, Austria
pp. 33-42

Self-adaptive and sensitivity-aware QoS modeling for the cloud (Abstract)

Tao Chen , School of Computer Science, University of Birmingham, Birmingham, UK. B15 2TT
Rami Bahsoon , School of Computer Science, University of Birmingham, Birmingham, UK. B15 2TT
pp. 43-52

QoS-aware fully decentralized service assembly (Abstract)

Vincenzo Grassi , Dip. di Ingegneria Civile e Ingegneria Informatica Università di Roma Tor Vergata, Italy
Moreno Marzolla , Dip. di Informatica-Scienza e Ingegneria Università di Bologna, Italy
Raffaela Mirandola , Dip. di Elettronica e Informazione Politecnico di Milano, Italy
pp. 53-62

Formalizing correctness criteria of dynamic updates derived from specification changes (Abstract)

Valerio Panzica La Manna , Dependable Evolvable Pervasive Software Engineering (DEEPSE) Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42, 20133 Milano, Italy
Joel Greenyer , Dependable Evolvable Pervasive Software Engineering (DEEPSE) Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42, 20133 Milano, Italy
Carlo Ghezzi , Dependable Evolvable Pervasive Software Engineering (DEEPSE) Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42, 20133 Milano, Italy
Christian Brenner , Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Zukunftsmeile 1, 33102 Paderborn, Germany
pp. 63-72

Run-time adaptation of mobile applications using genetic algorithms (Abstract)

Gustavo G. Pascual , University of Málaga, CAOSD Group, Málaga, Spain
Monica Pinto , University of Málaga, CAOSD Group, Málaga, Spain
Lidia Fuentes , University of Málaga, CAOSD Group, Málaga, Spain
pp. 73-82

Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops (Abstract)

Didac Gil de la Iglesia , Linnaeus University, Växjö, Sweden
Danny Weyns , Linnaeus University, Växjö, Sweden
pp. 83-92

Engineering adaptation with Zanshin: An experience report (Abstract)

Genci Tallabaci , Department of Information Engineering and Computer Science, University of Trento, Italy
Vitor E. Silva Souza , Computer Science Department, Federal University of Espírito Santo (Ufes), Brazil
pp. 93-102

Diagnosing architectural run-time failures (Abstract)

Paulo Casanova , School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA
David Garlan , School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA
Bradley Schmerl , School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA
Rui Abreu , Department of Informatics Engineering Faculty of Engineering of University of Porto Porto, Portugal
pp. 103-112

Dynamic decision networks for decision-making in self-adaptive systems: A case study (Abstract)

Nelly Bencomo , Inria Paris - Rocquencourt, 78153 Le Chesnay, France
Amel Belaggoun , Inria Paris - Rocquencourt, 78153 Le Chesnay, France
Valerie Issarny , Inria Paris - Rocquencourt, 78153 Le Chesnay, France
pp. 113-122

Self-adaptive containers: Building resource-efficient applications with low programmer overhead (Abstract)

Wei-Chih Huang , Department of Computing, Imperial College London, South Kensington Campus, London, SW7 2AZ, United Kingdom
William J. Knottenbelt , Department of Computing, Imperial College London, South Kensington Campus, London, SW7 2AZ, United Kingdom
pp. 123-132

Synthesizing self-adaptive connectors meeting functional and performance concerns (Abstract)

Antinisca Di Marco , Università degli Studi dell'Aquila Via Vetoio, 67100 L'Aquila, Italy
Paola Inverardi , Università degli Studi dell'Aquila Via Vetoio, 67100 L'Aquila, Italy
Romina Spalazzese , Università degli Studi dell'Aquila Via Vetoio, 67100 L'Aquila, Italy
pp. 133-142

High-quality specification of self-adaptive software systems (Abstract)

Markus Luckey , University of Paderborn, Germany
Gregor Engels , University of Paderborn, Germany
pp. 143-152

Improving context-awareness in self-adaptation using the DYNAMICO reference model (Abstract)

Gabriel Tamura , Department of Information and Communications Technologies, Icesi University, Cali, Colombia
Norha M. Villegas , Department of Information and Communications Technologies, Icesi University, Cali, Colombia
Hausi A. Muller , Department of Computer Science, University of Victoria, Victoria, Canada
Laurence Duchien , INRIA Lille-Nord Europe - LIFL - University of Lille 1, Lille, France
Lionel Seinturier , INRIA Lille-Nord Europe - LIFL - University of Lille 1, Lille, France
pp. 153-162

Law and adaptivity in requirements engineering (Abstract)

Silvia Ingolfo , Department of Information Engineering and Computer Science, University of Trento, Italy
Vitor E. Silva Souza , Computer Science Department, Federal University of Espírito Santo (Ufes), Brazil
pp. 163-168

Towards run-time testing of dynamic adaptive systems (Abstract)

Erik M. Fredericks , Michigan State University, East Lansing, MI, 48823, USA
Andres J. Ramirez , Michigan State University, East Lansing, MI, 48823, USA
Betty H. C. Cheng , Michigan State University, East Lansing, MI, 48823, USA
pp. 169-174

RPC automation: Making legacy code relevant (Abstract)

Andreas Bergen , Department of Computer Science, University of Victoria, Canada
Yagiz Onat Yazir , Department of Computer Science, University of Victoria, Canada
Hausi A. Muller , Department of Computer Science, University of Victoria, Canada
Yvonne Coady , Department of Computer Science, University of Victoria, Canada
pp. 175-180
83 ms
(Ver 3.3 (11022016))