Research Team

 

 

Current Students and Collaborators

 

Intern (undergrad)

  • Guillaume Dupont (INP-INSEEIHT, Toulouse, France)

 

M.A.Sc.

  • Leila A. Vayghan (CSE)
  • Navid Nazarzade (ECE)

PhD

  • Matin Maleki (ECE)
  • Oussama Jebbar (CSE)
  • Lincoln Taniguchi (ECE)
  • Mina Nabi  (ECE)
  • Yanal Al ahmad   (CSE)
  • Mahin Abbasipour   (ECE)

 

Post Doctoral Fellows

  • Dr. Mohamed Aymen Saied
  • TBA

 

Research Associates/Professionals

  • Dr. Sadaf Mustafiz (RA)


Completed Theses and Alumni (If you want a copy of a completed thesis please download from Spectrum or send me an email

 

PhD Students

 

  • Azadeh Jahanbanifar, PhD, Computer Science, Concordia University, Completed April 2016   [co-supervised with Dr. M. Toeroe]
    Thesis title: A Model-based Framework for System Configuration Management
  • Mohamed Musa, PhD, Electrical and Computer Engineering, Concordia University, Completed June 2015
    Thesis title: Model Based Test Generation and Optimization
  • Majid Hormati, PhD, Electrical and Computer Engineering, Concordia University, August 2013  [co-supervised with Dr. R. Glitho]
  • Ali Kanso, PhD, Electrical and Computer Engineering, Concordia University, June 2012  [co-supervised with Dr. M. Toeroe from Ericsson]
  • Pejman Salehi, PhD,  Electrical and Computer Engineering, Concordia University, March 2012 [co-supervised with Dr. A. Hamou-Lhadj]
  • 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 Winter 2008
    Thesis title: Modeling and Analysis of Real-Time Software Systems using UML
  • Azimeh Sefidcon, PhD, Electrical and Computer Engineering, Concordia University
    Completed June 2007
  • 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: Génération de cas de test pour les systèmes temps réels modélisés par des automates a entrée sorties temporisés.

 

M.A.Sc. Students

·        Pradheba Rangarajan  (ECE), M.A.Sc., Electrical and Computer Engineering, Concordia University, April 2017, [co-supervised with Dr. M. Toeroe]

·        Oussama Jebbar (CSE), M.A.Sc., Software Engineering, Concordia University, Dec. 2016 [co-supervised with Dr. M. Toeroe]

  • Mehran Khan (ECE), M.A.Sc., Electrical and Computer Engineering, Concordia University, Dec. 2015 [co-supervised with Dr. Y. Liu and Dr. M. Toeroe]
  • Ashis Kumar Bhowmik  (ECE) ,  M.A.Sc., Electrical and Computer Engineering, Concordia University, Dec. 2014 [co-supervised with Dr. R. Glitho]
  • Parsa Pourali, M.A.Sc., Computer Science, Concordia University, August 2014 [co-supervised with Dr. M. Toeroe]
  • Neha Pawa,  M.A.Sc., Software Engineering, Concordia University, August 2014 [co-supervised with Dr. M. Toeroe]
  • Ekansh Singh Katihar, M.A.Sc., Software Engineering, Concordia University, May 2014 [co-supervised with Dr. M. Toeroe]
  • Ahmed Adham Abouzeid,  M.A.Sc., Electrical and Computer Engineering, Concordia University, May 2014 [co-supervised with Dr. R. Glitho]
  • Ali Nikzad, M.A.Sc,  Computer Science, Concordia University, November 2013 [co-supervised with Dr. M. Toeroe]
  • Razieh Safaripour, M.A.Sc.  Electrical and Computer Engineering, Concordia University, September 2013 [co-supervised with Dr. R. Glitho]
  • Suresh Krishnan, M.A.Sc.  Electrical and Computer Engineering, Concordia University, April 2012
  • Asadul Islam, M.A.Sc.  Electrical and Computer Engineering, Concordia University, April 2012
  • 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]
  • 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
  • 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

 

Post-Doctoral Fellows and Research Associates

·        Mehran Khan, Research Professional, from December 2015 to September 2016.

·        Margarete Sackmann, Post-Doctoral Fellow,  from December 2012 to February 2015

·        Majid Hormati, Research Associate, from October 2013 to Dec 2014, now with Ericsson

·        Parisa Heidari, Research Associate, from January 2013 to  Sept 2014, now with Ericsson

·        Pietro Colombo, Post Doctoral  Fellow from September 2009 to August 2010, now back to Università dell’Insubria, Varese, Italy

  • Abdelouahed Gherbi (Post Doctoral Fellow from January 2008 to June 2009). He is now a professor with ETS in Montreal
  • Ali Kanso, Research Associate  (June to October 2012), now with Ericsson Research.
  • Rajesh Karunamurthy, Research Associate, 2008-2009, now with Telus
  • Alessandro de Marco: Research Associate, 2003-2005
  • 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.

 

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