Knowledge Tree

researcher / Thérèse Accart Hardin

Thérèse Accart Hardin

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Edit Merge See Links

Directed Thesis:

Développement de logiciel critique en FoCalize : méthodologie et outils pour l'évaluation de conformité

Formalisations et comparaisons de politiques et de systèmes de sécurité

Modélisation et implantation d'une politique de sécurité d'un OS multi-niveaux via une traduction de FoCaLyze vers C

Sémantique des systèmes de contrôle d'accès : définition d'un cadre sémantique pour la spécification, l'implantation et la comparaison de modèles de contrôle d'accès

Tableaux et déduction modulo

Sémantique des traits orientés objet de Focal

Conception et implantation du langage Foc pour le développement de logiciels certifiés

Ajout de synchronisme dans les langages fonctionnels fortement typés

Analyse de sûreté du logiciel par interprétation abstraite et contraintes

Calcul d'horloges et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML

Specification d'un environnement dedie a la programmation certifiee de bibliotheques de calcul formel

Formalisation de la theorie de reecriture dans coq

Des calculs de substitution explicite et de leur application a la compilation et de leur application a la compilation des langages fonctionnels