Algorithmes  Algorithmique répartie  Algèbre linéaire  Allocation de registres  Animation  Architecture client-serveur  Assistant de preuve  Assistants de preuve  Auto-stabilisation  Automatisation  Autostabilisation  CLIPS  Calcul des constructions  Calcul des constructions inductives  Carte à puce  Certification  Code source  Collecte de données  Coloration de graphe  Commande automatique  Consensus  Constructions inductives  Contraintes  Coq  Coq  Courbes Elliptiques  Courbes elliptiques  Cryptographie  Execution de modèle  Extensionnalité  Finger trees  Génie logiciel  Génération de tests  Infrastructures à clés publiques  Isabelle/HOL  Isolation d'applets  Isomorphisme de Curry-Howard  Isomorphisme de curry-howard  Lambda-calcul  Langage C  Langage de preuves  Langage de spécification  Langage de tactiques  Langages de programmation -- Sémantique  Langages de programmation  Langages de programmation fonctionnelle  Logiciels -- Vérification  Logique de Hoare  Logique du premier ordre  Logique intuitionniste  Modèle calculatoire  Modèle à taille de mémoire borné  Mémoire flash  Métalangage  Méthodes formelles  Méthodes formelles  OCL  Oracles  Outils d'aide à la preuve  Paramétricité  Preuve  Preuve de programmes  Preuve formelle  Procédure de décision  Programmation fonctionnelle  Programmation impérative  Protocoles de population  Relation logique  Réalisabilité  Réflexion calculatoire  Réplication  Résistance aux intrusions  Solveurs SAT  Style de preuves  Système Coq  Systèmes de types purs  Systèmes à paramètres répartis  Sécurité  Théorie de la démonstration  Théorie des types  Tolérance aux défaillances  Tolérance aux fautes  Topologie  Type classes  Types dépendants  UML  UML  Vérification de programmes  Vérification formelle  Élection de leader  

Christine Paulin-Mohring a dirigé les 11 thèses suivantes :

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Christine Paulin-Mohring a été président de jury des 4 thèses suivantes :


Christine Paulin-Mohring a été rapporteur des 2 thèses suivantes :


Christine Paulin-Mohring a été membre de jury de la thèse suivante :