Research Team

M.A.Sc students:

• Ali Nikzad
• Ekansh Singh Katihar
• Razieh Safaripour
• Asadul Islam
• Ahmed Adham

PhD students:

• Azadeh Jahanbanifar
• Bhaskar Prasad Rimal
• Ali Davoudian
• Majid Hormati
• Mohamed Musa Abdalla
• Ali Kanso
• Pejman Salehi
• Serge El-Helou [Ecole Polytechnique]

Post Doctoral Fellows:

• TBA

Research Professional:

• TBA

Alumni and Completed Theses (If you want a copy of a completed thesis please get in touch with the student or with me.):

• Anik Mishra, M.A.Sc., Electrical and Computer Engineering, December 2010 [co-supervised with Dr. M. Toeroe]
• Hou Roucheng, M.A.Sc. Electrical and Computer Engineering, December 2010 [co-supervised with Dr. M. Mehmet Ali]
• Saba Hamedi, M.A.Sc. Electrical and Computer Engineering, September 2010 [co-supervised with Dr. R. Glitho]
• Dr. Pietro Colombo, Post Doctoral Fellow from September 2009 to August 2010, now back to Università dell’Insubria, Varese, Italy
• Setareh Kohzadi, M.A.Sc, Computer Science, Concordia University [co-supervised with A. Hamou-Lhadj]
  Completed October 2009
  Thesis title: Automatic Automatic Generation of Upgrade Campaign Specifications
• Abdelouahed Gherbi (Post Doctoral Fellow from January 2008 to June 2009)
• Alessandro de Marco: Research Associate
• Christophe Lohr (Post Doctoral Fellow from Dec. 2003 to January 2005). He is now a professor @ l'ENST-Bretagne, France.
• Ludovic Apvrille (Post Doctoral Fellow from Oct. 14, 2002 to Nov. 15 2003). He is now a professor @ ENST Sophia Antipolis, France.
• Rajesh Karunamurthy, PhD, Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed January 2009
  Thesis title: Web Service Composition: Architecture, Frameworks, and Techniques
• Daniel Sinnig, PhD, Computer Science and Software Engineering, Concordia University [co-supervised with P. Chalin]
  Completed December 2008
  Thesis title: Use Case and Task Models: Formal Unification and Integrated Development Methodology
• Chunyan Fu, PhD, Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed March 2008
  Thesis title: Signaling for Conferencing in Mobile Ad Hoc Networks
• Abdelouahed Gherbi, PhD, Electrical and Computer Engineering, Concordia University
  Completed December 2007
  Thesis title: Modeling and Analysis of Real-Time Software Systems using UML
• Azimeh Sefidcon, PhD, Electrical and Computer Engineering, Concordia University
  Completed June 2007
  Thesis title: Route Selection for QoS over Mobile IP
• Tong Zheng - PhD in Electrical and Computer Engineering, Concordia University
  Completed January 2004
  Thesis Title: Validation and Refinement of Timed MSC Specifications.
• Abdeslam En-Nouaary - PhD in Computer Science, Universite de Montreal [Co-supervised with R. Dssouli]
  Completed September 2001
  Thesis Title: Generation de cas de test pour les systemes temps reels modelises par des automates a entree sorties temporises.
• Ming Qiao, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Dssouli]
  Completed February 2009
  Thesis title: Automatic Quality of Service Adaptation for Composite Web Services
• Arif Kadiwal, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed January 2009
  Thesis title: Presence-based integration of Wireless Sensor Network and IP Multimedia Subsystem: architecture implementation and case studies
• Ali Kanso, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with A. Hamou-Lhadj]
  Completed September 2008
  Thesis title: Automatic Generation of AMF Compliant Configurations
• Serge El Helou, M.A.Sc. Computer Engineering, Ecole Polytechnique de Montreal [co-supervised with A. Quintero]
  Completed September 2008
  Thesis title: Improving the quality of videoconferencing applications over ad hoc networks
• Basel Ahmad, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed March 2007
  Thesis title: Distributing a SIP Servlet Engine for Standalone Mobile Ad Hoc Networks
• Nuru Yakub Othman, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed February 2007
  Thesis title: Web Services as Application Enablers for Sinkless Wireless Sensor Networks
• Ta Truong, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed December 2005
  Thesis title: Web Services for the Dissemination of Ambient Information to I-Centric Aplications
• Lu Yang, M.A.Sc. Electrical and Computer Engineering, Concordia University
  Completed August 2005
  Thesis Title: Handling Feature Interactions in the SIP Servlet Context
• Li Xin Wang, M.A.Sc. Electrical and Computer Engineering, Concordia University
  Completed July 2005
  Thesis Title: Time Inconsistency Analysis and Correction for MSC-2000 Specifications
• Joana Torreira Da Silva, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed March 2005
  Thesis Title: Providing Web Services Security: A Case Study on Multiparty Service Delivery
• Rajesh Karunamurthy, M.A.Sc. Electrical and Computer Engineering, Concordia University [co-supervised with R. Glitho]
  Completed September 2004
  Thesis Title: Web Services for Presence Based application Development
• Xia Jun Zhang - M.A.Sc. Electrical and Computer Engineering, Concordia University
  Completed June 2004
  Thesis Title: Automatic Generation of SDL Specifications from timed MSCs
• Samer Hawwa - Masters of Computer Science, Concordia University
  Completed January 2004
  Thesis Title: Floor Control Meachnisms and Architecture for next Generation Networks
• Alex de Marco - M.A.Sc in Elec and Computer Engineering.
  Completed April 2003
  Thesis Title: Composing and Personalizing Next Generation Telecommunications Services While Managing Feature Interactions.
• Umer Waqar - M.A.Sc in Elec. and Computer Engineering.
  Completed December 2001
  Thesis Title: Automated Enrichment of SDL Specifications with MSCs.
• Stephan Bourduas - M.A.Sc in Elec. and Computer Engineering.
  Completed June 2001
  Thesis Title:Generation of SDL Specifications from UML and MSC uses cases.
• El Mostafa Ben Najim - M.A.Sc in Computer Science, Universite de Montreal (co-supervised with R. Dssouli).
  Completed June 2001
  Thesis Title:Environnement et test d'une plateforme generique de negociation.
• John Karigiannis - M.A.Sc. in Electrical and Computer Engineering (Co-supervised with R. Patel)
  Completed August 2000
  Thesis Title:Software Architecture and Design of Task Deduction and Planning Components for a Multiple Robot Simulation System
• Akbar Garjani - M.A.Sc in Elec. and Computer Engineering: see CITR Project (Co-supervised with Le-Ngoc)
  Completed April 2000
  Thesis Title: Inter-Lan Services over Boradband Satellite Systems
  Akbar has used SDL and MSC for modeling and verification ...
• Zhaoqiang Li - M.A.Sc. in Elec. and Computer Engineering. (Co-supervised with Patel)
  Completed March 2000
  Thesis Title: Specification and Detection of Feature Interactions using MSCs
• Azimeh Sefidcon - M.A.Sc. in Elec. and Computer Engineering
  Completed December 1999
  Thesis Title: Feature Interactions Detection in Intelligent Networks
• Mohamed Musa Abdalla - M.A.Sc in Elec. and Computer Engineering
  Completed November 1999
  Thesis Title: Automatic Generation of SDL Specifications from MSCs
• Yuan Peng - Masters in Computer Science (Co-supervised with P. Grogono)
  Completed March 98
  Thesis Title: Modeling of Intelligent Networks using SDL and an Approach for Feature Interactions Detection

Completed M.Eng Projects:

• Naresh Gupta: Using MSC for Communication Feature Specification - 1997
• Carlos Borjas: Feature interaction Detection using Promela/SPIN - 1998
• Weng Wenwei: Modelling IN services using HMSC - 1999

Department of ECE

People of ECE

Faculty of ECE

Ferhat Khendek

You are visitor #
Last Modified on