Author Info
Name
Affiliation
Papers
FABRICE LEGOND-AUBRY
LIP6--Université de Paris 6, INRIA Rocquencourt 4, Paris Cedex 05, France
9
Collaborators
Citations 
PageRank 
27
64
5.20
Referers 
Referees 
References 
160
193
111
Search Limit
100193
Title
Citations
PageRank
Year
Model Checking Contest @ Petri Nets, Report on the 2013 edition.50.702013
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle00.342009
Building effective mutual exclusion services for grids00.342009
The Impact of Clustering on Token-Based Mutual Exclusion Algorithms20.372008
Verification of a Hierarchical Generic Mutual Exclusion Algorithm00.342008
A Composition Approach to Mutual Exclusion Algorithms for Grid Applications80.572007
dmcG: a distributed symbolic model checker based on GreatSPN20.362007
JAC: an aspect-based distributed dynamic framework441.792004
Design by Contract: analysis of hidden dependencies in component based application30.402004