Thérèse Accart Hardin
Thérèse Accart Hardin a dirigé les 14 thèses suivantes :
Formalisations et comparaisons de politiques et de systèmes de sécurité
par Lionel Habib sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2011
Développement de logiciel critique en FoCalize : méthodologie et outils pour l'évaluation de conformité
par Philippe Ayrault sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2011
Study of the benefits of using deductive formal methods for secure developments
par Éric Jaeger sous la direction de Thérèse Accart Hardin - Paris 6
Philosophie des sciences informatiques
Soutenue en 2010
Modélisation et implantation d'une politique de sécurité d'un OS multi-niveaux via une traduction de FoCaLyze vers C
par Julien Blond sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2010
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
par Charles Morisset sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2007
Tableaux et déduction modulo
par Richard Bonichon sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2006
Sémantique des traits orientés objet de Focal
par Stéphane Fechter sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2005
Conception et implantation du langage Foc pour le développement de logiciels certifiés
par Virgile Prevosto sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2003
Analyse de sûreté du logiciel par interprétation abstraite et contraintes
par Fabrice Parrennes sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2002
Ajout de synchronisme dans les langages fonctionnels fortement typés
par Pascal Cuoq sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2002
Calcul d'horloges et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML
par Grégoire Hamon sous la direction de Thérèse Accart Hardin - Paris 6
Informatique
Soutenue en 2002
Specification d'un environnement dedie a la programmation certifiee de bibliotheques de calcul formel
par SYLVAIN BOULME sous la direction de Thérèse Accart Hardin - Paris 6
Sciences et techniques
Soutenue en 2000
Formalisation de la theorie de reecriture dans coq
par NACIRA CHABANE sous la direction de Thérèse Accart Hardin - Paris 6
Sciences et techniques communes
Soutenue en 1999
Des calculs de substitution explicite et de leur application a la compilation et de leur application a la compilation des langages fonctionnels
par Bruno Pagano sous la direction de Thérèse Accart Hardin - Paris 6
Sciences et techniques
Soutenue en 1998
Thérèse Accart Hardin a été rapporteur de la thèse suivante :
Preuves par induction dans le calcul des séquents modulo
par Fabrice Nahon sous la direction de Claude Kirchner - Nancy 1
Informatique
Soutenue le 26-10-2007
Thérèse Accart Hardin a été membre de jury de la thèse suivante :
Automated deduction and proof certification for the B method
par Pierre Halmagrand sous la direction de David Delahaye - Paris, CNAM
Informatique
Soutenue le 10-12-2016
