Abduction  Alf  Amarrage  Apprentissage automatique  Apprentissage par renforcement  Apprentissage supervisé  Architecture -- Informatique  Architectures parallèles  Arcs universel  Automates hybrides  Automates temporisés  Automaton  Bases de données  Bioinformatique  Bipancyclicité  Bornes inférieures  Chemins et cycles  Diagnostic  Diagnostic à base de modèles  Diagnosticabilité  Exécution symbolique  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Logique propositionnelle  Model checking  Méthodes formelles  Méthodes formelles  Représentation des connaissances  Services Web  Solveurs  Systèmes dynamiques hybrides  Systèmes échantillonnés  Tests  Tests fonctionnels  Traitement réparti  Vérification de modèles  

Philippe Dague dirige actuellement la thèse suivante :

Analyse de robustesse pour la conception de systèmes temps réel implémentables

par Lulu He sous la direction de Philippe Dague et de Lina Ye . - université Paris-Saclay

Informatique

En préparation depuis le 01-02-2019

Philippe Dague a dirigé les 14 thèses suivantes :

Knowledge Extraction from Description Logic Terminologies

par Jieying Chen sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-11-2018

Modélisation et simulation qualitative de systèmes hybrides

par Hadi Zaatiti sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 29-11-2018

Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques

par Martin Morterol sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-12-2016

Diagnostic distribué de systèmes respectant la confidentialité

par Vincent Armant sous la direction de Philippe Dague et de Laurent Simon . - Paris 11

Informatique

Soutenue le 27-09-2012

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

par Michel Batteux sous la direction de Philippe Dague - Paris 11

Informatique

Soutenue le 31-12-2011

Optimized diagnosability of distributed discrete event systems through abstraction

par Lina Ye sous la direction de Philippe Dague - Paris 11

Informatique

Soutenue le 07-07-2011

Diagnosis of Large Software Systems Based on Colored Petri Nets

par Yingmin Li sous la direction de Philippe Dague - Paris 11

Informatique

Soutenue en 2010

Mise à jour incrémentale des bases de données géographiques et maintien de leur cohérence

par Hakima Kadri-Dahmani sous la direction de Philippe Dague - Paris 13

Informatique

Soutenue en 2005

Raisonnement automatique sur les croyances et les incertitudes d'un agent formalisé au sein de la théorie de l'interaction rationnelle

par Didier Mallat Desmortiers sous la direction de Philippe Dague - Paris 13

Informatique

Soutenue en 2003

Diagnostic et reconfiguration basés sur des modèles hybrides concurrents : application aux satellites autonomes

par Emmanuel Bénazéra sous la direction de Philippe Dague et de Louise Travé-Massuyès . - Toulouse 3

Automatique. Informatique industrielle

Soutenue en 2003

Une approche à base de modèles fondés sur les intervalles pour la génération automatique d'arbres de diagnostic optimaux, application au domaine de l'automobile

par Pierre-Philippe Faure sous la direction de Philippe Dague - Paris 13

Sciences. Informatique

Soutenue en 2001

Modélisation et inférence des relations causales dans les systèmes physiques

par Sahraoui, Arderrazak sous la direction de Philippe Dague - Paris 13

Sciences appliquées

Soutenue en 1998

Gaspar : Simulateur à base de modèles pour la supervision de réseaux de télécommunication

par Serge Bibas sous la direction de Philippe Dague - Paris 13

Informatique

Soutenue en 1997

Un cadre pour guider la localisation automatique de défauts en utilisant des préférences stratégiques locales

par Claudia Bottcher sous la direction de Philippe Dague - Paris 13

Informatique

Soutenue en 1996

Philippe Dague a été président de jury des 14 thèses suivantes :

Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués

par Slim Medimegh sous la direction de Frédéric Boulanger - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 20-12-2018

Reprogrammation comportementale : modèles, algorithmes et application aux maladies complexes

par Célia Biane sous la direction de Franck Delaplace - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-11-2018

Une méthode de test fonctionnel en-ligne basée sur une approche de monitorage distribuée continue appliquée aux systèmes communicants

par José Alfredo Alvarez Aldana sous la direction de Stéphane Maag - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 28-09-2018

Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles

par David Declerck sous la direction de Fatiha Zaïdi - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 24-09-2018

Model-Based Testing over IOSTS enriched with function calls

par Imen Boudhiba sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 02-03-2017

Conception, modélisation et simulation in silico d'un nanosystème biologique artificiel pour le diagnostic médical

par Marc Bouffard sous la direction de Patrick Amar et de Franck Molina . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 29-09-2016

Portfolio Methods in Uncertain Contexts

par Jialin Liu sous la direction de Olivier Teytaud et de Marc Schoenauer . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 11-12-2015

Cycles in graphs and arc colorings in digraphs

par Weihua He sous la direction de Hao Li - Paris 11

Informatique

Soutenue le 28-11-2014

Arc colorings and cycles in digraphs

par Yandong Bai sous la direction de Hao Li - Paris 11

Informatique

Soutenue le 28-11-2014

Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML

par Jérémie Tatibouët sous la direction de François Terrier - Paris 11

Informatique

Soutenue le 16-10-2014

Inférence d'invariants pour le model checking de systèmes paramétrés

par Alain Mebsout sous la direction de Sylvain Conchon et de Fatiha Zaïdi . - Paris 11

Informatique

Soutenue le 29-09-2014

A symbolic approach for the verification and the test of service choreographies

par Hữu Nghĩa Nguyễn (Nguyen) sous la direction de Fatiha Zaïdi et de Pascal Poizat . - Paris 11

Informatique

Soutenue le 31-10-2013

Test symbolique de services web composite

par Lina Bentakouk sous la direction de Marie-Claude Gaudel - Paris 11

Informatique

Soutenue le 16-12-2011

Quantum coin flipping and bit commitment : optimal bounds, pratical constructions and computational security

par André Chailloux sous la direction de Iordanis Kerenidis - Paris 11

Informatique

Soutenue le 24-06-2011

Philippe Dague a été membre de jury des 2 thèses suivantes :

Modélisation et score de complexes protéine-ARN

par Adrien Guilhot-Gaudeffroy sous la direction de Christine Froidevaux - Paris 11

Informatique

Soutenue le 29-09-2014

Adaptation de l’algorithmique aux architectures parallèles

par Alexandre Borghi sous la direction de Sylvain Peyronnet et de Jérôme Darbon . - Paris 11

Informatique

Soutenue le 10-10-2011