Algorithmes  Allocation de registres  Alt-Ergo  Analyse de dépendances  Analyse dynamique  Analyse statique  Animation  Architecture client-serveur  Architecture des ordinateurs  Assistants de preuve  Automatisation des preuves  B  Bibliothèque OCaml  Bureautique  Calcul  Certification de programmes  Code source  Coloration de graphe  Combinaison d'analyse  Compilation  Concurrence  Contraintes  Coordination  Coq  Coq  Couverture de code  Déduction  Déduction automatique  Effets  Effets calculatoires  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é  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 de programmation  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écorée  Logique informatique  Microordinateurs -- Programmation  Ml  Model-based testing  Modulaire  Modèles mathématiques  Multi-BSP  Métaconnaissance  Méthode B  Méthodes Formelles  Méthodes formelles  Méthodes formelles  OCL  OCaml  Objective Caml  Objets  Ontologie  Ordinateurs -- Programmation  Petri, Réseaux de  Polymorphisme  Preuve  Preuve de correction  Preuve de programmes  Preuve formelle  Preuves de programmes  Production des preuves  Programmation fonctionnelle  Programmation fonctionnelle  Programmation impérative  Programmation logique  Programmation parallèle  Programmation parallèle  Relations inductives  Représentation des connaissances  Rewriting  Règles de l'Atelier B  Réduction  Réseaux Workflows  Résolution SMT  Réécriture  Sat  Simulation  Simulation par ordinateur  Slicing  Smt  Smt-Lib  Solveurs  Solveurs SAT  Solveurs de contraintes  Spécifications exécutables  Spécification d'exigences  Spécifications modales  Superdéduction  Surveillance  Synchronie  Système Ferroviaire  Systèmes d'information  Systèmes de preuve  Systèmes de types  Systèmes experts  Systèmes informatiques -- Mesures de sûreté -- Examens  Systèmes ouverts  Systèmes, Conception de  Sécurité routière  Sémantique  Sémantique opérationnelle  Sémantique équationnelle  Sûreté des langages  Termination  Test  Test template framework  Test unitaire  Tests fonctionnels  Thèses et écrits académiques  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  UML  UML  Vérification  Vérification de programmes  Vérification déductive  Vérification formelle  Vérification formelle, dépendances de contrôle  Why3  Z  Z notation  

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 8 thèses suivantes :


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

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 3 thèses suivantes :