介绍
总体信息
研究
新闻
工作
链接
科研组
刊物
开发软件
专利
新兴公司
年报
档案
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
REGEP Dan Marius
:
“
LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis
”, 责任导师 Fabrice KORDON, 答辩 2003-12-17.
KLAI Kais
:
“
Réseaux de Petri : Vérification Modulaire et Symbolique
”, 责任导师 Serge HADDAD, 答辩 2003-12-1.
CALVET Jean-Thierry
:
“
Étude des performances de la synchronisation des réseaux de télécommunications
”, 责任导师 Claude GIRAULT, 答辩 2003-7-11.
PATARIN Simon
:
“
Pandora : support des services de métrologie à l’échelle d’internet
”, 责任导师 Mesaac MAKPANGOU, 答辩 2003-6-4.
QUINOT Thomas
:
“
Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables
”, 责任导师 Fabrice KORDON, 答辩 2003-3-1.
TNAZEFTI-KERKENI Insaf
:
“
Analyse , spécifications et conception d’un système d’informations industriel
”, 责任导师 Pascal ESTRAILLIER, 答辩 2002-12-17.
RICHER Nicolas
:
“
Stratégies de gestion mémoire dans les Mémoires d’Objets Persistantes Automatiques Partitionnées
”, 责任导师 Bertil FOLLIOT, 答辩 2002-5-28.
BOULOGNE Philippe
:
“
Le dossier médical électronique en environnement Hypertextuel
”, 责任导师 Claude GIRAULT, 答辩 2002-2-13.
BLANC Xavier
:
“
Méthodologie de développement d’applications coopératives selon les points de vue ODP et leurs corrélations
”, 责任导师 Marie-Pierre GERVAIS, 答辩 2001-11-15.
ARANTES Luciana
:
“
Réalisation de mémoire partagée réparti dans les multi-réseaux
”, 责任导师 Bertil FOLLIOT, 答辩 2000-12-21.
DORTA Neilze
:
“
Un système coopératif pour la localisation des miroirs sur le web
”, 责任导师 Claude GIRAULT, 答辩 2000-12-20.
SAAB Céline
:
“
Conception et réalisation d’une plateforme d’observation adaptable à granularité variable pour systèmes et applications répartis
”, 责任导师 Bertil FOLLIOT, 答辩 2000-12-18.
TOUAG Athmane
:
“
Mise au point de méthode de génération assistée de cas de test
”, 责任导师 Claude GIRAULT, 答辩 2000-9-10.
BOUZAIENE Nabil
:
“
Typographie coopérative de partitions musicales par navigation interprétative de contours
”, 责任导师 Emmanuel SAINT-JAMES, 答辩 2000-7-11.
AJAMI Khalil
:
“
La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries
”, 责任导师 Claude GIRAULT, 答辩 2000-7-3.
BRETELLE Bruno
:
“
Placement dynamique multicritère dans les systèmes à mémoires virtuelles partagées réparties
”, 责任导师 Bertil FOLLIOT, 答辩 1999-12-17.
HAJ-MAHMOUD Yanal
:
“
Modélisation et évaluation des performances des systèmes de distribution de charge en environnements répartis
”, 责任导师 Bertil FOLLIOT, 答辩 1999-3-8.
PRUN Daniel
:
“
Méthodologie de conception de composants logiciels coopératifs : une approche pour l'observation, la mise au point et la maintenance évolutive d'applications réparties
”, 责任导师 Pascal ESTRAILLIER, 答辩 1998-1-1.
DIAGNE Alioune
:
“
Une approche multi-formalismes de spécification de systèmes répartis : transformation de composants modulaires en réseaux de Petri
”, 责任导师 Pascal ESTRAILLIER, 答辩 1997-6-2.
Mentions légales
网站导航 |