Legond-aubry Fabrice
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
LEGOND-AUBRY Fabrice is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
J. Sopena, S. Baarir, F. Legond‑Aubry : “Vérification formelle d’un algorithme générique et hiérarchique d’exclusion mutuelleâ€, Technique et Science Informatiques, vol. 28 (9), pp. 1085-1105, (ISBN: 0752-4072) (2009)
-
J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “Building Effective Mutual Exclusion Services for Gridsâ€, Journal of Supercomputing, vol. 49 (1), Heidelberg, Deutschland, pp. 84-107, (Springer Berlin) (2009)
-
F. Kordon, A. Linard, M. Beccuti, D. Buchs, L. fronc, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodrigues, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, K. Wolf : “Model Checking Contest @ Petri Nets, Report on the 2013 editionâ€, CoRR (2013)
