Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998. ,
DOI : 10.1007/BFb0053581
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
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
Software Architecture Definition for On-demand Cloud Provisioning, Proc. of HPDC'10, pp.61-72, 2010. ,
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
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
Engage: A Deployment Management System, Proc. of PLDI'12, pp.263-274, 2012. ,
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
The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009. ,
DOI : 10.1145/1496909.1496915
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989. ,
Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998. ,
DOI : 10.1049/ip-sen:19982297
Dynamic Structure in Software Architectures, Proc. of SIGSOFT FSE'96, pp.3-14, 1996. ,
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
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
DADL: Distributed Application Description Language, 2010. ,
Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008. ,
DOI : 10.1109/SEFM.2008.42
An experience report on the verification of autonomic protocols in the cloud, Innovations in Systems and Software Engineering, vol.76, issue.1, pp.105-117, 2013. ,
DOI : 10.1007/s11334-013-0204-0
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012. ,
A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE'01, pp.21-32, 2001. ,