Rémy Garcia

According to our database, Rémy Garcia authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Floating-point numbers round-off error analysis by constraint programming.

Rémy Garcia

Constraints An Int. J., September, 2023

2021

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

PhD thesis, 2021

2020

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations.

Rémy Garcia, Claude Michel, Michel Rueher

Proceedings of the Software Verification - 12th International Conference, 2020

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors.

Rémy Garcia, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2020