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.

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.

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

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.

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

J. Mauro and G. Zavattaro, On the Complexity of Reconfiguration in Systems with Legacy Components
DOI : 10.1007/978-3-662-48057-1_30
URL : https://hal.archives-ouvertes.fr/hal-01160369

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

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