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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5206

S. Andova, L. Groenewegen, J. Stafleu, and E. P. De-vink, Formalizing Adaptation On-the-Fly, Electronic Notes in Theoretical Computer Science, vol.255, pp.23-44, 2009.
DOI : 10.1016/j.entcs.2009.10.023

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

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

G. Bernot, M. Gaudel, and B. Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, vol.6, issue.6, pp.387-405, 1991.
DOI : 10.1049/sej.1991.0040

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

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.

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

P. Crouzen and F. Lang, Smart Reduction, Proc. of FASE'11, pp.111-126, 2011.
DOI : 10.1007/978-3-642-19811-3_9

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

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

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

H. Garavel, R. Mateescu, and W. Serwe, Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids, Proc. of PDMC'12, 2012.
DOI : 10.1016/j.entcs.2013.07.010

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

H. Garavel and M. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, Proc. of FORTE'99 IFIP Conference Proceedings, pp.185-202, 1999.
DOI : 10.1007/978-0-387-35578-8_11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4987

H. Garavel, C. Viho, and M. Zendri, System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model Checking, Co-simulation, and Test Generation, STTT, vol.3, issue.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

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

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

E. Lantreibecq and W. Serwe, Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP, Proc. of FMICS'11, pp.180-195, 2011.
DOI : 10.1007/978-3-642-24431-5_14

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

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, X. Etchevers, N. De-palma, F. Boyer, and T. Coupaye, Verification of a Selfconfiguration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012.

K. Schwaber, Agile Project Management with Scrum, 2004.

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.