. Dr-bip--,

R. E. Ballouli, Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP, International Symposium on Leveraging Applications of Formal Methods, pp.304-320, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01888571

R. E. Ballouli, Programming Dynamic Reconfigurable Systems, International Conference on Formal Aspects of Component Software, pp.118-136, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01888550

R. Kitchin and M. Dodge, Code/space: Software and everyday life, 2011.

A. Computing, An architectural blueprint for autonomic computing, IBM White Paper, vol.31, pp.1-6, 2006.

L. Erlikh, Leveraging legacy system dollars for e-business, IT professional, vol.2, pp.17-23, 2000.

O. Jeffrey, D. M. Kephart, and . Chess, The vision of autonomic computing, In: Computer, vol.36, issue.1, pp.41-50, 2003.

. Rogério-de-lemos, Software engineering for self-adaptive systems: A second research roadmap, Software Engineering for Self-Adaptive Systems II.S p r i n g e r, vol.2, pp.1-3

M. Salehie and L. Tahvildari, Self-adaptive software: Landscape and research challenges, ACM transactions on autonomous and adaptive systems, vol.4, p.14, 2009.

J. Cámara, Adaptation impact and environment models for architecturebased self-adaptive systems, Science of Computer Programming, vol.127, pp.50-75, 2016.

H. C. Betty and . Cheng, Software Engineering for Self-Adaptive Systems: AR e, pp.1-26, 2009.

P. Oreizy, An architecture-based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, vol.14, pp.54-62, 1999.

J. Andersson, Modeling dimensions of self-adaptive software systems, Software engineering for self-adaptive systems.S p r i n g e r ,2 0 0 9, pp.27-47

J. Kramer and J. Magee, Self-managed systems: an architectural challenge, Future of Software Engineering.I E E EC, pp.259-268, 2007.

J. Cámara, Testing the robustness of controllers for self-adaptive systems, Journal of the Brazilian Computer Society, vol.20, p.1, 2014.

R. Calinescu, Self-adaptive software needs quantitative verification at runtime, Communications of the ACM, vol.55, pp.69-77, 2012.

J. Zhang, H. C. Betty, and . Cheng, Model-based development of dynamically adaptive software, Proceedings of the 28th international conference on Software engineering.A C M .2 0 0 6, vol.8, pp.3-7

J. Cha, J. Kim, and Y. Jeong, Architecture Based Approaches Supporting Flexible Design of Self-Adaptive Software, Computational Science and Computational Intelligence (CSCI), 2016.

D. Weyns, Software engineering of self-adaptive systems: an organised tour and future challenges, Chapter in Handbook of Software Engineering, 2017.

D. Weyns, On patterns for decentralized control in self-adaptive systems, Software Engineering for Self-Adaptive Systems II, pp.76-107, 2013.

M. Salehie and L. Tahvildari, Towards a goal-driven approach to action selection in self-adaptive software, Software: Practice and Experience, vol.42, pp.211-233, 2012.

D. Garlan, Rainbow: Architecture-based self-adaptation with reusable infrastructure, In: Computer, vol.37, pp.46-54, 2004.

C. Krupitzer, A survey on engineering approaches for selfadaptive systems, Pervasive and Mobile Computing, vol.17, pp.184-206, 2015.

D. Weyns, S. Malek, and J. Andersson, FORMS: Unifying reference model for formal specification of distributed self-adaptive systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.7, p.8, 2012.

J. Floch, Using architecture models for runtime adaptability, IEEE software, vol.23, pp.62-70, 2006.

D. Weyns, J. Usman-iftikhar, and . Söderlund, Do external feedback loops improve the design of self-adaptive systems?: a controlled experiment, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.IEEEPress.2013, pp.3-12

W. Shang, D. Cheng, and . Garlan, Stitch: A language for architecturebased self-adaptation, Journal of Systems and Software, vol.85, pp.2860-2875, 2012.

C. Cetina, Autonomic computing through reuse of variability models at runtime: The case of smart homes, 2009.

M. Acher, Modeling context and dynamic adaptations with feature models, 4th International Workshop Models@ run. time at Models 2009 (MRT'09, pp.1-1
URL : https://hal.archives-ouvertes.fr/hal-00419990

A. Elkhodary, N. Esfahani, and S. Malek, FUSION: a framework for engineering self-tuning self-adaptive software systems, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering.A C M .2 0 1 0, pp.7-8

J. Heather and . Goldsby, Goal-based modeling of dynamically adaptive system requirements, 15th Annual IEEE International Conference and Workshop on the, pp.3-6, 2008.

M. Vrbaski, Goal models as run-time entities in context-aware systems, Proceedings of the 7th Workshop on Models@ run. time.A C M . 2012, pp.3-8

B. Morin, Models@ run. time to support dynamic adaptation, Computer 42, vol.10, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02054122

C. Ghezzi, A. Mocci, and M. Sangiorgio, Runtime monitoring of functional component changes with behavior models, International Conference on Model Driven Engineering Languages and Systems, pp.152-166, 2011.

C. Ballagny, N. Hameurlain, and F. Barbier, Mocas: A statebased component model for self-adaptation, Self-Adaptive and SelfOrganizing Systems, 2009. SASO'09. Third IEEE International Conference on, pp.2-2
URL : https://hal.archives-ouvertes.fr/hal-01908725

T. Vogel and H. Giese, Model-driven engineering of self-adaptive software with eurema, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.8, p.18, 2014.

B. Morin, An aspect-oriented and model-driven approach for managing dynamic variability, international conference on Model Driven Engineering Languages and Systems.S p r i n g e r .2 0 0 8, pp.7-8
URL : https://hal.archives-ouvertes.fr/inria-00468232

D. Menasce, H. Gomaa, and J. Sousa, Sassy: A framework for self-architecting service-oriented systems, IEEE software 28, vol.6, pp.78-85, 2011.

N. Bencomo and G. Blair, Using architecture models to support the generation and operation of component-based adaptive systems, Software engineering for self-adaptive systems.S p r i n g e r ,2 0 0 9, vol.1, pp.3-5, 2000.

D. Garlan, T. Robert, D. Monroe, and . Wile, Acme: Architectural description of component-based systems, Foundations of componentbased systems, vol.68, pp.47-68, 2000.

M. Wermelinger, A. Lopes, and J. Fiadeiro, A graph based architectural (re) configuration language, ACM SIGSOFT Software Engineering Notes, vol.26, pp.21-32, 2001.

J. Dowling and V. Cahill, The k-component architecture meta-model for self-adaptive software, International Conference on Metalevel Architectures and Reflection.S p r i n g e r .2 0 0 1, pp.8-9

P. Sawyer, Requirements-aware systems: A research agenda for re for self-adaptive systems, Requirements Engineering Conference (RE), 2010.

É. Tanter, Partial behavioral reflection: Spatial and temporal selection of reification, ACM SIGPLAN Notices, vol.38, pp.27-46, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00457204

T. Batista, A. Joolia, and G. Coulson, Managing dynamic reconfiguration in component-based systems, European workshop on software architecture.S p r i n g e r .2 0 0 5, pp.1-1

S. Gordon and . Blair, Reflection, self-awareness and self-healing in OpenORB, Proceedings of the first workshop on Self-healing systems.A C M .2 0 0, pp.9-14

T. Robert and . Monroe, Capturing Software Architecture Design Expertise with Armani Version 1.0. Tech. rep. CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1998.

M. Amoui, Adaptive action selection in autonomic software using reinforcement learning, Fourth International Conference on, vol.8, pp.1-7, 2008.

G. Tesauro, Reinforcement learning in autonomic computing: A manifesto and case studies, IEEE Internet Computing, vol.11, issue.1, 2007.

N. Sherif-abdelwahed, S. Kandasamy, and . Neema, A controlbased framework for self-managing distributed computing systems, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pp.3-7, 2004.

W. Brockmann, N. Rosemann, and E. Maehle, A framework for controlled self-optimisation in modular system architectures". In: Organic Computing-A Paradigm Shift for Complex Systems, pp.281-294, 2011.

H. Prothmann, Organic control of traffic lights, International Conference on Autonomic and Trusted Computing, pp.219-233, 2008.

D. Fisch, E. Kalkowski, and B. Sick, Collaborative learning by knowledge exchange, Organic Computing-A Paradigm Shift for Complex Systems.S p r i n g e r, vol.8, pp.2-6, 2011.

J. Dowling and V. Cahill, Self-managed decentralised systems using K-components and collaborative reinforcement learning, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems.A C M .2 0 0 4, pp.39-43

E. William and . Walsh, Utility functions in autonomic systems, Proceedings. International Conference on.I E E E, pp.70-77, 2004.

C. Boutilier, Towards cooperative negotiation for decentralized resource allocation in autonomic computing systems, pp.1458-1459, 2003.

G. Tesauro, A multi-agent systems approach to autonomic computing, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, vol.1, pp.464-471, 2004.

V. Poladian, Dynamic configuration of resource-aware services, Proceedings. 26th International Conference on, pp.4-6, 2004.

A. Filieri, H. Hoffmann, and M. Maggio, Automated multiobjective control for self-adaptive software design, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering.A C M . 2015, pp.13-24

S. Shevtsov and D. Weyns, Keep it simplex: Satisfying multiple goals with guarantees in control-based self-adaptive systems, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering.A C M, vol.2, pp.2-2

A. Filieri, H. Hoffmann, and M. Maggio, Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, pp.299-310, 2014.

V. Bhat, Enabling self-managing applications using model-based online control strategies, Autonomic Computing, 2006. ICAC'06. IEEE International Conference on, pp.1-5

G. Tziallas and B. Theodoulidis, A controller synthesis algorithm for building self-adaptive software, Information and Software Technology, vol.46, pp.719-727, 2004.

G. Karsai, An approach to self-adaptive software based on supervisory control, International Workshop on Self-Adaptive Software, pp.24-38, 2001.

Y. Brun, Engineering self-adaptive systems through feedback loops, Software engineering for self-adaptive systems, pp.48-70, 2009.

. Joseph-l-hellerstein, Feedback control of computing systems

M. Shaw, Beyond objects: A software design paradigm based on process control, ACM SIGSOFT Software Engineering Notes, vol.20, pp.27-38, 1995.

. Tarek-ab-delzaher, Intro duction to control theory and its application to computing systems, Performance Modeling and Engineering.S p r i n g e r, pp.185-215, 2008.

A. Filieri, Control strategies for self-adaptive software systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.11, p.24, 2017.

T. Patikirikorala, A systematic survey on the design of selfadaptive software systems using control engineering approaches, Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on, pp.3-3

J. Stuart, P. Russell, and . Norvig, Artificial intelligence: a modern approach. Malaysia Pearson Education Limited, 2016.

S. Richard, A. G. Sutton, F. Barto, and . Bach, Reinforcement learning: An introduction.M I Tp r e s s, pp.1-9

L. Davis, Handbook of genetic algorithms, 1991.

S. Jeremy and . Bradbury, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems.A C M .2 0 0 4, pp.2-8

. Frank-d-mac´?as-escrivá, Self-adaptive systems: A survey of current approaches, research challenges and applications, Expert Systems with Applications, vol.40, pp.7267-7279, 2013.

N. Ubayashi, J. Nomura, and T. Tamai, Archface: a contract place where architectural design and code meet together, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, vol.1, pp.7-12

A. Amirat and M. Oussalah, C3: A metamodel for architecture description language based on first-order connector types, 11th International Conference on Enterprise Information Systems, pp.76-81, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00484024

A. Smeda, A. Alti, and A. Boukerram, An environment for describing software systems, WSEAS Transactions on Computers, vol.8, pp.1610-1619, 2009.

A. Haber, J. O. Ringert, and B. Rumpe, Montiarc-architectural modeling of interactive distributed and cyber-physical systems, 2014.

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, International Conference on Fundamental Approaches to Software Engineering.S p r i n g e r .1 9 9 8, pp.2-3

N. Medvidovic, N. Richard, and . Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on software engineering, vol.26, pp.70-93, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00444077

A. Butting, A classification of dynamic reconfiguration in component and connector architecture description languages, 4st International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) 2017 Workshop Pre-proceedings.2 0 1 7, pp.1-3

Y. Lingling and Z. Wei, An Overview of Software Architecture Description Language and Evaluation Method, Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering, vol.2, pp.8-9

F. Budinsky, Eclipse modeling framework: a developer's guide, 2004.

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Systems in BIP, SEFM'06 Proceedings, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

A. Basu, Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

M. Bozga, Modeling dynamic architectures using Dy-BIP, International Conference on Software Composition, pp.1-16, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00722481

C. Bergenhem, Approaches for facilities layer protocols for platooning, Intelligent Transportation Systems (ITSC), 2015 IEEE 18th International Conference on

S. Nouyan, Teamwork in self-organized robot colonies, IEEE Transactions on Evolutionary Computation, vol.13, pp.695-711, 2009.

T. Parr, The definitive ANTLR 4 reference, 2013.

D. Weyns, A survey of formal methods in self-adaptive systems, Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering.A C M .2 0 1, pp.6-7

G. Tamura, Towards practical runtime verification and validation of self-adaptive software systems, Software Engineering for Self-Adaptive Systems II.S p r i n g e r, vol.2, pp.1-1
URL : https://hal.archives-ouvertes.fr/hal-00709943

S. Bensalem, Compositional verification for component-based systems and application, pp.181-193
URL : https://hal.archives-ouvertes.fr/hal-00359303

A. Mavridou, Configuration logics: Modeling architecture styles, Journal of Logical and Algebraic Methods in Programming, vol.86, pp.2-29, 2017.