M. Burgess, A Site Configuration Engine, Computing Systems, vol.8, issue.2, 1995.

R. D. Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski et al., Automated synthesis and deployment of cloud applications, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, 2014.
DOI : 10.1145/2642937.2642980

R. D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Information and Computation, vol.239, 2014.
DOI : 10.1016/j.ic.2014.11.002

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

X. Etchevers, T. Coupaye, F. Boyer, and N. D. Palma, Self-Configuration of Distributed Applications in the Cloud, 2011 IEEE 4th International Conference on Cloud Computing, 2011.
DOI : 10.1109/CLOUD.2011.65

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

I. Feinerer, Abstract, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.12, issue.01, pp.37-49, 2013.
DOI : 10.1017/S0890060410000612

N. Ferry, F. Chauvel, A. Rossini, B. Morin, and A. Solberg, Managing multi-cloud systems with CloudMF, Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, pp.38-45, 2013.
DOI : 10.1145/2513534.2513542

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, PLDI, 2012.

M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, 1990.

P. Goldsack, J. Guijarro, S. Loughran, A. N. Coles, A. Farrell et al., The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009.
DOI : 10.1145/1496909.1496915

G. E. Gonçalves, P. T. Endo, M. A. Santos, D. Sadok, J. Kelner et al., CloudML: An Integrated Language for Resource, Service and Request Description for D-Clouds, 2011 IEEE Third International Conference on Cloud Computing Technology and Science, 2011.
DOI : 10.1109/CloudCom.2011.60

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, FMCO, 2010.
DOI : 10.2498/cit.2002.01.01

L. Kanies, Puppet: Next-generation configuration management. ;login: the USENIX magazine, 2006.

T. A. Lascu, J. Mauro, and G. Zavattaro, A Planning Tool Supporting the Deployment of Cloud Applications, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013.
DOI : 10.1109/ICTAI.2013.41

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