Stop the war!
Остановите войну!
for scientists:
default search action
Assurances for Self-Adaptive Systems 2013
- Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4
Formal Verification
- Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. 1-29 - Antonio Filieri, Giordano Tamburrelli:
Probabilistic Verification at Runtime for Self-Adaptive Systems. 30-59 - Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye:
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. 60-79 - Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif:
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures. 80-111 - Claudia Priesterjahn, Dominik Steenken, Matthias Tichy:
Timed Hazard Analysis of Self-healing Systems. 112-151
Models and Middleware
- Holger Giese, Wilhelm Schäfer:
Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. 152-186 - Gerald Steinbauer, Franz Wotawa:
Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice. 187-213 - Luciano Baresi, Sam Guinea, Panteha Saeedi:
Achieving Self-adaptation through Dynamic Group Management. 214-239
Failure Prediction
- Andreas Metzger, Osama Sammodi, Klaus Pohl:
Accurate Proactive Adaptation of Service-Oriented Systems. 240-265 - Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer:
Failure Avoidance in Configurable Systems through Feature Locality. 266-296
Assurance Techniques
- Radu Calinescu:
Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. 297-310 - Alessio Gambi, Giovanni Toffetti, Mauro Pezzè:
Assurance of Self-adaptive Controllers for the Cloud. 311-339
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.