Verifying the correct composition of distributed components: Formalisation and Tool, Electronic Proceedings in Theoretical Computer Science, vol.175, 2014. ,
DOI : 10.4204/EPTCS.175.5
URL : https://hal.archives-ouvertes.fr/hal-01055370
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, TACAS'11, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009. ,
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919
Specification and Verification for Grid Component-Based Applications: From Models to Tools, Number 5751 in LNCS, pp.180-203, 2008. ,
DOI : 10.1007/11589976_6
pNets: An Expressive Model for Parameterised Networks of Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.492-496, 2015. ,
DOI : 10.1109/PDP.2015.70
URL : https://hal.archives-ouvertes.fr/hal-01139432
Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, 2012. ,
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-00761073
An O(n log n) unidirectional distributed algorithm for extrema finding in a circle, Journal of Algorithms, vol.3, issue.3, 1982. ,
DOI : 10.1016/0196-6774(82)90023-2
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
The syntax and semantics of Fiacre, 2009. ,
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Integrated Formal Methods, 5th International Conference, IFM 2005, pp.70-88, 2005. ,
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339
A Model Checking Language for Concurrent Value-Passing Systems, pp.148-164, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Patterns in property specifications for finitestate verification, 21st International Conference on Software Engineering, 1999. ,
Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395
CALM and Cadena: Metamodeling for Component-Based Product-Line Development, Computer, vol.39, issue.2, pp.42-50, 2006. ,
DOI : 10.1109/MC.2006.51
The Palladio component model, 2011. ,
Verifying distributed algorithms with executable Creol models, 2011. ,
Credo Methodology, Electronic Notes in Theoretical Computer Science, vol.266, pp.33-48, 2010. ,
DOI : 10.1016/j.entcs.2010.08.047
A Behavioral Model for Composition of Software Components, L'objet, vol.12, issue.1, pp.33-76, 2006. ,
DOI : 10.3166/objet.12.1.33-76
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of the 9th int. conference on Component-Based Software Engineering. CBSE'06, 2006. ,
DOI : 10.1007/11783565_27
Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework, 2014 23rd Australian Software Engineering Conference, pp.15-24, 2014. ,
DOI : 10.1109/ASWEC.2014.26
HATS Abstract Behavioral Specification: The architectural view, Proc. 10th International Symposium on Formal Methods for Components and Objects, pp.109-132, 2011. ,
Modeling and verification of reactive systems using rebeca, Fundam. Inform, vol.63, issue.4, pp.385-410, 2004. ,
Verifying Safety of Fault-Tolerant Distributed Components, International Workshop on Formal Aspects of Component Software (FACS'11), 2011. ,
DOI : 10.1007/978-3-642-35743-5_17
URL : https://hal.archives-ouvertes.fr/inria-00621264
Formally reasoning on a reconfigurable componentbased system -a case study for the industrial world, International Symposium on Formal Aspects of Component Software, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00916115
A Theory of Distributed Objects, 2005. ,