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

N. Aguirre and T. Maibaum, A Logical Basis for the Specification of Reconfigurable Component-Based Systems, Proc. of FASE'03, pp.37-51, 2003.
DOI : 10.1007/3-540-36578-8_4

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 D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), pp.13-22, 2013.
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

T. Bures, P. Hnetynka, and F. Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

C. Canal, J. Cámara, and G. Salaün, Structural reconfiguration of systems under behavioral adaptation, Science of Computer Programming, vol.78, issue.1, pp.46-64, 2012.
DOI : 10.1016/j.scico.2011.09.003
URL : https://hal.archives-ouvertes.fr/hal-00734057

C. Chapman, W. Emmerich, F. G. Márquez, S. Clayman, and A. Galis, Software architecture definition for on-demand cloud provisioning, Cluster Computing, vol.39, issue.1, pp.79-100, 2012.
DOI : 10.1007/s10586-011-0152-0

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, LNCS, vol.4350, 2007.

X. Etchevers, T. Coupaye, F. Boyer, N. De-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. D. 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.

A. Ketfi and N. Belkhatir, A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software, Proc. of ICSR'04, pp.264-273, 2004.
DOI : 10.1007/978-3-540-27799-6_22

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 of IFIP Conference Proceedings, pp.35-50, 1999.
DOI : 10.1007/978-0-387-35563-4_3

J. Matevska-meyer, W. Hasselbring, and R. Reussner, Software Architecture Description Supporting Component Deployment and System Runtime Reconfiguration, Proc. of WCOP'04, 2004.

N. Medvidovic, ADLs and dynamic architecture changes, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pp.24-27, 1996.
DOI : 10.1145/243327.243340
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4144

G. Pierre and C. Stratan, ConPaaS: A Platform for Hosting Elastic Cloud Applications, IEEE Internet Computing, vol.16, issue.5, pp.88-92, 2012.
DOI : 10.1109/MIC.2012.105

P. Poizat and G. Salaün, Adaptation of Open Component-Based Systems, Proc. of FMOODS'07, pp.141-156, 2007.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342160

P. Poizat, G. Salaün, and M. Tivoli, On Dynamic Reconfiguration of Behavioural Adaptation, Proc. of WCAT'06, pp.61-69, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342163

G. Salaün, X. Etchevers, N. D. 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.
DOI : 10.1007/978-3-540-68237-0_12

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.