,
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
Programming Dynamic Reconfigurable Systems, International Conference on Formal Aspects of Component Software, pp.118-136, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01888550
Code/space: Software and everyday life, 2011. ,
An architectural blueprint for autonomic computing, IBM White Paper, vol.31, pp.1-6, 2006. ,
Leveraging legacy system dollars for e-business, IT professional, vol.2, pp.17-23, 2000. ,
The vision of autonomic computing, In: Computer, vol.36, issue.1, pp.41-50, 2003. ,
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 ,
Self-adaptive software: Landscape and research challenges, ACM transactions on autonomous and adaptive systems, vol.4, p.14, 2009. ,
Adaptation impact and environment models for architecturebased self-adaptive systems, Science of Computer Programming, vol.127, pp.50-75, 2016. ,
, Software Engineering for Self-Adaptive Systems: AR e, pp.1-26, 2009.
An architecture-based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, vol.14, pp.54-62, 1999. ,
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 ,
Self-managed systems: an architectural challenge, Future of Software Engineering.I E E EC, pp.259-268, 2007. ,
Testing the robustness of controllers for self-adaptive systems, Journal of the Brazilian Computer Society, vol.20, p.1, 2014. ,
Self-adaptive software needs quantitative verification at runtime, Communications of the ACM, vol.55, pp.69-77, 2012. ,
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 ,
Architecture Based Approaches Supporting Flexible Design of Self-Adaptive Software, Computational Science and Computational Intelligence (CSCI), 2016. ,
Software engineering of self-adaptive systems: an organised tour and future challenges, Chapter in Handbook of Software Engineering, 2017. ,
On patterns for decentralized control in self-adaptive systems, Software Engineering for Self-Adaptive Systems II, pp.76-107, 2013. ,
Towards a goal-driven approach to action selection in self-adaptive software, Software: Practice and Experience, vol.42, pp.211-233, 2012. ,
Rainbow: Architecture-based self-adaptation with reusable infrastructure, In: Computer, vol.37, pp.46-54, 2004. ,
A survey on engineering approaches for selfadaptive systems, Pervasive and Mobile Computing, vol.17, pp.184-206, 2015. ,
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. ,
Using architecture models for runtime adaptability, IEEE software, vol.23, pp.62-70, 2006. ,
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 ,
Stitch: A language for architecturebased self-adaptation, Journal of Systems and Software, vol.85, pp.2860-2875, 2012. ,
Autonomic computing through reuse of variability models at runtime: The case of smart homes, 2009. ,
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
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 ,
Goal-based modeling of dynamically adaptive system requirements, 15th Annual IEEE International Conference and Workshop on the, pp.3-6, 2008. ,
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 ,
Models@ run. time to support dynamic adaptation, Computer 42, vol.10, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-02054122
Runtime monitoring of functional component changes with behavior models, International Conference on Model Driven Engineering Languages and Systems, pp.152-166, 2011. ,
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
Model-driven engineering of self-adaptive software with eurema, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.8, p.18, 2014. ,
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
Sassy: A framework for self-architecting service-oriented systems, IEEE software 28, vol.6, pp.78-85, 2011. ,
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. ,
Acme: Architectural description of component-based systems, Foundations of componentbased systems, vol.68, pp.47-68, 2000. ,
A graph based architectural (re) configuration language, ACM SIGSOFT Software Engineering Notes, vol.26, pp.21-32, 2001. ,
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 ,
Requirements-aware systems: A research agenda for re for self-adaptive systems, Requirements Engineering Conference (RE), 2010. ,
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
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 ,
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 ,
Capturing Software Architecture Design Expertise with Armani Version 1.0. Tech. rep. CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1998. ,
Adaptive action selection in autonomic software using reinforcement learning, Fourth International Conference on, vol.8, pp.1-7, 2008. ,
Reinforcement learning in autonomic computing: A manifesto and case studies, IEEE Internet Computing, vol.11, issue.1, 2007. ,
A controlbased framework for self-managing distributed computing systems, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pp.3-7, 2004. ,
A framework for controlled self-optimisation in modular system architectures". In: Organic Computing-A Paradigm Shift for Complex Systems, pp.281-294, 2011. ,
Organic control of traffic lights, International Conference on Autonomic and Trusted Computing, pp.219-233, 2008. ,
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. ,
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 ,
Utility functions in autonomic systems, Proceedings. International Conference on.I E E E, pp.70-77, 2004. ,
Towards cooperative negotiation for decentralized resource allocation in autonomic computing systems, pp.1458-1459, 2003. ,
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. ,
Dynamic configuration of resource-aware services, Proceedings. 26th International Conference on, pp.4-6, 2004. ,
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 ,
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 ,
Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, pp.299-310, 2014. ,
Enabling self-managing applications using model-based online control strategies, Autonomic Computing, 2006. ICAC'06. IEEE International Conference on, pp.1-5 ,
A controller synthesis algorithm for building self-adaptive software, Information and Software Technology, vol.46, pp.719-727, 2004. ,
An approach to self-adaptive software based on supervisory control, International Workshop on Self-Adaptive Software, pp.24-38, 2001. ,
Engineering self-adaptive systems through feedback loops, Software engineering for self-adaptive systems, pp.48-70, 2009. ,
Feedback control of computing systems ,
Beyond objects: A software design paradigm based on process control, ACM SIGSOFT Software Engineering Notes, vol.20, pp.27-38, 1995. ,
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. ,
Control strategies for self-adaptive software systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.11, p.24, 2017. ,
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 ,
Artificial intelligence: a modern approach. Malaysia Pearson Education Limited, 2016. ,
Reinforcement learning: An introduction.M I Tp r e s s, pp.1-9 ,
Handbook of genetic algorithms, 1991. ,
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 ,
Self-adaptive systems: A survey of current approaches, research challenges and applications, Expert Systems with Applications, vol.40, pp.7267-7279, 2013. ,
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 ,
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
An environment for describing software systems, WSEAS Transactions on Computers, vol.8, pp.1610-1619, 2009. ,
Montiarc-architectural modeling of interactive distributed and cyber-physical systems, 2014. ,
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 ,
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 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 ,
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 ,
Eclipse modeling framework: a developer's guide, 2004. ,
Modeling Heterogeneous Real-time Systems in BIP, SEFM'06 Proceedings, pp.3-12, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00527491
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
Modeling dynamic architectures using Dy-BIP, International Conference on Software Composition, pp.1-16, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00722481
Approaches for facilities layer protocols for platooning, Intelligent Transportation Systems (ITSC), 2015 IEEE 18th International Conference on ,
Teamwork in self-organized robot colonies, IEEE Transactions on Evolutionary Computation, vol.13, pp.695-711, 2009. ,
The definitive ANTLR 4 reference, 2013. ,
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 ,
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
Compositional verification for component-based systems and application, pp.181-193 ,
URL : https://hal.archives-ouvertes.fr/hal-00359303
Configuration logics: Modeling architecture styles, Journal of Logical and Algebraic Methods in Programming, vol.86, pp.2-29, 2017. ,