现有科研组 :	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.