Algorithmes  Algorithmique répartie  Algèbre linéaire  Allocation de registres  Animation  Anonymat  Architecture client-serveur  Assistant de preuve  Assistants de preuve  Auto-stabilisation  Automatisation  Autostabilisation  B  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  Flots de données synchrones  Génie logiciel  Génération de tests  Induction, co-induction  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  Lustre  Lustres  Mesures de sûreté  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  Preuves déductives  Procédure de décision  Programmation fonctionnelle  Programmation impérative  Protocoles cryptographiques  Protocoles de population  Pvs  Relation logique  Réalisabilité  Réflexion calculatoire  Réplication  Résistance aux intrusions  Secret  Secret du vote  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  Typage  Type classes  Types dépendants  UML  UML  Vote électronique  Vérification de programmes  Vérification formelle  Élection de leader  Équivalence  

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

Sciences appliquées
Soutenue en 1994
Thèse soutenue


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


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


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