Fabrice Legond-Aubry

According to our database, Fabrice Legond-Aubry authored at least 9 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2013

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

Building effective mutual exclusion services for grids.

Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens

J. Supercomput., 2009

2008

Verification of a Hierarchical Generic Mutual Exclusion Algorithm.

Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

The Impact of Clustering on Token-Based Mutual Exclusion Algorithms.

Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens

Proceedings of the Euro-Par 2008, 2008

2007

A Composition Approach to Mutual Exclusion Algorithms for Grid Applications.

Julien Sopena, Fabrice Legond-Aubry, Luciana Bezerra Arantes, Pierre Sens

Proceedings of the 2007 International Conference on Parallel Processing (ICPP 2007), 2007

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

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

Design by Contract: analysis of hidden dependencies in component based application.

Daniel Enselme, Gerard Florin, Fabrice Legond-Aubry

J. Object Technol., 2004