Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642362484, 9783642362491
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures

2013 ◽  
pp. 80-111 ◽  
Author(s):  
Florian Nafz ◽  
Jan-Philipp Steghöfer ◽  
Hella Seebach ◽  
Wolfgang Reif
Keyword(s):  
Formal Modeling

Timed Hazard Analysis of Self-healing Systems

2013 ◽  
pp. 112-151 ◽  
Author(s):  
Claudia Priesterjahn ◽  
Dominik Steenken ◽  
Matthias Tichy
Keyword(s):  
Hazard Analysis ◽  
Self Healing

Assurance of Self-adaptive Controllers for the Cloud

2013 ◽  
pp. 311-339 ◽  
Author(s):  
Alessio Gambi ◽  
Giovanni Toffetti ◽  
Mauro Pezzè
Keyword(s):  
Adaptive Controllers ◽  
Self Adaptive

scholarly journals Verification of a Self-configuration Protocol for Distributed Applications in the Cloud

2013 ◽  
pp. 60-79 ◽  
Author(s):  
Gwen Salaün ◽  
Xavier Etchevers ◽  
Noel De Palma ◽  
Fabienne Boyer ◽  
Thierry Coupaye
Keyword(s):  
Distributed Applications

Accurate Proactive Adaptation of Service-Oriented Systems

2013 ◽  
pp. 240-265 ◽  
Author(s):  
Andreas Metzger ◽  
Osama Sammodi ◽  
Klaus Pohl
Keyword(s):  
Service Oriented
Load More ...
Sign in / Sign up

Export Citation Format

Share Document