M. Autili
P. Di Benedetto
P. Inverardi
2009
Context-Aware Adaptive Services: The PLASTIC Approach
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science
5503
Springer
10.1007/978-3-642-00593-0_9
B. Bartels
M. Kleine
2011
A CSP-based framework for the specification, verification, and implementation of adaptive systems
Software Engineering for Adaptive and Self-Managing Systems
ACM
10.1145/1988008.1988030
B. Becker
D. Beyer
H. Giese
F. Klein
D. Schilling
2006
Symbolic invariant verification for systems with dynamic structural adaptation
28th International Conference on Software Engineering
10.1145/1134285.1134297
G. Behrmann
2006
UPPAAL 4.0
International Conference on Quantitative Evaluation of Systems
B. Cheng
2009
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems, LNCS 5525
Springer
10.1007/978-3-642-02161-9_1
J. Dowling
2004
Decentralised Coordination of Self-Adaptive Components for Autonomic Distributed Systems
University of Dublin, Trinity College
A. Ebnenasir
2007
Designing Run-Time Fault-Tolerance Using Dynamic Updates
Software Engineering for Adaptive and Self-Managing Systems
IEEE
10.1109/SEAMS.2007.5
D. Garlan
S. Cheng
A. Huang
B. Schmerl
P. Steenkiste
2004
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure
IEEE Computer
37
10
10.1109/MC.2004.175
I. Georgiadis
J. Magee
J. Kramer
2002
Self-organising software architectures for distributed systems
1st Workshop on Self-healing Systems
ACM
10.1145/582129.582135
M. Gudemann
F. Ortmeier
W. Reif
2006
Formal Modeling and Verification of Systems with Self-x Properties
Lecture Notes in Computer Science
Springer
10.1007/11839569_4
C. Heinzemann
S.Henkler
2011
Reusing dynamic communication protocols in self-adaptive embedded component architectures
14th Symposium on Component-based Software Engineering
ACM
10.1145/2000229.2000246
J. Kephart
D. Chess
2003
The Vision of Autonomic Computing
IEEE Computer Magazine
36
1
10.1109/MC.2003.1160055
N. Khakpour
R. Khosravi
M. Sirjani
S. Jalili
2010
Formal analysis of policy-based self-adaptive systems
Symposium on Applied Computing
ACM
10.1145/1774088.1774613
J. Kramer
J. Magee
2007
Self-Managed Systems: An Architectural Challenge
Future of Software Engineering
10.1109/FOSE.2007.19
R. de Lemos
2012
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
Software Engineering for Self-Adaptive Systems, LNCS 7475
Springer
J. Magee
T. Maibaum
2006
Towards specification, modelling and analysis of fault tolerance in self managed systems
Self-adaptation and Self-managing Systems
ACM
10.1145/1137677.1137684
P. Oreizy
N. Medvidovic
R. Taylor
1998
Architecture-based runtime software evolution
International Conference on Software Engineering
10.1109/ICSE.1998.671114
L. Tan
2006
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications
6th International Conference on Quality Software
10.1109/QSIC.2006.41
M. Utting
B. Legeard
2007
Practical Model-Based Testing: A Tools Approach
Morgan-Kaufmann
M. Utting
2011
A taxonomy of model-based testing approaches
Testing, Verification and Reliability
10.1002/stvr.456
E. Vassev
M. Hinchey
2009
ASSL: A Software Engineering Approach to Autonomic Computing
Computer
42
6
90–93
10.1109/MC.2009.174
D. Weyns
2012
Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems
ISSTA Workshop on Dynamic Analysis (WODA)
10.1145/2338966.2336803
D. Weyns
R. Haesevoets
A. Helleboogh
T. Holvoet
W. Joosen
2010
The MACODO Middleware for Context-Driven Dynamic Agent Organzations
ACM Transactions on Autonomous and Adaptive Systems
5
1
10.1145/1671948.1671951
D. Weyns
S. Malek
J. Andersson
2012
FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems
ACM Transactions on Autonomous and Adaptive Systems, 7(1)
10.1145/2168260.2168268
J. Zhang
B. Cheng
2006
Model-based development of dynamically adaptive software
28th International Conference on Software Engineering
ACM
10.1145/1134285.1134337