E. Kotsovinos and M. Stanley, Virtualization, Communications of the ACM, vol.54, issue.1, pp.61-65
DOI : 10.1145/1866739.1866754

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

J. M. Rushby, Model Checking and OtherWays of Automating Formal Methods, Position paper for panel on Model Checking for Concurrent Programs, Software Quality Week, 1995.

D. Garlan, Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101
DOI : 10.1145/336512.336537

H. Gang, M. Hong, and Y. Fu-qing, Runtime Recovery and Manipulation of Software Architecture of Component-based Systems, International Journal of Automated Software Engineering, vol.13, issue.2, pp.251-278, 2006.

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

G. Huang, H. Song, and H. Mei, SM@RT, Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware '09, pp.439-464, 2009.
DOI : 10.1145/1640206.1640215
URL : https://hal.archives-ouvertes.fr/inria-00459621

. Wikipedia, Virtual appliance. http://en.wikipedia.org/wiki/Virtual_appliance [10] Eclipse. Eclipse Modeling Framework Project (EMF)

L. Ling, W. Huang-gang, M. Wei-hu, and . Hong, Anti-Pattern Based Performance Optimization for Middleware Applications, Journal of Software, vol.19, issue.9, pp.2167-2180, 2008.

Y. Zhang, G. Huang, X. Liu, and H. Mei, Integrating Resource Consumption and Allocation for Infrastructure Resources on-Demand, 2010 IEEE 3rd International Conference on Cloud Computing, pp.75-82, 2010.
DOI : 10.1109/CLOUD.2010.11

. Springsource and . Hyperic, hyperic.com/ [18] OpenStack. The Open Source Cloud Operating System

X. Chen, X. Liu, F. Fang, X. Zhang, and G. Huang, Management as a Service: An Empirical Case Study in the Internetware Cloud, 2010 IEEE 7th International Conference on E-Business Engineering, pp.470-473, 2010.
DOI : 10.1109/ICEBE.2010.53

S. Hallé, E. Wenaas, R. Villemaire, and O. Cherkaoui, Selfconfiguration of Network Devices with Configuration Logic, Proceeding AN'06 Proceedings of the First IFIP TC6 international conference on Autonomic Networking, pp.36-49, 2006.

M. B. Cohen, M. B. Dwyer, and J. Shi, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, pp.34-633, 2008.
DOI : 10.1109/TSE.2008.50

H. Song, G. Huang, F. Chauvel, Y. Xiong, Z. Hu et al., Supporting runtime software architecture: A bidirectional-transformation-based approach, Journal of Systems and Software, vol.84, issue.5, pp.711-723, 2011.
DOI : 10.1016/j.jss.2010.12.009
URL : https://hal.archives-ouvertes.fr/inria-00560783

X. Chen, G. Huang, F. Chauvel, Y. Sun, and H. Mei, Integrating MOF-Compliant Analysis Results, International Journal of Software and Informatics, vol.4, issue.4, pp.383-400, 2010.
DOI : 10.1145/2020723.2020724

J. Li, X. Chen, G. Huang, H. Mei, and F. Chauvel, Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support, International SIGSOFT Symposium on Componentbased Software Engineering (CBSE), vol.55, issue.3, pp.69-86, 2009.
DOI : 10.1109/TR.2006.879605
URL : https://hal.archives-ouvertes.fr/inria-00459608

W. Wang and G. Huang, Pattern-driven performance optimization at runtime, Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware, ARM '10, pp.39-45
DOI : 10.1145/1891701.1891707

H. Song, G. Huang, F. Chauvel, W. Zhang, Y. Sun et al., Instant and Incremental QVT Transformation for Runtime Models, 14th international conference on Model driven engineering languages and systems, pp.273-288, 2011.
DOI : 10.1007/s10270-008-0089-9
URL : https://hal.archives-ouvertes.fr/hal-00646844