Analyse par intervalles  Analyse statique  Apprentissage automatique  Arithmétique en virgule flottante  Arithmétique flottante  Calcul sur des intervalles  Clustering hiérarchique  Code source  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  Extraction et localisation de fonctionalités  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 -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Lois de probabilités usuelles  Multicritère  Méta-Modèles  Navigation  Nombres flottants  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  Programme compréhension  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  Stratégies de recherches  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 supervised the 13 following theses

Sciences et techniques communes
defended on 2000
Thèse soutenue


Michel Rueher was president of the thesis committee the 4 following theses


Michel Rueher was examiner the 3 following theses


Michel Rueher was thesis committee member for the following thesis