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

T. Barros, R. Ameur-boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, pp.25-43, 2009.
DOI : 10.1007/s12243-008-0069-7

URL : https://hal.archives-ouvertes.fr/inria-00268965

L. Bellissard, N. D. Palma, A. Freyssinet, M. Herrmann, and S. Lacourte, An agent platform for reliable asynchronous distributed programming, Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, pp.294-295, 1999.
DOI : 10.1109/RELDIS.1999.805107

D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proc. of TACAS'05, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42

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

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

M. Bozzano, A. Cimatti, J. Katoen, V. Y. Nguyen, T. Noll et al., A Model Checker for AADL, Proc. of CAV'10, pp.562-565, 2010.
DOI : 10.1007/978-3-642-14295-6_48

L. Broto, D. Hagimont, P. Stolf, N. D. Palma, and S. Temate, Autonomic management policy specification in Tune, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1658-1663, 2008.
DOI : 10.1145/1363686.1364080

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.

M. A. Cornejo, H. Garavel, R. Mateescu, and N. Palma, Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications, Proc. of DAIS'01 IFIP Conference Proceedings, pp.229-244, 2001.
DOI : 10.1007/0-306-47005-5_20

URL : https://hal.archives-ouvertes.fr/inria-00072397

B. Dillenseger, CLIF, a framework based on Fractal for flexible, distributed load testing, annals of telecommunications - annales des t??l??communications, vol.3983, issue.1-2, pp.101-120, 2009.
DOI : 10.1007/s12243-008-0067-9

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

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

J. F. Groote, A. Mathijssen, M. A. Reniers, Y. S. Usenko, and M. Van-weerdenburg, The Formal Specification Language mCRL2, Dagstuhl Seminars, 2007.

J. Gerard and . Holzmann, The Model Checker SPIN, IEEE Trans. Software Eng, vol.23, issue.5, pp.279-295, 1997.

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437:2001, International Organization for Standardization ? Information Technology, 2001.

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.207-220, 2009.
DOI : 10.1145/1629575.1629596

J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, pp.1293-1306, 1990.
DOI : 10.1109/32.60317

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

R. Milner, Communication and Concurrency, 1989.

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, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1278-1283, 2012.
DOI : 10.1145/2245276.2231979

E. Vassev, M. Hinchey, and A. Quigley, Model Checking for Autonomic Systems Specified with ASSL, Proc. of NFM'09, pp.16-25, 2009.

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.