| Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former teams : | AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Former research topics : | 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”,
supervision Fabrice KORDON,
defence 12/17/2003. - KLAI Kais : “Réseaux de Petri : Vérification Modulaire et Symbolique”,
supervision Serge HADDAD,
defence 12/01/2003.
- CALVET Jean-Thierry : “Étude des performances de la synchronisation des réseaux de télécommunications”,
supervision Claude GIRAULT,
defence 07/11/2003.
- PATARIN Simon : “Pandora : support des services de métrologie à l’échelle d’internet”,
supervision Mesaac MAKPANGOU,
defence 06/04/2003.
- QUINOT Thomas : “Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables”,
supervision Fabrice KORDON,
defence 03/01/2003.
- TNAZEFTI-KERKENI Insaf : “Analyse , spécifications et conception d’un système d’informations industriel”,
supervision Pascal ESTRAILLIER,
defence 12/17/2002.
- RICHER Nicolas : “Stratégies de gestion mémoire dans les Mémoires d’Objets Persistantes Automatiques Partitionnées”,
supervision Bertil FOLLIOT,
defence 05/28/2002.
- BOULOGNE Philippe : “Le dossier médical électronique en environnement Hypertextuel”,
supervision Claude GIRAULT,
defence 02/13/2002.
- BLANC Xavier : “Méthodologie de développement d’applications coopératives selon les points de vue ODP et leurs corrélations”,
supervision Marie-Pierre GERVAIS,
defence 11/15/2001.
- ARANTES Luciana : “Réalisation de mémoire partagée réparti dans les multi-réseaux”,
supervision Bertil FOLLIOT,
defence 12/21/2000.
- DORTA Neilze : “Un système coopératif pour la localisation des miroirs sur le web”,
supervision Claude GIRAULT,
defence 12/20/2000.
- SAAB Céline : “Conception et réalisation d’une plateforme d’observation adaptable à granularité variable pour systèmes et applications répartis”,
supervision Bertil FOLLIOT,
defence 12/18/2000.
- TOUAG Athmane : “Mise au point de méthode de génération assistée de cas de test”,
supervision Claude GIRAULT,
defence 09/10/2000.
- BOUZAIENE Nabil : “Typographie coopérative de partitions musicales par navigation interprétative de contours”,
supervision Emmanuel SAINT-JAMES,
defence 07/11/2000.
- AJAMI Khalil : “La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries”,
supervision Claude GIRAULT,
defence 07/03/2000.
- BRETELLE Bruno : “Placement dynamique multicritère dans les systèmes à mémoires virtuelles partagées réparties”,
supervision Bertil FOLLIOT,
defence 12/17/1999.
- HAJ-MAHMOUD Yanal : “Modélisation et évaluation des performances des systèmes de distribution de charge en environnements répartis”,
supervision Bertil FOLLIOT,
defence 03/08/1999.
- 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”,
supervision Pascal ESTRAILLIER,
defence 01/01/1998.
- DIAGNE Alioune : “Une approche multi-formalismes de spécification de systèmes répartis : transformation de composants modulaires en réseaux de Petri”,
supervision Pascal ESTRAILLIER,
defence 06/02/1997.