Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine & Alexandra Savu (2012):
Behavioural Semantics for Asynchronous Components.
Rapport de recherche RR-8167.
INRIA.
A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.H. Nguyen & J. Sifakis (2011):
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Softw. 28(3),
pp. 41–48,
doi:10.1109/MS.2011.27.
F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov, L. Henrio & C. Pérez (2009):
GCM: A Grid Extension to Fractal for Autonomous Distributed Components.
Annals of Telecommunications 64(1),
pp. 5–24,
doi:10.1007/s12243-008-0068-8.
Françoise Baude, Ludovic Henrio & Cristian Ruz (2014):
Programming distributed and adaptable autonomous components-the GCM/ProActive framework.
Software: Practice and Experience,
doi:10.1002/spe.2270.
S. Bensalem, M. Bozga, T.-H. Nguyen & J. Sifakis (2010):
Compositional verification for component-based systems and application.
IET Software 4(3),
doi:10.1007/978-3-540-88387-6_7.
E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma & J.-B. Stefani (2006):
The Fractal Component Model and Its Support in Java.
Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems 36(11-12),
doi:10.1002/spe.767.
Buisson, J. and André, F. and Pazat, J.L. (2005):
A framework for dynamic adaptation of parallel components.
In: Parallel Computing: Current & Future Issues of High-End Computing International Conference ParCo,
NIC Series 33,
Malaga Spain,
pp. 65.
T. Bureš, P. Hnetynka & F. Plasil (2006):
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model.
In: Proceedings of SERA 2006, IEEE CS,
pp. 40–48,
doi:10.1109/SERA.2006.62.
H. Garavel, F. Lang, R. Mateescu & W. Serve (2011):
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.
In: TACAS'11,
LNCS 6605.
Springer, Heidelberg,
Saarbrücken, Germany,
doi:10.1007/978-3-642-19835-9_33.
Nuno Gaspar, Ludovic Henrio & Eric Madelaine (2013):
Bringing Coq Into the World of GCM Distributed Applications.
In: International Symposium on High-level Parallel Programming and Applications&, HLPP,
Paris, France,
doi:10.1007/s10766-013-0264-7.
Available at http://hal.inria.fr/hal-00880533.
Ludovic Henrio, Florian Kammüller & Muhammad Uzair Khan (2010):
A Framework for Reasoning on Component Composition.
In: FMCO 2009,
Lecture Notes in Computer Science.
Springer,
doi:10.1007/978-3-642-17071-3_1.
Petr Hnětynka & František Plášil (2006):
Dynamic reconfiguration and access to services in hierarchical component models.
In: Proceedings of the 9th international conference on Component-Based Software Engineering,
CBSE'06.
Springer-Verlag,
pp. 352–359,
doi:10.1007/11783565_27.
Philippe Merle & Jean-Bernard Stefani (2008):
A formal specification of the Fractal component model in Alloy.
Research Report RR-6721.
INRIA.
Available at http://hal.inria.fr/inria-00338987/en/.
Paul Naoumenko (2010):
Designing Non-functional Aspects With Components.
University of Nice-Sophia Antipolis.
Lionel Seinturier, Nicolas Pessemier, Laurence Duchien & Thierry Coupaye (2006):
A Component Model Engineered with Components and Aspects.
In: Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering,
doi:10.1007/11783565_10.