The B Book -Assigning Programs to Meanings, 1996. ,
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications, 2001. ,
DOI : 10.1007/0-306-47005-5_20
URL : https://hal.archives-ouvertes.fr/inria-00072397
A temporal logic approach to the specification of reconfigurable component-based systems, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002. ,
DOI : 10.1109/ASE.2002.1115028
Using Types to Enforce Architectural Structure, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), pp.23-34, 2008. ,
DOI : 10.1109/WICSA.2008.48
From Runtime Verification to Evolvable Systems, RV, pp.97-110, 2007. ,
DOI : 10.1007/978-3-540-77395-5_9
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
Model-Based performance prediction with the palladio component model, Proceedings of the 6th international workshop on Software and performance , WOSP '07, pp.54-65, 2007. ,
DOI : 10.1145/1216993.1217006
Practical Verification of Component Substitutability Using Subtype Relation, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), pp.38-45, 2006. ,
DOI : 10.1109/EUROMICRO.2006.50
Stepwise refinement of communicating systems, Science of Computer Programming, vol.27, issue.2, pp.139-173, 1996. ,
DOI : 10.1016/0167-6423(96)81173-7
Component Substitutability via Equivalencies of Component-Interaction Automata, Electronic Notes in Theoretical Computer Science, vol.182, pp.39-55, 2007. ,
DOI : 10.1016/j.entcs.2006.09.030
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components, FACS 2011, pp.115-132, 2011. ,
DOI : 10.1007/978-3-642-35743-5_8
URL : https://hal.archives-ouvertes.fr/hal-00642345
Using Temporal Logic for Dynamic Reconfigurations of Components, FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, pp.200-217, 2012. ,
DOI : 10.1007/3-540-45719-4_23
URL : https://hal.archives-ouvertes.fr/hal-00662875
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations, 18th International Symposium on Formal Methods (FM 2012), 2012. ,
DOI : 10.1007/978-3-642-32759-9_16
Evaluation of static properties for component-based architectures, Proceedings. 28th Euromicro Conference, pp.33-39, 2002. ,
DOI : 10.1109/EURMIC.2002.1046130
The linear time ??? Branching time spectrum II, CONCUR '93, 4th International Conference on Concurrency Theory, pp.66-81, 1993. ,
DOI : 10.1007/3-540-57208-2_6
KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability, The Common Component Modeling Example: Comparing Software Component Models, pp.327-356, 2007. ,
DOI : 10.1007/978-3-540-85289-6_13
Logic for mathematicians, 1978. ,
Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, pp.137-161, 1985. ,
DOI : 10.1145/2455.2460
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.1770
Temporal verification of simulation and refinement, REX School/Symposium LNCS, vol.803, pp.273-346, 1994. ,
DOI : 10.1007/3-540-58043-3_22
Combining Proof and Model-checking to Validate Reconfigurable Architectures, Electronic Notes in Theoretical Computer Science, vol.279, issue.2, 2011. ,
DOI : 10.1016/j.entcs.2011.11.011
URL : https://hal.archives-ouvertes.fr/hal-00642348
Reliable Dynamic Reconfigurations in a Reflective Component Model, CBSE 2010, pp.74-92, 2010. ,
DOI : 10.1007/978-3-642-13238-4_5
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more, pp.73-84, 2007. ,
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
Communication and Concurrency, 1989. ,
Concurrency and automata on infinite sequences, Concurrency and Automata on Infinite Sequences, pp.167-183, 1981. ,
DOI : 10.1007/BFb0017309