T. Abdelzaher, Modeling and performance control of Internet servers, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2000.
DOI : 10.1109/CDC.2000.914129

T. Abdelzaher and N. Bhatti, Web server QoS management by adaptive content delivery, 1999 Seventh International Workshop on Quality of Service. IWQoS'99. (Cat. No.98EX354), 1999.
DOI : 10.1109/IWQOS.1999.766497

T. Abdelzaher, K. Shin, and N. Bhatti, Performance guarantees for Web server end-systems: a control-theoretical approach, IEEE Transactions on Parallel and Distributed Systems, vol.13, issue.1, pp.80-96, 2002.
DOI : 10.1109/71.980028

T. Abdelzaher and J. Stankovic, Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers, IEEE Transactions on Parallel and Distributed Systems, vol.17, issue.9, pp.1014-1027, 2006.

K. Angelopoulos, V. E. Silva, J. Souza, and . Pimentel, Requirements and architectural approaches to adaptive software systems: A comparative study, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2013.
DOI : 10.1109/SEAMS.2013.6595489

R. Asadollahi, M. Salehie, and L. Tahvildari, StarMX: A framework for developing selfmanaging Java-based systems, ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.

Y. Brun, G. Di-marzo-serugendo, C. Gacek, H. Giese, H. Kienle et al., Engineering Self-Adaptive Systems Through Feedback Loops. Software Engineering for Self-Adaptive Systems, 2009.
DOI : 10.1007/978-3-642-02161-9_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Cassou, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985852

URL : https://hal.archives-ouvertes.fr/inria-00537789

S. Cheng, Rainbow: Cost-Effective Software, 2008.

S. Cheng, D. Garlan, and B. Schmerl, Evaluating the effectiveness of the Rainbow self-adaptive system, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
DOI : 10.1109/SEAMS.2009.5069082

J. Eker, J. Janneck, E. Lee, J. Ludvig, S. Neuendorffer et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, 2003.
DOI : 10.1109/JPROC.2002.805829

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, 2008.

R. B. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.14

URL : https://hal.archives-ouvertes.fr/inria-00511368

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software. Pearson Education, 1994.

N. Gandhi, J. Hellerstein, S. Parekh, and D. Tilbury, Using MIMO feedback control to enforce policies for interrelated metrics with application to the Apache Web server, EEE/IFIP Network Operations and Management Symposium, pp.219-234, 2002.

D. Garlan, S. Cheng, A. Huang, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.3746-54, 2004.
DOI : 10.1109/MC.2004.175

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019

T. He, J. Stankovic, M. Marley, C. Lu, Y. Lu et al., Feedback control-based dynamic resource management in distributed real-time systems, Journal of Systems and Software, vol.80, issue.7, 2007.
DOI : 10.1016/j.jss.2006.09.029

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback control of computing systems, 2004.
DOI : 10.1002/047166880X

C. Hewitt, Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, pp.323-364, 1977.
DOI : 10.1016/0004-3702(77)90033-9

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

S. Kelly and J. Tolvanen, Domain-Specific Modeling: Enabling Full Code Generation, 2008.
DOI : 10.1002/9780470249260

F. Krikava, Domain-Specific Modeling Language for Self-Adaptive Software System Architectures, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00935083

F. Krikava, P. Collet, and R. France, ACTRESS, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2555020

URL : https://hal.archives-ouvertes.fr/hal-00951798

E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, 2006.
DOI : 10.1109/MC.2006.180

Y. Lu, T. Abdelzaher, C. Lu, and G. Tao, An adaptive control framework for QoS guarantees and its application to differentiated caching, 10th International Workshop on Quality of Service, 2002.

M. Luckey, B. Nagel, C. Gerth, and G. Engels, Adapt cases, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, 2011.
DOI : 10.1145/1988008.1988014

M. Maggio, H. Hoffmann, M. D. Santambrogio, A. Agarwal, and A. Leva, Decision making in autonomic computing systems, Proceedings of the 8th ACM international conference on Autonomic computing, ICAC '11, 2011.
DOI : 10.1145/1998582.1998629

H. Müller, M. Pezzè, and M. Shaw, Visibility of control in adaptive systems, Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems , ULSSIS '08, 2008.
DOI : 10.1145/1370700.1370707

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, 2010.
DOI : 10.1145/1808984.1808990

M. Salehie, L. Tahvildari, G. Bhatia, and R. Rajkumar, Self-adaptive software, 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.1-42, 2006.
DOI : 10.1145/1516533.1516538

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

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, ICSE 2014, 2014.
DOI : 10.1145/2568225.2568272

G. Tamura, N. M. Villegas, H. A. Muller, L. Duchien, and L. Seinturier, Improving contextawareness in self-adaptation using the DYNAM- ICO reference model, 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, 2013.

N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas, A framework for evaluating quality-driven self-adaptive software systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, p.80, 2011.
DOI : 10.1145/1988008.1988020

URL : https://hal.archives-ouvertes.fr/inria-00578337

T. Vogel and H. Giese, A language for feedback loops in self-adaptive systems: Executable runtime megamodels, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012.
DOI : 10.1109/SEAMS.2012.6224399

K. Wu, D. J. Lilja, and H. Bai, The Applicability of Adaptive Control Theory to QoS Design: Limitations and Solutions, 19th International Parallel and Distributed Processing Symposium, IPDPS, pp.272-272, 2005.

Y. Zhao, A Model of Computation with Push and Pull Processing, 2003.