Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшие команды : | 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, защита диссертаций 16.06.2011.
- AYRAULT Philippe : “Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 22.04.2011.
- BLOND Julien : “Outil pour implémentation de logiciels certifiables EAL7”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 30.11.2010.
- NOYER Yves : “Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves”, научны(е)й руководител(и)ь Renaud RIOBOO, защита диссертаций 28.09.2010.
- JAEGER Éric : “Etude de l'apport des méthodes formelles déductives pour les développement de sécurité”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 08.03.2010.
- MORISSET Charles : “Sémantique des systèmes de contrôle d'accès”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 24.09.2007.
- BONICHON Richard : “Pas de titre”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 01.12.2006.
- MANDEL Louis : “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”, научны(е)й руководител(и)ь Marc POUZET, защита диссертаций 22.05.2006.
- FECHTER Stéphane : “Sémantique des traits orientés objet de Focal”, научны(е)й руководител(и)ь Thérèse HARDIN, защита диссертаций 18.07.2005.