Fabrice Legond-Aubry

	2009
8		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)
7		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)
	2008
6		Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens: The Impact of Clustering on Token-Based Mutual Exclusion Algorithms. Euro-Par 2008: 565-575
5		Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry: Verification of a Hierarchical Generic Mutual Exclusion Algorithm. FORTE 2008: 99-115
	2007
4		Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry: dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504
3		Julien Sopena, Fabrice Legond-Aubry, Luciana Bezerra Arantes, Pierre Sens: A Composition Approach to Mutual Exclusion Algorithms for Grid Applications. ICPP 2007: 65
	2004
2		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)
1		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)

Coauthor Index

1	Luciana Arantes (Luciana Bezerra Arantes)	[3] [6] [7]
2	Souheib Baarir	[5] [8]
3	Laurence Duchien	[1]
4	Daniel Enselme	[2]
5	Gerard Florin	[1] [2]
6	Alexandre Hamez	[4]
7	Fabrice Kordon	[4]
8	Laurent Martelli	[1]
9	Renaud Pawlak	[1]
10	Lionel Seinturier	[1]
11	Pierre Sens	[3] [6] [7]
12	Julien Sopena	[3] [5] [6] [7] [8]
13	Yann Thierry-Mieg	[4]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page