Agda  Algorithmes  Allocation de registres  Alt-Ergo  Analyse de dépendances  Analyse dynamique  Analyse statique  Animation  Animation temporelle  Apprentissage automatique  Architecture client-serveur  Architecture des ordinateurs  Arithmétique entière en précision arbitraire  Arithmétique interne des ordinateurs  Assistant de preuve  Assistants de preuve  Automatisation des preuves  B  Bibliothèque OCaml  Bureautique  Calcul  Calcul des prédicats  Certification de programmes  Chaînes de compilation  Code source  Coloration de graphe  Combinaison d'analyse  Compilation  Compilation  Concurrence  Contraintes  Coordination  Coq  Coq  Couverture de code  Diagrammes de relais  Déduction  Déduction automatique  Effets  Effets calculatoires  Enclenchements  Event-B  Execution de modèle  FRAMA-C  Fastest  Flux de travail  Focalize  Génération de code fonctionnel  Génération de preuves  Graphes, Théorie des  Génie Logiciel  Génie logiciel  Génération de tests  Hétérogénéité  Imagerie tridimensionnelle  Induction  Informatique -- Recherche  Informatique  Ingénierie des systèmes  Instanciation des quantificateurs  Intelligence artificielle  Interopérabilité  Interprétation abstraite  Isabelle/HOL  Iso 26262  Lambda-calcul  Langage applicatif dédié  Langage de programmation  Langage dédié  Langages de programmation -- Sémantique  Langages de programmation  Langages de programmation orientés objet  Langages fonctionels  Langages fonctionnels  Langages formels  Languages de programmation  Lieurs  Ligne de produits  Ligne de produits logiciels  Lignes de produits  Logiciels -- Développement  Logiciels -- Essais  Logiciels -- Exactitude  Logiciels -- Vérification  Logiciels  Logiciels critiques  Logique  Logique d'ordre supérieur  Logique décorée  Logique informatique  Logique mathématique  Microordinateurs -- Programmation  Ml  Model-based testing  Modulaire  Modèles logiques  Modèles mathématiques  Multi-BSP  Multimedia  Multimédias interactifs  Métaconnaissance  Méthode B  Méthodes Formelles  Méthodes formelles  Méthodes formelles  OCL  OCaml  Obfuscation  Objective Caml  Objets  Offuscation  Ontologie  Ordinateurs -- Programmation  Petri, Réseaux de  Polymorphisme  Preuve  Preuve de correction  Preuve de programmes  Preuve formelle  Preuve par réflexion  Preuves de programmes  Production des preuves  Programmation 3D  Programmation fonctionnelle  Programmation fonctionnelle  Programmation impérative  Programmation logique  Programmation parallèle  Programmation parallèle  Raisonnement automatique  Relations inductives  Représentation des connaissances  Rewriting  Règles de l'Atelier B  Réduction  Réseaux Workflows  Résolution SMT  Réécriture  SMT  Sat  Signal, Théorie du  Simulation  Simulation par ordinateur  Slicing  Smt  Smt-Lib  Solveurs  Solveurs SAT  Solveurs de contraintes  Solveurs linéaires parallèles  Son  Spécifications exécutables  Spécification d'exigences  Spécification formelle  Spécifications formelles  Spécifications modales  Superdéduction  Surveillance  Synchronie  Système Ferroviaire  Systèmes critiques  Systèmes cyber-physiques  Systèmes d'enclenchement ferroviaire  Systèmes d'information  Systèmes de preuve  Systèmes de types  Systèmes experts  Systèmes hétérogènes  Systèmes informatiques -- Mesures de sûreté -- Examens  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques hétérogènes  Systèmes ouverts  Systèmes, Conception de  Sécurité ferroviaire  Sécurité routière  Sémantique  Sémantique de traces  Sémantique opérationnelle  Sémantique équationnelle  Sémantiques formelles  Sûreté des langages  Techniques d'implémentation  Termination  Test  Test template framework  Test unitaire  Tests fonctionnels  Théorie de la démonstration  Théorie des graphes  Théorie des types  Théorèmes -- Démonstration automatique  Traduction automatique  Traitement automatique du langage naturel  Transports ferroviaires  Typage  UML  UML  Vérification  Vérification de modèles  Vérification formelle  Why3  

Catherine Dubois dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-10-2020
Thèse en préparation


Catherine Dubois a dirigé les 10 thèses suivantes :

Sciences de l'information et de la communication. Informatique
Soutenue le 16-11-2017
Thèse soutenue


Catherine Dubois a été président de jury des 10 thèses suivantes :


Catherine Dubois a été rapporteur des 9 thèses suivantes :

Informatique et Télécommunication
Soutenue le 14-09-2020
Thèse soutenue
Informatique, données, IA
Soutenue le 18-10-2019
Thèse soutenue
Informatique et Télécommunications
Soutenue le 11-07-2019
Thèse soutenue


Catherine Dubois a été membre de jury des 4 thèses suivantes :