| 现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| 以前研究课题 : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- HABIB Lionel : “Formalisations et comparaisons de politiques et de systèmes de sécurité” 责任导师 Thérèse HARDIN, 答辩 2011-6-16
- AYRAULT Philippe : “Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité” 责任导师 Thérèse HARDIN, 答辩 2011-4-22
- BLOND Julien : “Outil pour implémentation de logiciels certifiables EAL7” 责任导师 Thérèse HARDIN, 答辩 2010-11-30
- NOYER Yves : “Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves” 责任导师 Renaud RIOBOO, 答辩 2010-9-28
- JAEGER Éric : “Etude de l'apport des méthodes formelles déductives pour les développement de sécurité” 责任导师 Thérèse HARDIN, 答辩 2010-3-8
- MORISSET Charles : “Sémantique des systèmes de contrôle d'accès” 责任导师 Thérèse HARDIN, 答辩 2007-9-24
- BONICHON Richard : “Pas de titre” 责任导师 Thérèse HARDIN, 答辩 2006-12-1
- MANDEL Louis : “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive” 责任导师 Marc POUZET, 答辩 2006-5-22
- FECHTER Stéphane : “Sémantique des traits orientés objet de Focal” 责任导师 Thérèse HARDIN, 答辩 2005-7-18