Algorithmes  Allocation de registres  Analyse de dépendances  Analyse dynamique  Analyse statique  Animation  Architecture client-serveur  Architecture des ordinateurs  Assistants de preuve  Automatisation des preuves  B  Bureautique  Certification de programmes  Code source  Coloration de graphe  Contraintes  Coq  Coq  Déduction  Déduction automatique  Effets calculatoires  Execution de modèle  FRAMA-C  Fastest  Flux de travail  Focalize  Génération de code fonctionnel  Génération de preuves  Génie Logiciel  Génie logiciel  Génération de tests  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 fonctionnels  Langages formels  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  Microordinateurs -- Programmation  Ml  Model-based testing  Modèles mathématiques  Multi-BSP  Métaconnaissance  Méthode B  Méthodes Formelles  Méthodes formelles  Méthodes formelles  OCL  Objective Caml  Objets  Ontologie  Petri, Réseaux de  Preuve  Preuve de correction  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  Solveurs  Solveurs SAT  Solveurs de contraintes  Spécifications exécutables  Spécification d'exigences  Spécifications modales  Superdéduction  Système Ferroviaire  Systèmes d'information  Systèmes de preuve  Systèmes experts  Systèmes informatiques -- Mesures de sûreté -- Examens  Systèmes ouverts  Systèmes, Conception de  Sécurité routière  Sémantique opérationnelle  Sémantique équationnelle  Sûreté des langages  Termination  Test  Test template framework  Thèses et écrits académiques  Théorie de la démonstration  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 formelle  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 5 thèses suivantes :


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

Mathématiques et informatique
Soutenue le 09-12-2015
Thèse soutenue


Catherine Dubois a été membre de jury de la thèse suivante :