Encadrement
Tout déplier
Tout replier
Vers la construction automatique d'un module inconnu dans un système composé
Thèses et mémoires dirigés
/
2000
-
2000
Diplômé(e) : Drissi, Jawad
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cadre conceptuel pour la composition des objets et la spécification du comportement
Thèses et mémoires dirigés
/
2000
-
2000
Diplômé(e) : Ramazani, Dunia
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
Thèses et mémoires dirigés
/
2000
-
2000
Diplômé(e) : Ghlamallah, Adel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation
Thèses et mémoires dirigés
/
1999
-
1999
Diplômé(e) : Mekouar, Loubna
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
Thèses et mémoires dirigés
/
1999
-
1999
Diplômé(e) : Maguiraga, Saoudatou
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation du protocole de signalisation ATM en utilisant une spécification SDL
Thèses et mémoires dirigés
/
1998
-
1998
Diplômé(e) : Marcoci, Roxana-Irina
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
On conformance testing of systems communicating by Rendezvous
Thèses et mémoires dirigés
/
1998
-
1998
Diplômé(e) : Tan, Qiang-Ming
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
Thèses et mémoires dirigés
/
1998
-
1998
Diplômé(e) : Soukeur, Abdelouahed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau
Thèses et mémoires dirigés
/
1998
-
1998
Diplômé(e) : Chaker, Kamel Yahia
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Routage inter-domaines dans les réseaux ATM
Thèses et mémoires dirigés
/
1997
-
1997
Diplômé(e) : Ould Ahmed Ould Bah, Brahim
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués
Thèses et mémoires dirigés
/
1997
-
1997
Diplômé(e) : Dini, Petre
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Construction incrémentielle de spécifications pour systèmes distribués
Thèses et mémoires dirigés
/
1996
-
1996
Diplômé(e) : Khendek, Ferhat
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
Thèses et mémoires dirigés
/
1996
-
1996
Diplômé(e) : Ould Mohamed-Salem, Mohamed-Vall
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
On the development of conformance test suites in view of their fault coverage
Thèses et mémoires dirigés
/
1996
-
1996
Diplômé(e) : Yao, Mingyu
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Formal method for the design of real-time communicating subsystems and controllers
Thèses et mémoires dirigés
/
1996
-
1996
Diplômé(e) : Tao, Zhongpīng
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Un cadre d'application pour interfaces de gestion OSI
Thèses et mémoires dirigés
/
1996
-
1996
Diplômé(e) : Tessier, Jean
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Des tests de conformité du protocole AAL de type 5 pour les réseaux à haut débit
Thèses et mémoires dirigés
/
1995
-
1995
Diplômé(e) : Khriss, Ismail
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Évaluation du flux de données couvert par une suite de tests
Thèses et mémoires dirigés
/
1994
-
1994
Diplômé(e) : Caouette, Clémence
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
Thèses et mémoires dirigés
/
1994
-
1994
Diplômé(e) : Drissi, Jawad
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Traduction d'un sous-ensemble de SDL en Estelle
Thèses et mémoires dirigés
/
1994
-
1994
Diplômé(e) : Thiboutôt, Alain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Spécification formelle et test pour boîte à outils X.25
Thèses et mémoires dirigés
/
1994
-
1994
Diplômé(e) : Zamoum, Rachid
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Étude de traduction entre les langages de spécification SDL et VHDL
Thèses et mémoires dirigés
/
1994
-
1994
Diplômé(e) : Amoussou, Marie Clémence
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modification dynamique des spécifications dans un environnement orienté-objets
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Erradi, Mohammed
Cycle : Doctorat
Diplôme obtenu : Ph. D.
The LOTOS language :distributed implementation and fairness
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Wu, Cheng
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Synthèse d'algorithmes de contrôle pour environnement réparti
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Levy, Michel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Interconnexion des réseaux assurant le service de communication personnalisé
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Dargham, Joumana B.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Diagnostic tests for protocol implementations modeled by finite state machines
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Ghedamsi, Abderrazak ben Naceur
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Génération de tests pour le service de communication personnalisé
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Htite, El Houssain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un environnement de test et de diagnostique
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Salvail, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Synthèse de spécifications de protocole à partir de spécifications de service
Thèses et mémoires dirigés
/
1993
-
1993
Diplômé(e) : Antonescu, Christian Kant
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Sélection de tests pour les protocoles de communication
Thèses et mémoires dirigés
/
1992
-
1992
Diplômé(e) : Dubuc, Martin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation en C++ d'une spécification Mondel du Répertoire OSI
Thèses et mémoires dirigés
/
1992
-
1992
Diplômé(e) : Nadeau, Roch
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents
Thèses et mémoires dirigés
/
1992
-
1992
Diplômé(e) : Ramazani, Dunia
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Évaluation du langage de spécification MONDEL à la description de protocoles de communication
Thèses et mémoires dirigés
/
1992
-
1992
Diplômé(e) : Poirier, Stéphane
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse en ligne de traces d'exécution appliquée au protocole de transport
Thèses et mémoires dirigés
/
1991
-
1991
Diplômé(e) : Saba, Fayez
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
Thèses et mémoires dirigés
/
1991
-
1991
Diplômé(e) : Barbeau, Michel
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices
Thèses et mémoires dirigés
/
1991
-
1991
Diplômé(e) : Boucher, Jean
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Générateur intelligent de tests adapté au domaine des protocoles de communication
Thèses et mémoires dirigés
/
1991
-
1991
Diplômé(e) : Gamache, Paul
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
Thèses et mémoires dirigés
/
1990
-
1990
Diplômé(e) : Amalou, Mokhtar
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse automatique de résultats de tests appliquée aux protocoles de communication
Thèses et mémoires dirigés
/
1990
-
1990
Diplômé(e) : Bellal, Omar Bouhafs
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
Thèses et mémoires dirigés
/
1989
-
1989
Diplômé(e) : Girard, Paul
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
Thèses et mémoires dirigés
/
1989
-
1989
Diplômé(e) : Khendek, Ferhat
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Contribution à la description et à la réalisation de systèmes interactifs
Thèses et mémoires dirigés
/
1989
-
1989
Diplômé(e) : El Iraki, Abdelhamid
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Prototype d'un système d'aide à la conception de tests de protocoles
Thèses et mémoires dirigés
/
1987
-
1987
Diplômé(e) : Barbeau, Michel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.