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

L. Bentea and P. C. Olveczky, A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
DOI : 10.1007/978-3-642-37635-1_5

URL : https://hal.archives-ouvertes.fr/hal-01485979

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. Chapman, W. Emmerich, F. Galán-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.

F. Durán and G. Salaün, Robust reconfiguration of cloud applications, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.179-184, 2014.
DOI : 10.1145/2602458.2602479

S. Eker, J. Meseguer, and A. Sridharanarayanan, The Maude LTL Model Checker, Proc. of WRLA'02, pp.115-142, 2002.
DOI : 10.1016/S1571-0661(05)82534-4

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

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

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

C. M. Poskitt and D. Plump, Hoare-Style Verification of Graph Programs, Fundam. Inform, vol.118, issue.12, pp.135-175, 2012.

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.

M. Wirsing, J. Eckhardt, T. Mühlbauer, and J. Meseguer, Design and Analysis of Cloud-Based Architectures with KLAIM and Maude, Proc. of WRLA'12, pp.54-82, 2012.
DOI : 10.1007/978-3-642-34005-5_4