Alf  Amarrage  Apprentissage automatique  Apprentissage par renforcement  Apprentissage supervisé  Architecture -- Informatique  Architectures parallèles  Arcs universel  Automates hybrides  Automaton  Bases de données  Bioinformatique  Bipancyclicité  Bornes inférieures  Bornes supérieures  CEGAR  Cell  Certification  Chemins et cycles  Chorégraphie de services  Circuits logiques  Cohérence  Coloration acyclique des arcs  Coloration des arcs sommet-distinguant  Coloration propre d'arcs avec des sommet-distingué  Coloriage de graphes  Commande automatique  Comportement qualitatif  Conformité  Conjecture de Caccetta-Häggkvist  Contrats  Coupes dirigées  Cryptographie  Cryptographie quantique  Cycle Hamiltonien  Cycle-facteurs  Cycles sommet-disjoints  Diagnostic  Diagnostic distribué à base de cohérence  Diagnostic à base de modèles  Diagnosticabilité  Différence logique  Dispositif-indépendant  Déclaration de conformité  Décomposition arborescente distribuée  Détection de défaut  Entropie  Exécution  Exécution symbolique  FUML  Fiabilité  Fonctions  Formalisation  GPU  Graphes de Cayley  Graphes hamiltoniens  Génie logiciel  Génération de cas de test  Géographie -- Logiciels  IOSTS  Incertitude  Informatique  Informatique quantique  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Intelligence artificielle  Interactions ARN-protéine  Invariants  Jeu  Jeux de stratégie  Langages formels  Line graphes  Logiciels -- Vérification  Logique de description  Logique propositionnelle  Matrices  Maximums et minimums  Mise-en-gage quantique  Modalité  Model checking  Modularité d'ontologies  Modélisation de défauts  Monitorage continu  Monitorage fonctionnel  Multi-coeur  Multi-échelle  Mémoire faible  Métabolisme  Métabolites  Méthodes avancées de raisonnement  Méthodes formelles  Méthodes formelles  Nash  Ontologies  Optimisation bruitée  Optimisation mathématique  Orchestration  Outils  PSCS  Parallélisation  Parallélisme  Passage de valeurs  Petri, Réseaux de  Pile ou face quantique  Porte Logique  Portefeuille  Primitives cryptographiques  Prise de décision  Profiles UML  Programmation  Programmation convexe  Programmation fonctionnelle  Programmation linéaire  Programmation parallèle  Projection  Proposition  Protocole de cohérence de cache  Protocoles zero-knowledge quantiques  Raisonnement  Raisonnement distribué respectant la confidentialité  Représentation des connaissances  Représentation et raisonnement des connaissances  Réalisabilité  Réseaux ad hoc  Réseaux de Petri Colorés  Réseaux métaboliques  Résolution de problème -- Logiciels  SMT  SMT solver  STM  Satellites artificiels en télédétection  Satellites autonomes  Service web  Services  Services Web  Simulation  Simulation Qualitative  Simulation qualitative  Solveurs  Structures 3D  Structures de données  SysML  SysML  Système d'inéquation  Système de transitions  Système de transitions symboliques  Système technologique piloté  Systèmes Distribués  Systèmes de télécommunications  Systèmes distribués  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes hybrides  Systèmes hybrides incertains  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Pannes  Systèmes paramétrés  Systèmes à Evénements Discret  Systèmes échantillonnés  Sécurité calculatoire  Sécurité inconditionnelle  Sémantique  Technique d'abstraction  Test en-ligne  Test formel  Test passif  Test à base de modèles  Tests  Tests fonctionnels  Thèses et écrits académiques  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Tolérance aux fautes  Tolérance aux pertes  Tournois  Traitement réparti  Transformation de modèle  Transmission inconsciente quantique  UML  Vectorisation  Voronoi, Polygones de  Vérification  Vérification de modèles  WS-BPEL  Web sémantique  Équations différentielles -- Théorie qualitative  

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

Sciences appliquées
Soutenue en 1998
Thèse soutenue


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

Informatique
Soutenue le 11-12-2015
Thèse soutenue
Informatique
Soutenue le 28-11-2014
Thèse soutenue

Informatique
Soutenue le 28-11-2014
Thèse soutenue

Informatique
Soutenue le 16-12-2011
Thèse soutenue

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