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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_4 ◽

2013 ◽

pp. 80-111 ◽

Cited By ~ 7

Author(s):

Florian Nafz ◽

Jan-Philipp Steghöfer ◽

Hella Seebach ◽

Wolfgang Reif

Keyword(s):

Formal Modeling

Download Full-text

Timed Hazard Analysis of Self-healing Systems

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_5 ◽

2013 ◽

pp. 112-151 ◽

Cited By ~ 6

Author(s):

Claudia Priesterjahn ◽

Dominik Steenken ◽

Matthias Tichy

Keyword(s):

Hazard Analysis ◽

Self Healing

Download Full-text

Failure Avoidance in Configurable Systems through Feature Locality

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_10 ◽

2013 ◽

pp. 266-296 ◽

Cited By ~ 4

Author(s):

Brady J. Garvin ◽

Myra B. Cohen ◽

Matthew B. Dwyer

Keyword(s):

Failure Avoidance ◽

Configurable Systems

Download Full-text

Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_7 ◽

2013 ◽

pp. 187-213 ◽

Cited By ~ 10

Author(s):

Gerald Steinbauer ◽

Franz Wotawa

Keyword(s):

Systems Theory ◽

Adaptive Systems ◽

Theory And Practice ◽

Model Based ◽

Self Adaptive

Download Full-text

Assurance of Self-adaptive Controllers for the Cloud

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_12 ◽

2013 ◽

pp. 311-339 ◽

Cited By ~ 11

Author(s):

Alessio Gambi ◽

Giovanni Toffetti ◽

Mauro Pezzè

Keyword(s):

Adaptive Controllers ◽

Self Adaptive

Download Full-text

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

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_3 ◽

2013 ◽

pp. 60-79 ◽

Cited By ~ 4

Author(s):

Gwen Salaün ◽

Xavier Etchevers ◽

Noel De Palma ◽

Fabienne Boyer ◽

Thierry Coupaye

Keyword(s):

Distributed Applications

Download Full-text

Probabilistic Verification at Runtime for Self-Adaptive Systems

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_2 ◽

2013 ◽

pp. 30-59 ◽

Cited By ~ 13

Author(s):

Antonio Filieri ◽

Giordano Tamburrelli

Keyword(s):

Adaptive Systems ◽

Probabilistic Verification ◽

Self Adaptive

Download Full-text

Accurate Proactive Adaptation of Service-Oriented Systems

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_9 ◽

2013 ◽

pp. 240-265 ◽

Cited By ~ 13

Author(s):

Andreas Metzger ◽

Osama Sammodi ◽

Klaus Pohl

Keyword(s):

Service Oriented

Download Full-text

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_11 ◽

2013 ◽

pp. 297-310 ◽

Cited By ~ 6

Author(s):

Radu Calinescu

Keyword(s):

High Integrity ◽

Self Adaptive

Download Full-text

Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML

Assurances for Self-Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36249-1_6 ◽

2013 ◽

pp. 152-186 ◽

Cited By ~ 8

Author(s):

Holger Giese ◽

Wilhelm Schäfer

Keyword(s):

Mechatronic Systems ◽

Model Driven Development ◽

Model Driven

Download Full-text

Assurances for Self-Adaptive Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Timed Hazard Analysis of Self-healing Systems

Failure Avoidance in Configurable Systems through Feature Locality

Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice

Assurance of Self-adaptive Controllers for the Cloud

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

Probabilistic Verification at Runtime for Self-Adaptive Systems

Accurate Proactive Adaptation of Service-Oriented Systems

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software

Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML

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