The Community for Technology Leaders
2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2012)
Zurich
June 4, 2012 to June 5, 2012
ISSN: 2157-2305
ISBN: 978-1-4673-1788-7
TABLE OF CONTENTS

Proactive adaptation of service composition (Abstract)

Rafael R. Aschoff , Department of Computing, City University London, London. UK
Andrea Zisman , Department of Computing, City University London, London. UK
pp. 1-10

Dynamic self-adaptation for distributed service-oriented transactions (PDF)

Hassan Gomaa , Department of Computer Science, George Mason University, Fairfax, VA 22030
Koji Hashimoto , Department of Computer Science, George Mason University, Fairfax, VA 22030
pp. 11-20

OSIRIS-SR: A Safety Ring for self-healing distributed composite service execution (PDF)

Nenad Stojnic , Department of Mathematics and Computer Science, University of Basel, Switzerland
Heiko Schuldt , Department of Mathematics and Computer Science, University of Basel, Switzerland
pp. 21-26

Traffic routing for evaluating self-adaptation (PDF)

Jochen Wuttke , University of Washington Seattle, WA, USA
Yuriy Brun , University of Washington Seattle, WA, USA
Alessandra Gorla , University of Lugano Lugano, Switzerland
Jonathan Ramaswamy , University of Washington Seattle, WA, USA
pp. 27-32

A systematic survey on the design of self-adaptive software systems using control engineering approaches (PDF)

Tharindu Patikirikorala , Swinburne University of Technology, Victoria, Australia
Alan Colman , Swinburne University of Technology, Victoria, Australia
Jun Han , Swinburne University of Technology, Victoria, Australia
Liuping Wang , Royal Melbourne Institute of Technology, Victoria, Australia
pp. 33-42

Reliability-driven dynamic binding via feedback control (PDF)

Antonio Filieri , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133 Milano, Italy
Carlo Ghezzi , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133 Milano, Italy
Alberto Leva , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133 Milano, Italy
Martina Maggio , Department of Automatic Control, Lund University, Ole Römers väg 1, 223 63, Lund, Sweden
pp. 43-52

Evaluation of resilience in self-adaptive systems using probabilistic model-checking (PDF)

Javier Camara , University of Coimbra, Portugal
Rogerio de Lemos , University of Kent, United Kingdom
pp. 53-62

Coordination of distributed systems through self-organizing group topologies (PDF)

Sam Guinea , DEEP-SE Group - Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
Panteha Saeedi , DEEP-SE Group - Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
pp. 63-72

Timing constraints for runtime adaptation in real-time, networked embedded systems (PDF)

Marc Zeller , Fraunhofer Institute for Communication Systems ESK, Munich, Germany
Christian Prehofer , Fraunhofer Institute for Communication Systems ESK, Munich, Germany
pp. 73-82

A middleware and algorithms for trust calculation from multiple evidence sources (PDF)

Chern Har Yew , Department of Computer Science, The University of Western Ontario, London, Ontario Canada
Hanan Lutfiyya , Department of Computer Science, The University of Western Ontario, London, Ontario Canada
pp. 83-88

Claims and supporting evidence for self-adaptive systems: A literature study (PDF)

Danny Weyns , Linnaeus University, Växjö, Sweden
M. Usman Iftikhar , Linnaeus University, Växjö, Sweden
Sam Malek , George Mason University, Fairfax VA, USA
Jesper Andersson , Linnaeus University, Växjö, Sweden
pp. 89-98

A taxonomy of uncertainty for dynamically adaptive systems (PDF)

Andres J. Ramirez , Michigan State University, 3115 Engineering Building, East Lansing, MI 48824
Adam C. Jensen , Michigan State University, 3115 Engineering Building, East Lansing, MI 48824
Betty H. C. Cheng , Michigan State University, 3115 Engineering Building, East Lansing, MI 48824
pp. 99-108

A taxonomy and survey of self-protecting software systems (PDF)

Eric Yuan , Department of Computer Science, George Mason University, McLean, Virginia, USA
Sam Malek , Department of Computer Science, George Mason University, McLean, Virginia, USA
pp. 109-118

Model-based adaptive DoS attack mitigation (PDF)

Cornel Barna , York University Toronto, Ontario, Canada
Mark Shtern , York University Toronto, Ontario, Canada
Michael Smit , York University Toronto, Ontario, Canada
Vassilios Tzerpos , York University Toronto, Ontario, Canada
Marin Litoiu , York University Toronto, Ontario, Canada
pp. 119-128

A language for feedback loops in self-adaptive systems: Executable runtime megamodels (PDF)

Thomas Vogel , Hasso Plattner Institute at the University of Potsdam, Germany
Holger Giese , Hasso Plattner Institute at the University of Potsdam, Germany
pp. 129-138

Towards mediation-based self-healing of data-driven business processes (PDF)

Tomasz Haupt , Center for Advanced Vehicular Systems, Mississippi State University, Mississippi State, MS 39762, USA
pp. 139-144

Synthesizing dynamically updating controllers from changes in scenario-based specifications (PDF)

Carlo Ghezzi , 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
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
pp. 145-154

(Requirement) evolution requirements for adaptive systems (PDF)

Vitor E. Silva Souza , Department of Information Engineering and Computer Science - University of Trento, Via Sommarive, 14 - Trento, Italy - 38123
Alexei Lapouchnian , Department of Information Engineering and Computer Science - University of Trento, Via Sommarive, 14 - Trento, Italy - 38123
John Mylopoulos , Department of Information Engineering and Computer Science - University of Trento, Via Sommarive, 14 - Trento, Italy - 38123
pp. 155-164

On the role of primary and secondary assets in adaptive security: An application in smart grids (PDF)

Liliana Pasquale , Lero-Irish Software Engineering Research Centre, Limerick, Ireland
Mazeiar Salehie , Lero-Irish Software Engineering Research Centre, Limerick, Ireland
Raian Ali , Bournemouth University, UK
Inah Omoronyia , Lero-Irish Software Engineering Research Centre, Limerick, Ireland
Bashar Nuseibeh , Lero-Irish Software Engineering Research Centre, Limerick, Ireland
pp. 165-170
99 ms
(Ver 3.1 (10032016))