Analyse par intervalles  Analyse statique  Arithmétique en virgule flottante  Arithmétique flottante  Calcul sur des intervalles  Collaboration  Contraintes  Contraintes CSP  Courant aérien  Câbles  Debogage  Distances de graphe  Drones  Débogage  Décision multicritère  Décomposition  Décomposition  Erreur d'arrondi  Erreurs d'arrondi  Essai  Estimation de paramètres  Exploration de données  Générateurs  Génération automatique de tests unitaires  Génération de Modèles  Génération de données  Génération de tests à partir de modèles,  Heuristique  Interface utilisateur  Interprétation abstraite  Lexicographique  Leximin  Localisation d'erreurs  Logiciels -- Validation  Logiciels -- Vérification  Lois de probabilités usuelles  Multicritère  Méta-Modèles  Navigation  Nombres à virgule flottante  OCL  OWA  Ondes -- Propagation  Optimisation  Optimisation mathématique  PHP  Paralellisation  Parallélisme  Parallélisme  Paramètres  Pouveur SMT  Praspel  Programmation par contraintes  Prolog  Prototypage  Précision numérique  Robots mobiles  Robots parallèles  Résolution  Résolution de problème -- Informatique  Solveur CSP  Solveurs  Stratégies de génération de tests  Systèmes embarqués  Thèses et écrits académiques  Trajectoires spatiales  Transformation automatique de programmes  UML  Vérification de programme  Vérification de programmes  Élicitation  Étalonnage  

Michel Rueher a dirigé les 11 thèses suivantes :

Sciences et techniques communes
Soutenue en 2000
Thèse soutenue


Michel Rueher a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 08-07-2015
Thèse soutenue

Michel Rueher a été rapporteur des 3 thèses suivantes :


Michel Rueher a été membre de jury de la thèse suivante :