Marshall A, Riley I, Quirk L and Gamble R.
(2022). Using Design Questions to Analyze System Adaptation Potential 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). 10.1109/ACSOSC56246.2022.00043. 978-1-6654-5142-0. (113-118).
Kluge T. A role-based architecture for self-adaptive cyber-physical systems. Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. (120-124).
Khakpour N, Kleijn J and Sirjani M.
(2019). A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. Fundamentals of Software Engineering. 10.1007/978-3-030-31517-7_1. (3-19).
(2018). A novel adaptation approach for collaborative ubiquitous applications. International Journal of Autonomous and Adaptive Communications Systems. 11:4. (293-314). Online publication date: 1-Jan-2018.
Abolhasanzadeh B and Jalili S.
(2018). Towards modeling and runtime verification of self-organizing systems. Expert Systems with Applications: An International Journal. 44:C. (230-244). Online publication date: 1-Feb-2016.
Bucchiarone A, Ehrig H, Ermel C, Pelliccione P and Runge O.
(2015). Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. Software, Services, and Systems. 10.1007/978-3-319-15545-6_33. (582-601).
Karam Y, Baker T and Bendiab A.
(2013). Support for self-optimized organizational patterns in socio-driven elastic clouds 2013 7th Annual IEEE Systems Conference (SysCon). 10.1109/SysCon.2013.6549888. 978-1-4673-3108-1. (235-243).
Giese H, Lambers L, Becker B, Hildebrandt S, Neumann S, Vogel T and Wätzoldt S. Graph transformations for MDE, adaptation, and models at runtime. Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering. (137-191).
Tichy M and Klöpper B.
(2012). Planning Self-adaption with Graph Transformations. Applications of Graph Transformations with Industrial Relevance. 10.1007/978-3-642-34176-2_13. (137-152).
Kacem N, Kacem A and Drira K.
(2010). A Formal Approach to Enforcing Consistency in Self-adaptive Systems. Software Architecture. 10.1007/978-3-642-15114-9_21. (279-294).
Sancho G, Bouassida Rodriguez I, Villemur T and Tazi S.
(2010). What about collaboration in ubiquitous environments? 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE). 10.1109/NOTERE.2010.5536749. 978-1-4244-7067-9. (143-150).
Kacem N, Kacem A and Drira K. A formal approach to enforcing consistency in self-adaptive systems. Proceedings of the 4th European conference on Software architecture. (279-294).
Ehrig H, Ermel C, Runge O, Bucchiarone A and Pelliccione P. Formal analysis and verification of self-healing systems. Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering. (139-153).
Becker B.
(2009). Towards safety guarantees for service-oriented systems 2009 31st International Conference on Software Engineering - Companion Volume. 10.1109/ICSE-COMPANION.2009.5071018. 978-1-4244-3495-4. (347-350).
Vogel T, Neumann S, Hildebrandt S, Giese H and Becker B. Model-driven architectural monitoring and adaptation for autonomic systems. Proceedings of the 6th international conference on Autonomic computing. (67-68).