Abstract is missing.
- Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of AssurancesRogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel 0001, Franco Zambonelli. 3-30 [doi]
- Perpetual Assurances for Self-Adaptive SystemsDanny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli. 31-63 [doi]
- Challenges in Composing and Decomposing Assurances for Self-Adaptive SystemsBradley R. Schmerl, Jesper Andersson, Thomas Vogel 0001, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi. 64-89 [doi]
- What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese, Romain Rouvoy, Éric Rutten. 90-134 [doi]
- MCaaS: Model Checking in the Cloud for Assurances of Adaptive SystemsAmir Molzam Sharifloo, Andreas Metzger. 137-153 [doi]
- Analyzing Self-Adaptation Via Model Checking of Stochastic GamesJavier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl. 154-187 [doi]
- An Approach for Isolated Testing of Self-Organization AlgorithmsBenedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif. 188-222 [doi]
- Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research ChallengesRadu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson. 223-248 [doi]
- Contracts-Based Control Integration into Software SystemsFilip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier. 251-281 [doi]
- Synthesis of Distributed and Adaptable Coordinators to Enable Choreography EvolutionMarco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli. 282-306 [doi]
- Models for the Consistent Interaction of Adaptations in Self-Adaptive SystemsNicolás Cardozo, Kim Mens, Siobhán Clarke. 307-348 [doi]
- Feedback Control as MAPE-K Loop in Autonomic ComputingÉric Rutten, Nicolas Marchand, Daniel Simon. 349-373 [doi]
- An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-AdaptationVictor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel. 377-408 [doi]
- MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented SystemsValeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, Raffaela Mirandola. 409-433 [doi]