default search action
13th SEAMS@ICSE 2018: Gothenburg, Sweden
- Jesper Andersson, Danny Weyns:
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018. ACM 2018
Qualities & verification
- Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh:
Compositional verification of self-adaptive cyber-physical systems. 1-11 - Ross Edwards, Nelly Bencomo:
DeSiRE: further understanding nuances of degrees of satisfaction of non-functional requirements trade-off. 12-18 - Luis Hernán García Paucar, Nelly Bencomo:
RE-STORM: mapping the decision-making problem and non-functional requirements trade-off to partially observable markov decision processes. 19-25 - Gereon Weiss, Philipp Schleiss, Daniel Schneider, Mario Trapp:
Towards integrating undependable self-adaptive systems in safety-critical environments. 26-32 - Wito Delnat, Eddy Truyen, Ansar Rafique, Dimitri Van Landuyt, Wouter Joosen:
K8-scalar: a workbench to compare autoscalers for container-orchestrated database clusters. 33-39
Uncertainty
- Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues:
Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. 40-50 - Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein:
Uncertainty reduction in self-adaptive systems. 51-57 - Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures:
Adapting a system with noisy outputs with statistical guarantees. 58-68 - Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. 69-75
Modeling
- Frank Trollmann, Johannes Fähndrich, Sahin Albayrak:
Hybrid adaptation policies: towards a framework for classification and modelling of different combinations of adaptation policies. 76-86 - João Pablo S. da Silva, Miguel Ecar, Marcelo Soares Pimenta, Gilleanes Thorwald Araujo Guedes, Luiz Paulo Franz, Luciano Marchezan:
A systematic literature review of UML-based domain-specific modeling languages for self-adaptive systems. 87-93 - Byron DeVries, Betty H. C. Cheng:
Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. 94-100 - Thomas Vogel:
mRUBiS: an exemplar for model-based architectural self-healing and self-optimization. 101-107
Agents & distribution
- João Guilherme Faccin, Ingrid Nunes:
Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions. 108-118 - Evangelos Pournaras, Mark Ballandies, Dinesh Acharya, Manish Thapa, Ben-Elias Brandt:
Prototyping self-managed interdependent networks: self-healing synergies against cascading failures. 119-129 - Sylvain Ductor, Zahia Guessoum:
A coordination mechanism to replicate large-scale multi-agent systems. 130-136 - Gabriel A. Moreno, Bradley R. Schmerl, David Garlan:
SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. 137-143 - Mirko D'Angelo:
Decentralized self-adaptive computing at the edge. 144-148
Security
- Allen Marshall, Sharmin Jahan, Rose F. Gamble:
Toward evaluating the impact of self-adaptation on security control certification. 149-160 - Thein Than Tun, M. Yang, Arosha K. Bandara, Yijun Yu, Armstrong Nhlabatsi, Niamul Khan, Khaled M. Khan, Bashar Nuseibeh:
Requirements and specifications for adaptive security: concepts and analysis. 161-171 - Michele Guerriero, Damian Andrew Tamburri, Elisabetta Di Nitto:
Defining, enforcing and checking privacy policies in data-intensive applications. 172-182 - Jürgen Dobaj:
INSpIRA: iNtegrating security into risk assessment: doctoral project paper. 183-187
Security and adaptivity
- Anthony Peruma, Daniel E. Krutz:
Security: a critical quality attribute in self-adaptive systems. 188-189 - Zoltán Ádám Mann, Andreas Metzger:
The special case of data protection and self-adaptation. 190-191 - Peter E. Sedgewick, Rogério de Lemos:
Self-adaptation made easy with blockchains. 192-193 - Thein Than Tun, Amel Bennaceur:
Agree to disagree: security requirements are different, but mechanisms for security adaptation are not. 194-195
Learning
- Francisco Duarte, Richard Gil Martinez, Paolo Romano, Antónia Lopes, Luís E. T. Rodrigues:
Learning non-deterministic impact models for adaptation. 196-205 - Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione:
A learning approach to enhance assurances for real-time self-adaptive systems. 206-216 - Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning. 217-223
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.