R. Abid, G. Salaün, F. Bongiovanni, and N. Palma, Verification of a Dynamic Management Protocol for Cloud Applications, Proc. of ATVA'13, pp.178-192, 2013.
DOI : 10.1007/978-3-319-02444-8_14
URL : https://hal.archives-ouvertes.fr/hal-00863262

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998.
DOI : 10.1007/BFb0053581

M. Bertier, O. Marin, and P. Sens, Implementation and performance evaluation of an adaptable failure detector, Proceedings International Conference on Dependable Systems and Networks, pp.354-363, 2002.
DOI : 10.1109/DSN.2002.1028920

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE)
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

F. Boyer, O. Gruber, and G. Salaün, Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS??NT and CADP, Proc. of FM'11, pp.103-117, 2011.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00648909

A. Brogi, J. Carrasco, J. Cubo, F. D. Andria, A. Ibrahim et al., SeaClouds, Proc. of CIbSE' 14 American Conference on software Engineering Steering Committee, pp.95-108, 2014.
DOI : 10.1145/2557833.2557844

A. Cansado, C. Canal, G. Salaün, and J. Cubo, A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation, Electronic Notes in Theoretical Computer Science, vol.263, pp.95-110, 2010.
DOI : 10.1016/j.entcs.2010.05.006

M. Catan, R. D. Cosmo, A. Eiche, T. Lascu, M. Lienhardt et al., Aeolus: Mastering the Complexity of Cloud Application Deployment, Proc. of ESOCC'13, pp.1-3, 2013.
DOI : 10.1007/978-3-642-40651-5_1
URL : https://hal.archives-ouvertes.fr/hal-00909298

C. Chapman, W. Emmerich, F. Galán-márquez, S. Clayman, and A. Galis, Software Architecture Definition for On-demand Cloud Provisioning, Proc. of HPDC'10, pp.61-72, 2010.

X. Etchevers, T. Coupaye, F. Boyer, N. De, and . Palma, Self-Configuration of Distributed Applications in the Cloud, 2011 IEEE 4th International Conference on Cloud Computing, pp.668-675, 2011.
DOI : 10.1109/CLOUD.2011.65
URL : https://hal.archives-ouvertes.fr/hal-00941398

X. Etchevers, T. Coupaye, F. Boyer, N. D. Palma, and G. Salaün, Automated Configuration of Legacy Applications in the Cloud, 2011 Fourth IEEE International Conference on Utility and Cloud Computing, pp.170-177, 2011.
DOI : 10.1109/UCC.2011.32
URL : https://hal.archives-ouvertes.fr/hal-00665592

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. Palma, Reliable self-deployment of cloud applications, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1331-1338, 2014.
DOI : 10.1145/2554850.2554951
URL : https://hal.archives-ouvertes.fr/hal-00934042

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: A Deployment Management System, Proc. of PLDI'12, pp.263-274, 2012.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, pp.372-387, 2011.
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

P. Goldsack, J. Guijarro, S. Loughran, A. 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

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

J. Kirschnick, J. M. Calero, P. Goldsack, A. Farrell, J. Guijarro et al., Towards an architecture for deploying elastic services in the cloud, Software: Practice and Experience, vol.5637, issue.4, pp.395-408, 2012.
DOI : 10.1002/spe.1090

J. Kramer and J. Magee, Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998.
DOI : 10.1049/ip-sen:19982297

C. Krause, Z. Maraikar, A. Lazovik, and F. Arbab, Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming, vol.76, issue.1, pp.23-36, 2011.
DOI : 10.1016/j.scico.2009.10.006

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

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, Proc. of SIGSOFT FSE'96, pp.3-14, 1996.

J. Magee, J. Kramer, and D. Giannakopoulou, Behaviour Analysis of Software Architectures, Proc. of WICSA'99 IFIP Conference Proceedings, pp.35-50, 1999.
DOI : 10.1007/978-0-387-35563-4_3

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

N. Palma, S. Jean, S. B. Atallah, and D. Hagimont, J2EE Applications Deployment: A First Experiment, Proc. of PDPTA'04, pp.1440-1446, 2004.

G. Salaün, Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008.
DOI : 10.1109/SEFM.2008.42

G. Salaün, F. Boyer, T. Coupaye, N. De-palma, X. Etchevers et al., An experience report on the verification of autonomic protocols in the cloud, Innovations in Systems and Software Engineering, vol.76, issue.1, pp.105-117, 2013.
DOI : 10.1007/s11334-013-0204-0

G. Salaün, X. Etchevers, N. De-palma, F. Boyer, and T. Coupaye, Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012.

M. Wermelinger, A. Lopes, and J. L. Fiadeiro, A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE'01, pp.21-32, 2001.

L. D. Zuck and A. Pnueli, Model Checking and Abstraction to the Aid of Parameterized Systems (a Survey) Computer Languages, Systems & Structures, pp.3-4139, 2004.