Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation
par contraintes / Rémy Garcia ; sous la direction de Claude Michel. Thèse de doctorat
: Informatique : Université Côte d'Azur : 2021
Information trouvée : membre du jury
Analyse statique et évaluation partielle de systèmes de processus mobiles/Faculté
des sciences de Luminy, Aix-Marseille II [Thèse, 2000]
Analyse statique par interprétation abstraite de systèmes hybrides / par Olivier Bouissou
; sous la direction de Matthieu Martel. Thèse, Palaiseau, 2008
Information trouvée : Directeur de thèse
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les
flottants pour la vérification de programmes / Heytem Zitoun ; sous la direction de
Michel Rueher et Claude Michel. Thèse de doctorat : Informatique : Côte d'Azur : 2018
Information trouvée : président du jury
http://infolamps.univ-perp.fr/index.php?mode=membres, 2018-06-04
Information trouvée : Enseignant à l'Université de Perpignan et membre de LAMPS