Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998. ,
DOI : 10.1007/BFb0053581
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
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
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
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 Model Checker for AADL, Proc. of CAV'10, pp.562-565, 2010. ,
DOI : 10.1007/978-3-642-14295-6_48
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
Software Architecture Definition for On-demand Cloud Provisioning, Proc. of HPDC'10, pp.61-72, 2010. ,
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
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
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
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
The Formal Specification Language mCRL2, Dagstuhl Seminars, 2007. ,
The Model Checker SPIN, IEEE Trans. Software Eng, vol.23, issue.5, pp.279-295, 1997. ,
Enhancements to LOTOS (E-LOTOS) International Standard 15437:2001, International Organization for Standardization ? Information Technology, 2001. ,
seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.207-220, 2009. ,
DOI : 10.1145/1629575.1629596
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
Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998. ,
DOI : 10.1049/ip-sen:19982297
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. ,
Communication and Concurrency, 1989. ,
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
Model Checking for Autonomic Systems Specified with ASSL, Proc. of NFM'09, pp.16-25, 2009. ,
A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE'01, pp.21-32, 2001. ,