Knowledge Tree

researcher / Christine Paulin-Mohring

Christine Paulin-Mohring

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Spécification et preuve de programmes d'ordre supérieur

Vérification formelle, compositionnelle at automatique de systèmes de composants

Un environnement pour la programmation avec types dépendants

Egalité et filtrage avec types dépendants dans le calcul des constructions inductives

Extension de ML avec raffinement : syntaxe, sémantiques et système de types

Modélisation et vérification formelles de systèmes embarqués dans les cartes à microprocesseur : plate-forme Java Card et système d'exploitation

Démonstration automatique en théorie des types

Programmation fonctionnelle certifiée : l'extraction de programmes dans l'assistant Coq

Réflexion pour la réécriture dans le calcul des constructions inductives

Preuve de programmes imperatifs en theorie des types

Une theorie des constructions inductives