Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Philippe Dague
Philippe Dague
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Knowledge Extraction from Description Logic Terminologies
Modélisation et simulation qualitative de systèmes hybrides
Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués
Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques
Diagnostic distribué de systèmes respectant la confidentialité
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés
Optimized diagnosability of distributed discrete event systems through abstraction
Diagnosis of Large Software Systems Based on Colored Petri Nets
Mise à jour incrémentale des bases de données géographiques et maintien de leur cohérence
Raisonnement automatique sur les croyances et les incertitudes d'un agent formalisé au sein de la théorie de l'interaction rationnelle
Modélisation et inférence des relations causales dans les systèmes physiques
Gaspar : Simulateur à base de modèles pour la supervision de réseaux de télécommunication
Un cadre pour guider la localisation automatique de défauts en utilisant des préférences stratégiques locales