Fabrice Legond-Aubry

Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens: Building effective mutual exclusion services for grids. The Journal of Supercomputing 49(1): 84-107 (2009)

Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry: Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle. Technique et Science Informatiques 28(9): 1085-1105 (2009)

Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens: The Impact of Clustering on Token-Based Mutual Exclusion Algorithms. Euro-Par 2008: 565-575

Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry: Verification of a Hierarchical Generic Mutual Exclusion Algorithm. FORTE 2008: 99-115

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry: dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504

Julien Sopena, Fabrice Legond-Aubry, Luciana Bezerra Arantes, Pierre Sens: A Composition Approach to Mutual Exclusion Algorithms for Grid Applications. ICPP 2007: 65

Daniel Enselme, Gerard Florin, Fabrice Legond-Aubry: Design by Contract: analysis of hidden dependencies in component based application. Journal of Object Technology 3(4): 23-45 (2004)

Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Gerard Florin, Fabrice Legond-Aubry, Laurent Martelli: JAC: an aspect-based distributed dynamic framework. Softw., Pract. Exper. 34(12): 1119-1148 (2004)