Supervised and Co-supervised Research Students

In-Program Students

Doctoral Students:
- Ming Zhu
  - started in the Fall of 2011
  - Thesis topic: TBD (CAT project)
- Reem Alnanih
  - started in the Fall of 2008
  - Jointly supervised with Dr. Krishnan
  - Thesis topic: A New Methodology for Context-Driven Development of UI for Medical Mobile Applications
- H M Ishrar Hussain
  - Thesis Topic: Using Automated Functional Size Measurement To Improve Early Effort Estimation from Software Requirements
  - Jointly supervised with Dr. Kosseim
- H. Kuang
  - Started in the Fall of 2006
  - Thesis Topic: Autonomic Reactive Systems Formal Framework (RASF) based on Category Theory
  - Jointly supervised with Dr. Bentahar

Master’s Thesis Option Students:

Abderahman Rashwan
- Started in the Fall of 2011
- Jointly supervised with Dr. Witte
- Thesis Topic: TBD (READ project)

Graduated Students

Doctoral Students:
- Mohamad Kassab
  - Graduated in the Fall of 2009
  - Thesis Title: Formal and Quantitative Approach to Non-Functional Requirements Modeling and Assessment in Software Engineering
  - Jointly supervised with Dr. Daneva, University of Twente
- Manar Abu-Talib
  - Graduated in the Spring of 2007
  - Thesis title: Exploratory Study on an Innovative Use of COSMIC-FFP for Early Quality Assessment
  - Jointly Supervised with Dr. Alain Abran (ETS)

Master’s Thesis Option Students:
- Jinzi Huang
  - Graduated in the Fall of 2011
  - Jointly supervised with Dr. Bentahar
  - Thesis Topic: Modeling Multi-Agent Systems with Category Theory
- Rolan Abdukalykov
  - Graduated in the Fall of 2011
  - Jointly supervised with Dr. M. Kassab
  - Thesis Topic: A NEW METHODOLOGY FOR QUANTIFYING THE IMPACT OF NON-FUNCTIONAL REQUIREMENTS ON SOFTWARE EFFORT ESTIMATION
- Noorulain Khurshid
  - Graduated in the Fall of 2011
  - Thesis Topic: Towards Specifying Swarm-based Systems using Categorical Modeling Language: A Case Study
  - Jointly supervised with Dr. Klasa
- Nassir Shafiei Dizaji
  - Graduated in the Spring of 2011
  - Jointly supervised with Dr. Bentahar
  - Thesis Topic: Implementation of Reactive Autonomic Systems by Multi-Agent Systems
- Shadi Moradi Seresht
  - Thesis Topic: A Methodology for Semi-Automatic Assistance in Elicitation and Analysis of Textual User Requirements
- Javier Quiroz
  - Graduated in the Fall of 2007
  - Thesis Topic: Automatic Generation of Behavioral Specification in Autonomic Reactive Systems
- H M Ishrar Hussain
  - Graduated in the Summer of 2007
  - Thesis Topic: Using text classification system to automate ambiguity detection in SRS documents.
  - Jointly supervised with Dr. Kosseim
- H. Kuang
  - Graduated in the Spring of 2006
  - Thesis Topic: Architecture for Autonomic Systems: AS-TRM approach
- Mohamad Kassab
  - Graduated in the Fall of 2005
  - Thesis Topic: Methodology for Modeling and Measuring Aspects in AOSD
- Mubarak Sami Mohamad
  - Graduated in the Fall of 2004
  - Thesis Topic: Graphical Simulation of Real-Time Reactive Systems
  - Jointly Supervised with Dr. Alagar
- Jian Shen
  - Graduated in the Spring of 2004
  - Thesis Topic: Scenario-Based Performance Assessment of Real-Time Reactive Systems
  - Jointly Supervised with Dr. Alagar
- Shi Hui Liu
  - Graduated in the Fall of 2003
  - Thesis Topic: Simulated Validation of Real-Time Reactive Systems
  - Jointly Supervised with Dr. Alagar
Master’s Major Report Option Students:
- Irina Paltin
  - Graduated in the Spring of 2006
  - Major Report Topic: Autonomic Systems Modeling and Development: A Survey
- Helen Zhou
  - Graduated in the Spring of 2004
  - Major Report Topic: Survey of Formal Approaches to Non-Functional Requirements Specifications
- Manjiang Zhuo
  - Graduated in the Winter of 2004
  - Major Report Topic: Measurement Module for TROMLAB
- Fong-An Lee
  - Graduated in the Fall of 2003
  - Major Report Topic: Reliability Measurement Based on the Markov Model for Real Time Reactive Systems: Design and Implementation
- Kenza Meridji
  - Graduated in the Fall of 2003
  - Major Report Topic: Documentation and Validation of the Requirements Specifications – An XML Approach
- Renwei He
  - Graduated in the Spring of 2003
  - Major Report Topic: Test Adequacy Measurement for Real-Time Reactive Systems
- Minghua Chen
  - Graduated in the Spring of 2003
  - Major Report Topic: The Implementation of Specification-based Testing System for Real-time Reactive Systems in TROMLIB Framework
- WenJun Xu
  - Graduated in the Winter of 2003
  - Major Report Topic: Quality Assurance of WEB Applications – A Survey
- Jiazhong Tu
  - Graduated in the Winter of 2003
  - Major Report Topic: Software Engineering: From Requirements to Implementation. A Case Study: Developing an Icon Graphic Image Editor
- Xiaobin Li
  - Graduated in the Fall of 2002
  - Major Report Topic: Software Reliability Engineering and Measurement: A Survey