Rémy Garcia

Rémy Garcia

University of Nice-Sophia Antipolis - Nice / France
Engineering & Technology / Aerospace Engineering
AD Scientific Index ID: 5211968
Université de Nice-Sophia Antipolis
person_outline Rémy Garcia's MOST POPULAR ARTICLES
1-) Towards a constraint system for round-off error analysis of floating-point computationR Garcia, C Michel, M Pelleau, M Rueher24th International Conference on Principles and Practice of Constraint …, 201832018
2-) A branch-and-bound algorithm to rigorously enclose the round-off errorsR Garcia, C Michel, M RueherPrinciples and Practice of Constraint Programming: 26th International …, 202022020
3-) Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintesR GarciaUniversité Côte d\'Azur, 202112021
4-) Rigorous enclosure of round-off errors in floating-point computationsR Garcia, C Michel, M RueherSoftware Verification: 12th International Conference, VSTTE 2020, and 13th …, 202012020
5-) Searching for Input Data that Exercise Maximal Errors in Floating-Point ComputationsR Garcia, C Michel, M RueherStamford, CT, USA September 30–October 4 2019, 3, 20192019