J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

P. Grefen, K. Aberer, H. Ludwig, and Y. Hoffner, Crossflow: Cross-organizational workflow management in dynamic virtual enterprises, International Journal of Computer Systems Science & Engineering, vol.15, pp.277-290, 2000.

D. Roxburgh, D. Spaven, and C. Gallen, Monitoring as an SLA-oriented consumable service for SaaS assurance: A prototype, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops, pp.925-939, 2011.
DOI : 10.1109/INM.2011.5990500

P. Thongtra and F. Aagesen, An Adaptable Capability Monitoring System, 2010 Sixth International Conference on Networking and Services, pp.73-80, 2010.
DOI : 10.1109/ICNS.2010.19

M. Munawar, T. Reidemeister, M. Jiang, A. George, and P. Ward, Adaptive Monitoring with Dynamic Differential Tracing-Based Diagnosis, Lecture Notes in Computer Science, vol.16, issue.5, pp.162-175, 2008.
DOI : 10.1109/TNN.2005.853411

J. C. Nobre, L. Z. Granville, A. Clemm, and A. G. Prieto, Decentralized detection of sla violations using p2p technology, Proceedings of the 8th International Conference on Network and Service Management, International Federation for Information Processing, pp.100-107, 2012.

I. Corp, An architectural blueprint for autonomic computing, 2005.

D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola et al., On Patterns for Decentralized Control in Self-Adaptive Systems, Software Engineering for Self-Adaptive Systems II, pp.76-107, 2013.
DOI : 10.1145/1808984.1808994

A. J. Ramirez and B. H. Cheng, Design patterns for developing dynamically adaptive systems, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.49-58, 2010.
DOI : 10.1145/1808984.1808990
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.9119

A. Moui, T. Desprats, E. Lavinal, and M. Sibilla, A cim-based framework to manage monitoring adaptability, Network and service management (cnsm), 2012 8th international conference and 2012 workshop on systems virtualiztion management (svm, pp.261-265, 2012.

A. Moui, T. Desprats, E. Lavinal, and M. Sibilla, Information models for managing monitoring adaptation enforcement, International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE), pp.2012-2039, 2012.

A. Moui, T. Desprats, E. Lavinal, and M. Sibilla, Managing polling adaptability in a CIM/WBEM infrastructure, 2010 4th International DMTF Academic Alliance Workshop on Systems and Virtualization Management, pp.1-6, 2010.
DOI : 10.1109/SVM.2010.5674749

A. Toueir, J. Broisin, and M. Sibilla, Toward configurable performance monitoring: Introduction to mathematical support for metric representation and instrumentation of the CIM metric model, 2011 5th International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and the Cloud (SVM), pp.1-6, 2011.
DOI : 10.1109/SVM.2011.6096461

A. Van-lamsweerde, 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

A. Van-lamsweerde, Requirements engineering in the year 00, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.5-19, 2000.
DOI : 10.1145/337180.337184

A. Toueir, J. Broisin, and M. Sibilla, A goal-oriented approach for adaptive SLA monitoring: A cloud provider case study, 2nd IEEE Latin American Conference on Cloud Computing and Communications, 2013.
DOI : 10.1109/LatinCloud.2013.6842223
URL : https://hal.archives-ouvertes.fr/hal-01202528

R. Darimont and A. Van-lamsweerde, Formal refinement patterns for goal-driven requirements elaboration, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering -SIGSOFT '96, pp.179-190, 1996.
DOI : 10.1145/239098.239131
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.412

V. Goranko, Temporal logics for specification and verification, Proceedings of the European Summer School in Logic, Language and Information (ESSLI'09), 2009.