| 2008 |
|---|
| 6 | EE | 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 | EE | Souheib Baarir,
Julien Sopena,
Fabrice Legond-Aubry:
Verification of a Hierarchical Generic Mutual Exclusion Algorithm.
FORTE 2008: 99-115 |
| 2007 |
|---|
| 4 | EE | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg,
Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
ICATPN 2007: 495-504 |
| 3 | EE | 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 | EE | 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 | EE | 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) |
