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

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. 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

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, and N. De-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

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. 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

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

J. Mirkovic, T. Faber, P. Hsieh, G. Malayandisamu, and R. Malavia, DADL: Distributed Application Description Language, 2010.

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.