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

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

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

C. Chapman, W. Emmerich, F. G. Márquez, S. Clayman, and A. Galis, Software Architecture Definition for On-demand Cloud Provisioning, Proc. of HPDC'10, pp.61-72, 2010.

M. Chérèque, D. Powell, P. Reynier, J. Richier, and J. Voiron, Active replication in Delta-4, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing, pp.28-37, 1992.
DOI : 10.1109/FTCS.1992.243618

N. Chohan, C. Bunch, S. Pang, C. Krintz, N. Mostafa et al., AppScale: Scalable and Open AppEngine Application Development and Deployment, Proc. of CloudComp'09, pp.57-70, 2010.
DOI : 10.1007/978-3-642-12636-9_4

B. Dillenseger, CLIF, a framework based on Fractal for flexible, distributed load testing, Proc. of ICSE'99, pp.101-120, 1999.
DOI : 10.1007/s12243-008-0067-9

E. N. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys, vol.34, issue.3, pp.375-408, 2002.
DOI : 10.1145/568522.568525

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
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. Kirschnick, J. M. Calero, P. Goldsack, A. Farrell, J. Guijarro et al., Towards an architecture for deploying elastic services in the cloud, Software: Practice and Experience, vol.5637, issue.4, pp.395-408, 2012.
DOI : 10.1002/spe.1090

L. Lamport, The implementation of reliable distributed multiprocess systems, Computer Networks (1976), vol.2, issue.2, pp.95-114, 1978.
DOI : 10.1016/0376-5075(78)90045-4

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

D. Nurmi, R. Wolski, C. Grzegorczyk, G. Obertelli, S. Soman et al., The Eucalyptus Open-Source Cloud-Computing System, 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, pp.124-131, 2009.
DOI : 10.1109/CCGRID.2009.93

G. K. Saha, Software based fault tolerance, Ubiquity, vol.2006, issue.July, 2006.
DOI : 10.1145/1149633.1147995

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

F. B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys, vol.22, issue.4, pp.299-319, 1990.
DOI : 10.1145/98163.98167

R. Van-renesse and R. Guerraoui, Replication Techniques for Availability, Replication: Theory and Practice, pp.19-40
DOI : 10.1007/978-3-642-11294-2_2

W. Zamojski and D. Caban, Introduction to the Dependability Modeling of Computer Systems, 2006 International Conference on Dependability of Computer Systems, pp.100-109, 2006.
DOI : 10.1109/DEPCOS-RELCOMEX.2006.35