A Formal Theory of Cooperative TU-Games. - Marc Daumas; Érik Martin-Dorel; Annick Truffert; Michel Ventou (MDAI, 2009)

Stochastic Formal Methods for Hybrid Systems. - Marc Daumas; Érik Martin-Dorel; David R. Lester; Annick Truffert (NASA Formal Methods, 2009)

Improved bound for stochastic formal correctness of numerical algorithms. - Marc Daumas; David R. Lester; Érik Martin-Dorel; Annick Truffert (Innov. Syst. Softw. Eng., 2010)