Software Engineering for Self-Adaptive Systems

Keyphrases

Publications

volume 9640, 2017

Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers Software Engineering for Self-Adaptive Systems 9640 (2017)

2013

Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Rogé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, Franco Zambonelli
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems (2013)
Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
Contracts-Based Control Integration into Software Systems. Software Engineering for Self-Adaptive Systems (2013)
Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems (2013)
Éric Rutten, Nicolas Marchand, Daniel Simon
Feedback Control as MAPE-K Loop in Autonomic Computing. Software Engineering for Self-Adaptive Systems (2013)
Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl
Analyzing Self-Adaptation Via Model Checking of Stochastic Games. Software Engineering for Self-Adaptive Systems (2013)
Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese, Romain Rouvoy, Éric Rutten
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? Software Engineering for Self-Adaptive Systems (2013)
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
An Approach for Isolated Testing of Self-Organization Algorithms. Software Engineering for Self-Adaptive Systems (2013)
Danny 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
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. Software Engineering for Self-Adaptive Systems (2013)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems (2013)
Nicolás Cardozo, Kim Mens, Siobhán Clarke
Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, Raffaela Mirandola
MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems. Software Engineering for Self-Adaptive Systems (2013)
Amir Molzam Sharifloo, Andreas Metzger
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)

volume 7475, 2013

Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers Software Engineering for Self-Adaptive Systems 7475 (2013)

2010

volume 10431, 2010

Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010 Software Engineering for Self-Adaptive Systems 10431 (2010)