PhD students under my co-supervision

Name	Topic of Research/ University	Progression
Yan Zhang Co-supervisor F. Khendek	Decomposition of large EFSM and test generation based on formal methods Université de Montréal	Writing Thesis Working full time Seattle USA
Abdelghani Benharref Co-supervisor R. Glitho	Passive Testing methodology for web service Ericsson project Concordia University, 2007	Thesis, submitted August 2007 Defence October 15^th 2007
Dhafir Benkhider Co-supervisor R. Glitho	P2P networks Ericsson project Concordia University	Expected termination Fall 2007
Rabeb Mizouni Co-supervisor A. Salah	Service Composition based on scenario France Telecom Project Concordia University	Thesis, submitted September 2007 Defence November 2d, 2007
Jameleddine Hassine Co-supervisor J. Rilling	Formal Semantics and Verification of Use case Maps Concordia University	Expected termination Fall 2007
Bah Sliman Co-supervisor R. Glitho	Ad hoc Networks Ericsson Project Concordia University	Expected termination Spring 2008
May El Barachi Co-supervisor R. Glitho	Ericsson Project Concordia University	Expected termination Spring 2008
Fatna Belqasmi Co-supervisor R. Glitho	Ambiant Networks Ericsson Project Concordia University	Expected termination Spring 2008

 Master thesis under my co-supervision

Student’s name	Thesis’s topic	Expected graduation
Siamak Kolahi	Tool for Use case composition	Fall 2007
Yuan Hong	E-health application: the architecture	Winter 2008
Qian Liu	E-health application:	Winter 2008
Shuo Lu	E-health application: Control access to portal	Winter 2008

PhD Students that graduated under my Co/ Supervision

Name	Thesis and year of graduation	Current position
M. Adel Serhani	QoS specification and life cycle of web services Concordia University, 2006	Assistant Professor, United Arab Emirates University
Aziz Salah	Développement de spécification à partir de scénario: vers un environnement de création de service Université de Montréal , 2002	Assistant Professor UQAM
Joumana Dhargam	Etude et réalisation de vues en programmation OO", Université de Montréal, 2001	Assistant Professor American University, Lebanon
Abdeslam En-Nouaary	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	Assistant Professor Concordia University
Chourouk Bourhfir	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.	Senior Researcher Technical Leader, Siemens, US
Kamel Karoui	Conception de logiciels de communication testables", Université de Montréal.1997	Professor Middle Est
Stéphane S. Somé	Dérivation de spécification à partir de scénarios d'interaction Université de Montréal. 1997	Assistant Professor SITE, University of Ottawa
Abdelhakim Hafid	Gestion de la qualité de service dans les applications multimedia Université de Montréal. 1996	Technical Leader at Telecordia until 2003 Associate Professor DIRO, Université de Montréal
Zhongping Tao	On the design of real-time communicating subsystems controllers Université de Montréal. 1996	in Canadian Industry
Mohammed Erradi	Modification dynamique des spécifications dans un environnement orienté objet Université de Montréal. 1993	Full Professor ENSIAS, Maroc Director of research Lab, UFR Réseaux
Abderrazak Ben Naceur Ghedamsi	Diagnostic Tests for protocols implementations modeled by finite state machines Université de Montréal. 1993	Professor, University, Tunisia

---

< retour à (back to) Rachida Dssouli >

---

Dernière mise à jour par (last update by):

dssouli@ece.concordia.ca,
Sat May 16 20:36:39 EDT 1998.