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