Fuzzy sets, Information and control, vol.8, issue.3, 1965. ,
Patterns in property specifications for finite-state verification, Proceedings of the 21st international conference on Software engineering, 1999. ,
A Real-Time Specification Patterns Language, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00593965
RELAX: a language to address uncertainty in self-adaptive systems requirement, Requirements Engineering, pp.177-196, 2010. ,
Real-time specification patterns, Proceedings of the 27th international conference on Software engineering, 2005. ,
Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar, IEEE Transactions on Software Engineering, vol.41, issue.7, pp.620-638, 2015. ,
A survey on engineering approaches for self-adaptive systems, Pervasive and Mobile Computing, vol.17, pp.184-206, 2015. ,
Software engineering of self-adaptive systems: an organised tour and future challenges, Chapter in Handbook of Software Engineering, 2017. ,
Software engineering for self-adaptive systems: A second research roadmap, 2013. ,
URL : https://hal.archives-ouvertes.fr/inria-00638157
Fuzzy branching temporal logic, IEEE Transactions on Systems, Man, and Cybernetics, vol.34, issue.2, pp.1045-1055, 2004. ,
A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty, International Conference on Model Driven Engineering Languages and Systems, 2009. ,
Fuzzy goals for requirements-driven adaptation, 2010 18th IEEE International Requirements Engineering Conference, 2010. ,
Awareness requirements for adaptive systems, Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems, 2011. ,
(Requirement) evolution requirements for adaptive systems, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012. ,
Modeling and Verification of Functional and Non-Functional Requirements of Ambient Self-Adaptive Systems, Journal of Systems and Software, vol.107, pp.50-70, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01278903
Engineering Requirements for Autonomy Features, Software Engineering for Collective Autonomic Systems, 2015. ,
Engineering requirements for adaptive systems, Requirements Engineering, vol.22, issue.1, pp.77-103, 2017. ,
MAPE-K formal templates to rigorously design behaviors for self-adaptive systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.10, issue.3, p.15, 2015. ,
Self-adaptive role-based access control for business processes, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017. ,
Autonomic computing: emerging trends and open problems, DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software, 2005. ,
Specification patterns for probabilistic quality properties, 2008 ACM/IEEE 30th International Conference on Software Engineering, 2008. ,
Petri net model with fuzzy timing and fuzzy-metric temporal logic, International Journal of Intelligent Systems, vol.14, issue.8, pp.719-745, 1999. ,
Uncertainty in self-adaptive software systems, Software Engineering for Self-Adaptive Systems II, 2013. ,
Patterns for timed property specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006. ,
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
A case study on formal verification of self-adaptive behaviors in a decentralized system, 2012. ,
Claims and supporting evidence for self-adaptive systems: A literature study, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012. ,
Self-adaptive systems: A survey of current approaches, research challenges and applications, Expert Systems with Applications, vol.40, issue.18, pp.7267-7279, 2013. ,
Specifying real-time properties with metric temporal logic, Real-time systems, vol.2, pp.255-299, 1990. ,
The fault-tolerant insulin pump therapy, Rigorous Development of Complex Fault-Tolerant Systems, 2006. ,
Examples of how to determine the specifications of control systems, Technical Report Series-University of Newcastle Upon Tyne Computing Science, vol.915, p.65, 2005. ,
Towards modelling and reasoning support for earlyphase requirements engineering, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering, 1997. ,
Goal-directed requirements acquisition, Science of computer programming, vol.20, issue.1-2, pp.3-50, 1993. ,
Tropos: An agent-oriented software development methodology, Autonomous Agents and Multi-Agent Systems, vol.8, issue.3, pp.203-236, 2004. ,
Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter, IEEE Transactions on Computers, vol.38, issue.5, pp.696-704, 1989. ,