Fabrice Legond-Aubry

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Epistemic Logic

Automated Verification

Top Venues

Publications

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
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle. Tech. Sci. Informatiques 28 (9) (2009)
Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens
Building effective mutual exclusion services for grids. J. Supercomput. 49 (1) (2009)
Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. FORTE (2008)
Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens
The Impact of Clustering on Token-Based Mutual Exclusion Algorithms. Euro-Par (2008)
Julien Sopena, Fabrice Legond-Aubry, Luciana Bezerra Arantes, Pierre Sens
A Composition Approach to Mutual Exclusion Algorithms for Grid Applications. ICPP (2007)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN (2007)
Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Gerard Florin, Fabrice Legond-Aubry, Laurent Martelli
JAC: an aspect-based distributed dynamic framework. Softw. Pract. Exp. 34 (12) (2004)
Daniel Enselme, Gerard Florin, Fabrice Legond-Aubry
Design by Contract: analysis of hidden dependencies in component based application. J. Object Technol. 3 (4) (2004)