SPI - Thesis

الوحدات الحالية :	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