T. Bylander, Complexity Results for Planning, IJCAI, 1991.

M. Chen, P. Poizat, and Y. Yan, Adaptive Composition and QoS Optimization of??Conversational Services Through Graph Planning Encoding, Web Services Foundations, 2014.
DOI : 10.1007/978-1-4614-7518-7_17
URL : https://hal.archives-ouvertes.fr/hal-01221701

A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theor. Comput. Sci, 1995.
DOI : 10.1016/0304-3975(94)00231-7
URL : http://doi.org/10.1016/0304-3975(94)00231-7

H. W. Choi, H. Kwak, A. Sohn, and K. Chung, Autonomous learning for efficient resource utilization of dynamic VM migration, Proceedings of the 22nd annual international conference on Supercomputing , ICS '08, 2008.
DOI : 10.1145/1375527.1375556

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

R. , D. Cosmo, A. Eiche, J. Mauro, G. Zavattaro et al., Automatic Deployment of Software Components in the Cloud with the Aeolus Blender, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01103806

R. Di-cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Component Reconfiguration in the Presence of Conflicts, ICALP, 2013.
DOI : 10.1007/978-3-642-39212-2_19
URL : https://hal.archives-ouvertes.fr/hal-00909336

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

S. Frey, F. Fittkau, and W. Hasselbring, Search-based genetic optimization for deployment and reconfiguration of software in the cloud, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606597

M. Ghallab, D. S. Nau, and P. Traverso, Automated planning -Theory and Practice, 2004.

D. Gmach, J. Rolia, L. Cherkasova, G. Belrose, T. Turicchi et al., An integrated approach to resource pool management: Policies, efficiency and quality metrics, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN), 2008.
DOI : 10.1109/DSN.2008.4630101
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.4345

H. Herry, P. Anderson, and G. Wickler, Automated Planning for Configuration Changes, LISA, 2011.

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to Automated Configuration, 2012.

C. Krause, Reconfigurable Component Connectors, 2011.

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

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, FACS, 2013.
DOI : 10.1007/978-3-319-07602-7_16
URL : https://hal.archives-ouvertes.fr/hal-00909300

H. Mi, H. Wang, G. Yin, Y. Zhou, D. Shi et al., Online Self-Reconfiguration with Performance Guarantee for Energy-Efficient Large-Scale Cloud Computing Data Centers, 2010 IEEE International Conference on Services Computing, 2010.
DOI : 10.1109/SCC.2010.69

W. J. Savitch, Relationships between nondeterministic and deterministic tape complexities, Journal of Computer and System Sciences, vol.4, issue.2, 1970.
DOI : 10.1016/S0022-0000(70)80006-X
URL : http://doi.org/10.1016/s0022-0000(70)80006-x

J. Stoess, C. Lang, and F. Bellosa, Energy Management for Hypervisor-Based Virtual Machines, USENIX Annual Tech. Conf, 2007.

P. N. Tran, L. Casucci, and A. Timm, Optimal mapping of virtual networks considering reactive reconfiguration, CLOUDNET, 2012.

S. Wang, F. Du, X. Li, Y. Li, and X. Han, Research on dynamic reconfiguration technology of cloud computing virtual services, 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, 2011.
DOI : 10.1109/CCIS.2011.6045088