|
Name |
Thesis and year of graduation |
|
Mohamed El-Menshawy Co-supervision with J Bentahar |
Model
Checking Logics of Social Commitments for Agent Communication, 2012 |
|
Bah Sliman Co-supervision with R. Glitho |
Ad hoc Networks, Ericsson Project, Concordia University, 2008 |
|
May El Barachi Co-supervision with R. Glitho |
QoS for Ad-hoc, Ericsson Project, Concordia University, 2009 |
|
Fatna Belqasmi Co-supervision with R. Glitho |
Ambiant Networks,Ericsson Project, Concordia University, 2008 |
|
Jameleddine Hassine Co-supervision with J. Rilling |
Formal Semantics and Verification of Use case Maps Concordia University, 2008 |
|
Dhafer Benkheder Co-supervision with R. Glitho |
P2P Networks, Ericsson project, Concordia University, 2008 |
|
Abdelghani Benharref Co-supervision with R. Glitho |
Passive Testing methodology for web service, Ericsson project, Concordia University, 2007 |
|
Rabeb Mizouni Co-supervision with A. Salah |
Service Composition based on scenario, France Telecom Project, Concordia University, 2007 |
|
M. Adel Serhani Co-supervision with Sahraoui |
QoS specification and life cycle of web services, Concordia University, 2006 |
|
Aziz Salah |
Développement
de spécification à partir de scénario: vers un
environnement de création de service, Université de
Montréal, 2002 |
|
Joumana Dhargam Co-supervision with H.
Mili |
Etude et
réalisation de vues en programmation OO", Université de
Montréal, 2001 |
|
Abdeslam En-Nouaary Co-supervision with F.
Khendek |
Génération de Cas de Test pour les
Systèmes Temps Réel Modélisés par des Automates
à Entrées Sorties Temporisées, Université
de Montréal, 2001 |
|
Chourouk Bourhfir Co-supervision with El M. Aboulhamid |
Génération
automatique de cas de tests pour les systèmes modélisés
par des machines à états finis communicantes",
Université de Montréal.1999. |
|
Kamel Karoui Co-supervision with G.V. Bochmann |
Conception de
logiciels de communication testables", Université de
Montréal.1997 |
|
Stéphane S. Somé Co-supervision with J Vaucher |
Dérivation de spécification à partir de scénarios d'interaction, Université de Montréal. 1997 |
|
Abdelhakim Hafid Co-supervision with G.v.Bochmann |
Gestion de la qualité de service dans les applications multimédia, Université de Montréal. 1996 |
|
Zhongping Tao Co-supervision with G. V. Bochmann |
On the design of real-time communicating subsystems controllers, Université de Montréal. 1996 |
|
Mohammed Erradi Co-supervision with G. V. Bochmann |
Modification dynamique des spécifications dans un environnement orienté objet, Université de Montréal. 1993 |
|
Abderrazak Ben Naceur Ghedamsi Co-supervision with G. V. Bochmann |
Diagnostic Tests for protocols implementations modeled by finite state machines, Université de Montréal. 1993 |
More than 30 students completed their Master (research) degree under my supervision or co-supervision. The following is a selection (not updated).
1) Ming Qiao Web Service QoS, Monitoring and Adaptation, Fall 2008
2) Yuan Hong, “E-health application: the architecture”, Concordia University, March 2008
3) Qian Liu, “E-health application: the workflow”, Concordia University, March 2008,
4) Lu Shuo, “E-health application: Control access to portal”, Concordia University, March 2008,
5) Siamak Kolahi, “Composition and Verification of Formal Behavior: Use case Automata“, Fall 2007
6) May El Barachi, “Using web Services for Application Development in Internet Telephony: A case Study on Conferecing in SIP Networks”, Concordia University, Spring 2004,
7) Fatna Belqasmi,” Web Services for Application Development in Next Generation Telecommunications Networks: An architecture for the Common Functions” Concordia University, 2004,
8) Fu Chunyan, “Signaling for multiparty sessions in Peer-to-Peer Ad-Hoc Networks” Ericsson project, Concordia University, 2004,
9) Manar Aboutaleb, Testing real-Time systems: Tool implementation, Concordia University, 2004,
10) Zheing Huang, “Modeling and Testing Main IPv6 Protocols”, Concordia University, 2004,
11)
Bah
Slimane, Test de Performance: Aspect Dynamique”, Université de
Montréal, 2003,
12)
Yassir
Bellout, Participation au développement
d’une plate-forme de création de service, Université de Montréal, 2002,
13)
Khalid
El Ghazouani, Diagnostic des systèmes temps
réel, Université de Montréal, 2002,
14)
Dhafer Benkheder,
“Développement d’un environnement d’intégration
de Scénarios Université de Montréal, 2002,
15)
Benharef Abdelghani,
Génération de test pour les protocoles de la nouvelle
génération IPv6" ENSIAS et Université de
Montréal, 2002,
16)
Benajim El Mostafa, Test de comportements des
applications de type commerce électronique", Université de
Montréal, 2002,
17) Charles El Hilou,
"Test de performance de la plateforme GNP" Université de Montréal, 2001,
18) Eric Lessage, “ Conversion d’information de
protection dans les reseaux optiques” Université
de Montréal, 2001,
19) Antoine Eid, ”Filtrage du protocole
SMB”, Université de Montréal, 2001,
20) Mathieu Poirier, "QOS Architecture and Monitoring for Videoconferencing Applications", Université de Montréal, 2000,
21) Yong Guo, "IP Network QOS Model for distributed multimedia application based on RIP Protocol", Université de Montréal, 2000,
22) Jean-Marc Ng Wing Keng, "An H.323-based adaptative QOS Architecture", Université de Montréal, 2000,
23) Mehdi Akaly,
"Test de systèmes temps réel fondé sur le
modèle de temps discret", M.Sc., 2000
24) Samira Boumaraf,
" Diagnostic des protocoles de communication fondé sur les
automates à états fini étendus", M.Sc,
February 2000,
25) Walid Jamoussi,
"Allocation et tarification des accès réseaux",
Université de Montréal, 1999,
26) Erika Madja,
"Application multimedia et gestion de
qualité de service dans l'environnement du WWW", Université
de Montréal, 1997,
27) Souleimane
Htite, “Diagnostique fondé sur le modele AEF” ,
Université de Montréal, 1996,
28) Rachid Zemoum,
"Spécification formelle et test pour toolkit
X.25", Université
de Montréal, 1995,
29) Clémence Caouette,
"Evaluation du flux de données couvert par une suite de
tests", Université
de Montréal, 1994,
30) Mostapha Zerghouni,
"Intégration des langages ASN.1 et Mondel:
traduction des structures de données ASN.1 en Mondel
à l'aide de l'outil CENTAUR", Université de Montréal, 1994,
31) I. Khriss,
” Des tests
de conformité du protocole AAL de type 5 pour les réseaux
à haut débit ”, Université de Montréal,
1994,
32) El Houceine Htite, "Génération de tests pour le
service de communication personnalisé", Université de Montréal, 1993,
33) Marie- Clémence Amoussou,
"Etude de traduction entre les langages de spécification SDL et
VHDL", Université
de Montréal, 1993,
34) Pierre Salvail,"Développement
d'un environnement de test et de diagnostique", M.Sc.,
1993
35) Martin Dubuc, "Sélection de
tests pour les protocoles de communication", Université de Montréal, 1992,
36) Anne Moreau, "Etude de la
testabilité du protocole XTP", Université de Sherbrooke,
1991,
37) Issam Moussalem,
"Génération de séquences de test de protocole
à partir d'un réseau de Petri",
Université de Sherbrooke, 1990,
External examiner for “Thèse d’habilitation”
· External
Member of HDR Examining Committee Thesis Defence of Dr Sébastien Salva, Université d’Auvergne,
May 2012
· External
Member of HDR Examining Committee
Thesis Defence of Dr Osmane
Koné, Bordeaux University, January 2002
· External
Member of HDR Examining Committee of Ph.D. Thesis of César Viaux, IRISA, Rennes University, 2002
External examiner (Jury externe de thèses de
doctorat et Ph.D)
·
Marc
Phalippou (1994, Université de Bordeaux,
France),
·
Paul
Kaboré (1995, Université Nancy II,
France).
·
Antonio
A.F. Loureiro (1995, UBC),
·
Olivier
Charles, (1997, Université de Nancy).
·
Abdelkader
Dekdouk, (1997, Université de Nancy).
· Hasan Sally Université de Nancy, February 2004
·
Rachid
Hadjidj, Ecole Polytechnique de Montréal, February 2006,
· Ahmed Fadlallah, ENST Paris, France, February 2008,
< retour à (back to) Rachida Dssouli
dssouli@ece.concordia.ca,
Sat Aug 26 17:25:02 EDT 1995.