介绍
总体信息
研究
新闻
工作
链接
科研组
刊物
开发软件
专利
新兴公司
年报
档案
LIP6
»
研究
»
刊物
»
博士论文
书籍
参考书目
刊物文章
书籍章节
会议文章
其他刊物
特许任教资格
博士论文
现有科研组 :
ACASA
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MLIA
MOCAH
MoVe
NPA
PEQUAN
Phare
PolSys
QI
RO
SMA
SYEL
Whisper
以前科研组 :
SALSA
SPIRAL
AnimatLab
MALIRE
SPI
REGAL
以前研究课题 :
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.
Mentions légales
网站导航 |