Publications de
Marc Daumas, David Lester, Erik Martin-Dorel, Annick Truffert
Improved bound for stochastic formal correctness of numerical algorithms
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 3, p. 173-179, 2010.
Marc Daumas, David Lester, Erik Martin-Dorel, Annick Truffert
Stochastic formal correctness of numerical algorithms (regular paper)
Dans : International Symposium on NASA Formal Methods (NFM 2009), Moffett Field, California, 06/04/09-08/04/09, NASA, p. 136-145, 2009.
Accès : http://ti.arc.nasa.gov/m/events/nfm09/proceedings.pdf
BibTeXMarc Daumas, Erik Martin-Dorel, Annick Truffert, Michel Ventou
A Formal Theory of Cooperative TU-Games (regular paper)
Dans : Modeling Decisions for Artificial Intelligence (MDAI 2009), Awaji Island, Japan, 30/11/09-02/12/09, Springer, p. 81-91, 2009.
Accès : http://dx.doi.org/10.1007/978-3-642-04820-3_8
BibTeXMarc Daumas, Erik Martin-Dorel, Annick Truffert
Bornes quasi-certaines sur l’accumulation d’erreurs infimes dans les systèmes hybrides (regular paper)
Dans : Manifestation des Jeunes Chercheurs en Sciences et Technologies de l’Information et de la Communication (MajecSTIC 2009), Avignon, 16/11/09-18/11/09, Université d’Avignon, (en ligne), 2009.
Accès : http://majecstic2009.univ-avignon.fr/Actes_MajecSTIC_RJCP/MajecSTIC/articles/1032.pdf
BibTeX