![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.