Design by Contract: analysis of hidden dependencies in component based application. - Daniel Enselme; Gerard Florin; Fabrice Legond-Aubry (J. Object Technol., 2004)

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

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

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

The Impact of Clustering on Token-Based Mutual Exclusion Algorithms. - Julien Sopena; Luciana Arantes; Fabrice Legond-Aubry; Pierre Sens 001 (Euro-Par, 2008)

Verification of a Hierarchical Generic Mutual Exclusion Algorithm. - Souheib Baarir; Julien Sopena; Fabrice Legond-Aubry (FORTE, 2008)

Building effective mutual exclusion services for grids. - Julien Sopena; Luciana Arantes; Fabrice Legond-Aubry; Pierre Sens 001 (J. Supercomput., 2009)

Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle. - Julien Sopena; Souheib Baarir; Fabrice Legond-Aubry (Tech. Sci. Informatiques, 2009)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)