A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. - Rémy Garcia; Claude Michel; Michel Rueher (CP, 2020)

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. - Rémy Garcia; Claude Michel; Michel Rueher (VSTTE, 2020)

Analyse des erreurs d'arrondi sur les nombres à virgule flottante par programmation par contraintes. (Floating-point numbers round-off error analysis by constraint programming). - Rémy Garcia (2021)

Floating-point numbers round-off error analysis by constraint programming. - Rémy Garcia (Constraints An Int. J., 2023)