Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science Latest Publications

Author(s):

Radu Calinescu ◽

Simos Gerasimou ◽

Kenneth Johnson ◽

Colin Paterson

Keyword(s):

Adaptive Software ◽

Quantitative Verification ◽

Self Adaptive

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

An Approach for Isolated Testing of Self-Organization Algorithms

10.1007/978-3-319-74183-3_7 ◽

2017 ◽

pp. 188-222 ◽

Author(s):

Benedikt Eberhardinger ◽

Gerrit Anders ◽

Hella Seebach ◽

Florian Siefert ◽

Alexander Knapp ◽

...

Keyword(s):

Self Organization

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation

10.1007/978-3-319-74183-3_13 ◽

2017 ◽

pp. 377-408 ◽

Author(s):

Victor Braberman ◽

Nicolas D’Ippolito ◽

Jeff Kramer ◽

Daniel Sykes ◽

Sebastian Uchitel

Keyword(s):

Reference Architecture ◽

Self Adaptation

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution

10.1007/978-3-319-74183-3_10 ◽

2017 ◽

pp. 282-306 ◽

Author(s):

Marco Autili ◽

Paola Inverardi ◽

Alexander Perucci ◽

Massimo Tivoli

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems

10.1007/978-3-319-74183-3_5 ◽

2017 ◽

pp. 137-153 ◽

Author(s):

Amir Molzam Sharifloo ◽

Andreas Metzger

Keyword(s):

Model Checking ◽

Adaptive Systems

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

Feedback Control as MAPE-K Loop in Autonomic Computing

10.1007/978-3-319-74183-3_12 ◽

2017 ◽

pp. 349-373 ◽

Author(s):

Eric Rutten ◽

Nicolas Marchand ◽

Daniel Simon

Keyword(s):

Feedback Control ◽

Autonomic Computing

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems

10.1007/978-3-319-74183-3_11 ◽

2017 ◽

pp. 307-348 ◽

Author(s):

Nicolás Cardozo ◽

Kim Mens ◽

Siobhán Clarke

Keyword(s):

Adaptive Systems ◽

Self Adaptive

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

Contracts-Based Control Integration into Software Systems

10.1007/978-3-319-74183-3_9 ◽

2017 ◽

pp. 251-281

Author(s):

Filip Křikava ◽

Philippe Collet ◽

Romain Rouvoy ◽

Lionel Seinturier

Keyword(s):

Software Systems ◽

Control Integration

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems

10.1007/978-3-319-74183-3_3 ◽

2017 ◽

pp. 64-89 ◽

Cited By ~ 4

Author(s):

Bradley Schmerl ◽

Jesper Andersson ◽

Thomas Vogel ◽

Myra B. Cohen ◽

Cecilia M. F. Rubira ◽

...

Keyword(s):

Adaptive Systems ◽

Self Adaptive

Software Engineering for Self-Adaptive Systems III. Assurances - Lecture Notes in Computer Science ◽

MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems

10.1007/978-3-319-74183-3_14 ◽

2017 ◽

pp. 409-433 ◽

Author(s):

Valeria Cardellini ◽

Emiliano Casalicchio ◽

Vincenzo Grassi ◽

Stefano Iannucci ◽

Francesco Lo Presti ◽

...

Keyword(s):

Service Oriented ◽

Self Adaptation ◽

Adaptation Policies