Architecture Adaptation Based on Belief Inaccuracy Estimation, 2014 IEEE/IFIP Conference on Software Architecture, pp.1-4, 2014. ,
DOI : 10.1109/WICSA.2014.20
Achieving Goals in Decentralized POMDPs, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp.593-600, 2009. ,
Generating Tests for Detecting Faults in Feature Models, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015. ,
DOI : 10.1109/ICST.2015.7102591
A-3: An Architectural Style for Coordinating Distributed Components, 2011 Ninth Working IEEE/IFIP Conference on Software Architecture, pp.161-170, 2011. ,
DOI : 10.1109/WICSA.2011.29
Fuzzy Goals for Requirements-Driven Adaptation Teamwork with Limited Knowledge of Teammates, 18th IEEE International Requirements Engineering Conference Proceedings of the 27th AAAI Conference on Artificial Intelligence Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, pp.125-134, 2010. ,
The Complexity of Decentralized Control of Markov Decision Processes, Mathematics of Operations Research, vol.27, issue.4, pp.819-840, 2002. ,
DOI : 10.1287/moor.27.4.819.297
Bounded Policy Iteration for Decentralized POMDPs, Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp.1287-1292, 2005. ,
The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems, Proc. of the 11th International Workshop on Requirements Engineering Foundation for Software Quality, pp.95-100, 2005. ,
View Consistency in Architectures for Cyber-Physical Systems, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, pp.151-160, 2011. ,
DOI : 10.1109/ICCPS.2011.17
Tropos: An Agent-Oriented Software Development Methodology, Autonomous Agents and Multi-Agent Systems, vol.8, issue.3, pp.3-203, 2004. ,
DOI : 10.1023/B:AGNT.0000018806.20944.ef
The Fractal component model and its support in Java. Software: Practice & Experience, pp.11-12, 2006. ,
Gossiping Components for Cyber-Physical Systems, Proc. of 8th European Conference on Software Architecture, pp.250-266, 2014. ,
DOI : 10.1007/978-3-319-09970-5_23
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.6-40, 2006. ,
DOI : 10.1109/SERA.2006.62
Robust indoor positioning using differential wi-fi access points, IEEE Transactions on Consumer Electronics, vol.56, issue.3, pp.1860-1867, 2010. ,
DOI : 10.1109/TCE.2010.5606338
Software Engineering for Self- Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, pp.1-26, 2009. ,
DOI : 10.1007/978-3-642-02161-9
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, Proc. of the 12th International Conference on Model Driven Engineering Languages and Systems, pp.9-10, 2009. ,
DOI : 10.1007/978-3-540-87875-9_54
Non-Functional Requirements in Software Engineering, 1999. ,
Software Product Lines: Practices and Patterns, 2002. ,
Adaptation in Open Systems: Giving Interaction Its Rightful Place, Proceedings of the 29th International Conference on Conceptual Modeling (ER '10), pp.31-45, 2010. ,
DOI : 10.1109/MC.2009.347
A Language-based Approach to Autonomic Computing. Formal Methods for Components and Objects, pp.25-48, 2013. ,
Taming uncertainty in self-adaptive software, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.234-244, 2011. ,
DOI : 10.1145/2025113.2025147
Reconciling system requirements and runtime behavior, Proceedings Ninth International Workshop on Software Specification and Design, pp.50-59, 1998. ,
DOI : 10.1109/IWSSD.1998.667919
Requirements monitoring in dynamic environments, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), pp.140-147, 1995. ,
DOI : 10.1109/ISRE.1995.512555
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
DOI : 10.1145/3149.214121
Dissemination of Reconfiguration Policies on Mesh Networks, Distributed Applications and Interoperable Systems, pp.16-30, 2012. ,
DOI : 10.1007/978-3-642-30823-9_2
URL : https://hal.archives-ouvertes.fr/hal-00688707
Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.10-46, 2004. ,
DOI : 10.1109/MC.2004.175
Selforganising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems - WOSS '02, pp.33-38, 2002. ,
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, pp.3-2015, 2015. ,
DOI : 10.1007/978-3-319-23727-5_4
Goal-Based Modeling of Dynamically Adaptive System Requirements, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pp.36-45, 2008. ,
DOI : 10.1109/ECBS.2008.22
Networked Control System: Overview and Research Trends, IEEE Transactions on Industrial Electronics, vol.57, issue.7, pp.2527-2535, 2010. ,
DOI : 10.1109/TIE.2009.2035462
OSGi in Action: Creating Modular Applications in Java, 2011. ,
Modeling and analyzing architectural change with alloy, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2257-2264, 2012. ,
DOI : 10.1145/1774088.1774560
Co-simulation of wireless networked control systems over mobile ad hoc network using SIMULINK and OPNET, IET Communications, vol.3, issue.8, p.1297, 2009. ,
DOI : 10.1049/iet-com.2008.0536
Building Dynamic Software Product Lines, Computer, vol.45, issue.10, pp.22-26, 2012. ,
DOI : 10.1109/MC.2012.332
Modes for Software Architectures, Proc. of the 3rd European conference on Software Architecture, pp.6-113, 2006. ,
DOI : 10.1007/11966104_9
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms, pp.1-44, 2008. ,
Using Students as Subjects?A Comparative Study of Students and Professionals in Lead-Time Impact Assessment, Empirical Software Engineering, vol.214, pp.201-214, 2000. ,
Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Transactions on Automatic Control, vol.48, issue.6, pp.988-1001, 2003. ,
DOI : 10.1109/TAC.2003.812781
Feature-oriented product line engineering, IEEE Software, vol.19, issue.4, pp.58-65, 2002. ,
DOI : 10.1109/MS.2002.1020288
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
Design of ensemble-based component systems by invariant refinement, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, pp.91-100, 2013. ,
DOI : 10.1145/2465449.2465457
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp.249-252, 2012. ,
DOI : 10.1109/WICSA-ECSA.212.39
Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007. ,
DOI : 10.1109/FOSE.2007.19
Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.238-249, 2008. ,
DOI : 10.1145/1453101.1453133
Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009. ,
DOI : 10.1145/1453101.1453133
Handling obstacles in goal-oriented requirements engineering, IEEE Transactions on Software Engineering, vol.26, issue.10, pp.978-1005, 2000. ,
DOI : 10.1109/32.879820
The Sat4j Library, release 2.2, Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010. ,
Composing adaptive software, Computer, vol.37, issue.7, pp.7-56, 2004. ,
DOI : 10.1109/MC.2004.48
Automated Mapping from Goal Models to Self-Adaptive Systems, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.485-486, 2008. ,
DOI : 10.1109/ASE.2008.83
Towards goal-oriented development of self-adaptive systems, Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems , SEAMS '08, pp.9-16, 2008. ,
DOI : 10.1145/1370018.1370021
Models at Runtime to Support Dynamic Adaptation, Computer, vol.42, pp.10-44, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00477529
Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.9-122, 2009. ,
DOI : 10.1109/ICSE.2009.5070514
Context variability modeling for runtime configuration of service-based dynamic software product lines, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.2-9, 2014. ,
DOI : 10.1145/2647908.2655957
Future Directions in Control in an Information-Rich World, Control Systems, IEEE, vol.23, issue.2, pp.1-21, 2003. ,
The FTG+PM framework for multi-paradigm modelling, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM '12, pp.13-18, 2012. ,
DOI : 10.1145/2508443.2508446
An Architecture-Based Approach to Self-Adaptive Software. Intelligent Systems and their Applications, IEEE, vol.14, pp.3-54, 1999. ,
A requirements monitoring framework for enterprise systems, Requirements Engineering, vol.26, issue.3, pp.17-41, 2005. ,
DOI : 10.1007/s00766-005-0016-3
Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-40, 2009. ,
DOI : 10.1145/1516533.1516538
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems, 2010 18th IEEE International Requirements Engineering Conference, pp.95-103, 2010. ,
DOI : 10.1109/RE.2010.21
Using Constraint Programming to Manage Configurations in Self-Adaptive Systems, Computer, vol.45, issue.10, pp.10-56, 2012. ,
DOI : 10.1109/MC.2012.286
A component model for controlintensive distributed embedded systems, Proc. of the 11th International Symposium on Component-Based Software Engineering, pp.310-317, 2008. ,
Improved Memory- Bounded Dynamic Programming for Decentralized POMDPs, Proc. of the Twenty-Third Conference on Uncertainty in Artificial Intelligence, 2012. ,
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms, pp.92-100, 2008. ,
Handbook of Parametric and Nonparametric Statistical Procedures, 2011. ,
DOI : 10.1201/9781420036268
Multiagent systems: Algorithmic, game-theoretic, and logical foundations, 2008. ,
DOI : 10.1017/CBO9780511811654
Awareness Requirements. Software Engineering for Self-Adaptive Systems II, pp.133-161, 2013. ,
Multiagent Planning under Uncertainty with Stochastic Communication Delays, Proc. of Int. Conf. on Automated Planning and Scheduling, pp.338-345, 2008. ,
Improving Uncoordinated Collaboration in Partially Observable Domains with Imperfect Simultaneous Action Communication, Proc. of the Workshop on Distributed and Multi-Agent Planning in ICAPS, pp.45-54, 2014. ,
RELAX: a language to address uncertainty in self-adaptive systems requirement, Requirements Engineering, vol.91, issue.1, pp.177-196, 2010. ,
DOI : 10.1007/s00766-010-0101-0
Experimentation in Software Engineering, 2012. ,
DOI : 10.1007/978-1-4615-4625-2
Online Planning for Ad Hoc Autonomous Agent Teams, Proc. of the 22nd International Joint Conference on Artificial Intelligence, pp.439-445, 2011. ,
Online planning for multi-agent systems with bounded communication, Artificial Intelligence, vol.175, issue.2, pp.487-511, 2011. ,
DOI : 10.1016/j.artint.2010.09.008