Email: Address:
LIP –
ENS de Lyon –
46 allée d'Italie –
69364 LYON CEDEX 07 –
France
Office: GN1, Sud 315 Phone: +33 4 72 72 84 36 Fax: +33 4 72 72 88 06 (Please indicate “Attention of Erik Martin-Dorel, LIP”)
Publications
Marc Daumas, David Lester, Érik
Martin-Dorel, and Annick Truffert.
Stochastic formal correctness of numerical algorithms.
In NASA Formal Methods 2009, pages 136–145, Moffett Field,
California, 2009.
(PDF)
Marc Daumas, Érik Martin-Dorel, and
Annick Truffert.
Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes
hybrides.
In MajecSTIC 2009, Avignon, France, 2009.
(PDF)
Marc Daumas, Érik Martin-Dorel, Annick
Truffert, and Michel Ventou.
A formal theory of cooperative TU-games.
In MDAI 2009, pages 81–91, Awaji Island, Japan, 2009.
(doi:10.1007/978-3-642-04820-3_8)
Marc Daumas, David Lester, Érik
Martin-Dorel, and Annick Truffert.
Improved bound for stochastic formal correctness of numerical algorithms.
Innovations in Systems and Software Engineering, A NASA
Journal, 6(3):173–179, 2010.
(doi:10.1007/s11334-010-0128-x)
Nicolas Brisebarre, Nicolas Louvet, Érik
Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux, and Miloš Ercegovac.
Implementing decimal floating-point arithmetic through binary: Some
suggestions.
In IEEE ASAP 2010, pages 317–320, Rennes, France, 2010.
(doi:10.1109/ASAP.2010.5540969)
Nicolas Brisebarre, Mioara Maria Joldes,
Peter Kornerup, Érik Martin-Dorel, and Jean-Michel Muller.
Augmented precision square roots, 2-D norms, and discussion on correctly
rounding sqrt (x2+y2).
In IEEE ARITH 2011, pages 23–30, Tuebingen, Germany, 2011.
(doi:10.1109/ARITH.2011.13)
