researcher / Michel Rueher

Michel Rueher

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Directed Thesis:

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs
Résolution de contraintes sur les flottants dédiée à la vérification de programmes
Solutions basées sur les réseaux pour la recherche d'experts
Technique de programmation par contraintes pour la vérification bornée des programmes : une stratégie non-séquentielle appliquée à un système embarqué critique
Planification de trajectoire en présence de courants : application aux missions de drones
Contraintes globales et heuristiques de recherche pour les CSPs continus
Définition et applications des extensions des fonctions réelles aux intervalles généralisés : révision de la théorie des intervalles aux intervalles généralisés
Résolution de contraintes géométriques par rigidification récursive et propagation d'intervalles
Generation automatique de cas de test structurel avec la programmation logique par contraintes
Résolution de systèmes de contraintes réelles non linéaires
Contribution a la résolution de contraintes sur les réels par propagation d'intervalles
Un systeme d'inference de relations intertypes pour prolog. Application a la definition de modeles objets
Prototypage de logiciels avec le langage PROLOG : méthode et outils