Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- 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.