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
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
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
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
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
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
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. ,
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
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
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
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
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
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
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
The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009. ,
DOI : 10.1145/1496909.1496915
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
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
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
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. ,
Verification of a Selfconfiguration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012. ,
Agile Project Management with Scrum, 2004. ,
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. ,