Abstract is missing.
- Model Checking Adaptive Software with Featured Transition SystemsMaxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. 1-29 [doi]
- Probabilistic Verification at Runtime for Self-Adaptive SystemsAntonio Filieri, Giordano Tamburrelli. 30-59 [doi]
- Verification of a Self-configuration Protocol for Distributed Applications in the CloudGwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye. 60-79 [doi]
- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-ArchitecturesFlorian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif. 80-111 [doi]
- Timed Hazard Analysis of Self-healing SystemsClaudia Priesterjahn, Dominik Steenken, Matthias Tichy. 112-151 [doi]
- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUMLHolger Giese, Wilhelm Schäfer. 152-186 [doi]
- Model-Based Reasoning for Self-Adaptive Systems - Theory and PracticeGerald Steinbauer, Franz Wotawa. 187-213 [doi]
- Achieving Self-adaptation through Dynamic Group ManagementLuciano Baresi, Sam Guinea, Panteha Saeedi. 214-239 [doi]
- Accurate Proactive Adaptation of Service-Oriented SystemsAndreas Metzger, Osama Sammodi, Klaus Pohl. 240-265 [doi]
- Failure Avoidance in Configurable Systems through Feature LocalityBrady J. Garvin, Myra B. Cohen, Matthew B. Dwyer. 266-296 [doi]
- Emerging Techniques for the Engineering of Self-Adaptive High-Integrity SoftwareRadu Calinescu. 297-310 [doi]
- Assurance of Self-adaptive Controllers for the CloudAlessio Gambi, Giovanni Toffetti, Mauro Pezzè. 311-339 [doi]