default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOutcome of a Dagstuhl Seminar: Software Engineering for Self-Adaptive Systems 2013
- Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6
Research Challenges
- 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. 3-30 - 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. 31-63 - 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. 64-89 - 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? 90-134
Evaluation
- Amir Molzam Sharifloo, Andreas Metzger:
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. 137-153 - Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl:
Analyzing Self-Adaptation Via Model Checking of Stochastic Games. 154-187 - Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif:
An Approach for Isolated Testing of Self-Organization Algorithms. 188-222 - 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. 223-248
Integration and Coordination
- Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier:
Contracts-Based Control Integration into Software Systems. 251-281 - Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli:
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. 282-306 - Nicolás Cardozo, Kim Mens, Siobhán Clarke:
Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems. 307-348 - Éric Rutten, Nicolas Marchand, Daniel Simon:
Feedback Control as MAPE-K Loop in Autonomic Computing. 349-373
Reference Architectures and Platforms
- 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. 377-408 - 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. 409-433
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
