Research

Theses and Publications

Local tools





PHD GRADUATES AND THESIS SUBJECTS FOR FALL 2011

Name Supervisor Thesis Subject Defense date
Jocelyne Faddoul Haarslev, V. Reasoning Algebraically with Description Logics 12/9/2011
Antoniy Ganchev Narayanan, L. Selfish Misbehavior in 802.11 Wireless Networks 12/9/2011
Jianlong Qi Butler, G. Inferring Regulation Programs in a Transcription Regulatory Module Network 9/9/2011
Philipp Schügerl Rilling, J. Semantic Web Enabled Software Engineering 8/9/2011

MASTERS IN APPLIED SCIENCE (SOEN) GRADUATES AND THESIS SUBJECTS FOR FALL 2011

Name Supervisor Thesis Subject Defense date
Rolan Abdukalykov Kassab, Mohamad; Ormandjieva, O.S. A New Methodology for Quantifying the Impact of Non-Functional Requirements on Software Effort Estimation 15/8/2011
Jinzi Huang Bentahar, J.; Ormandjieva, O.S. Modeling Multi-Agent Systems with Category Theory 2/9/2011
Noorulain Khurshid Klasa, S.; Ormandjieva, O.S. Towards Specifying Swarm-Based Systems Using Categorical Modeling Language: A Case Study 9/9/2011
Giti Oghabi Bentahar, J. Verifying Web Services Using Probabilistic Model Checking 29/8/2011

MASTERS IN COMPUTER SCIENCE GRADUATES AND THESIS SUBJECTS FOR FALL 2011

Name Supervisor Thesis Subject Defense date
Mohammad Hamidullah Ahmad Jaumard, B. QOS Scheduling in IEEE802.16/WiMAX Network 21/6/2011
Si Ai Fan Shiri, N. Enhanced Suffix Trees for Very Large DNA Sequences 17/8/2011
Nabil Khoury Krzyzak, A.; Suen, C.Y. Human Identification of Problematic Handwritten Digits for Pattern Recognition 12/9/2011
Tomás Martin Murillo Jaumard, B. Routing and Scheduling Using Column Generation in IEEE 802.16j 18/7/2011
Nona Naderi Witte, R. Automated Extraction of Protein Mutation Impacts from the Biomedical Literature 12/9/2011
Shima Nikfal Suen, C.Y. English and Arabic Typeface Personas and Arabic Typefaces Design Characteristics 23/6/2011
Mohammad Parham Atwood, J.W. Validation of the Security of Participant Control Exchanges in Secure Multicast Content Delivery 26/8/2011
George Stathopoulos Suen, C.Y. Application of Recognition Input Squinting and Error-Correcting Output Codding to Convolutional Neural Networks 7/9/2011
Ching Wei Su Jayakumar, R. Partial Order Based Runtime Recovery Intended for Highly Available Distributed Applications 23/6/2011
Bing Zhang Suen, C.Y. Discovering Legible and Readable Chinese Typefaces for Reading Digital Documents 13/9/2011

PHD GRADUATES AND THESIS SUBJECTS FOR SPRING 2011

Name Supervisor Thesis Subject Defense date
Stephen Barrett Butler, G.; Chalin, P. Blending State Differences and Change Operations for Metamodel Independent Merging of Software Models 15/4/2011
Xiao Jun Du Bui, T.D. Image Segmentation and Its Application Based on the Mumford-Shah 7/4/2011
Farkhund Iqbal Debbabi, M.; Fung, B. Messaging Forensic Framework for Cybercrime Investigation 27/1/2011
Mona Mehrandish Narayanan, L.; Opatrny, J. On Routing, Backbone Formation, and Barrier Coverage in Wireless Ad Hoc and Sensor Networks 12/4/2011
Kaushik Roy Bhattacharya, P.; Suen, C.Y. Recognition of Nonideal Iris Images using Shape Guided Approach and Game Theory 25/3/2011
Ying Ying She Grogono, P. Goal-Oriented Behavior for Intelligent Game Agents 13/4/2011
Ahmad Taleb Eavis, T. Query Optimization and Execution for Multidimensional OLAP 20/4/2011

MASTERS IN APPLIED SCIENCE (SOEN) GRADUATES AND THESIS SUBJECTS FOR SPRING 2011

Name Supervisor Thesis Subject Defense date
Afsoon Ghaemi Alagar, V. From Domain Models to Components - A Formal Transformation Approach Towards Dependable Software Development 18/4/2011
Yi Ji Paquet, J. Scalability Evaluation of the GIPSY Runtime System 3/3/2011
Ninus Khamis Rilling, J.; Witte, R. Assessing the Quality Factors Found in In-Line Documentation Written in Natural Language: The Javadocminer 7/4/2011
Parisa Mirshams Shahshahani Constantinides, C.; Hamou-Lhadj, A. Extending the Knowledge Discovery Metamodel to Support Aspect-Oriented Programming 7/4/2011
Nassir Shafieidizaji Bentahar, J.; Ormandjieva, O.S. Multi-Agent Approach to Modeling and Implementing Fault-Tolerance in Reactive Autonomic Systems 8/4/2011

MASTERS IN COMPUTER SCIENCE GRADUATES AND THESIS SUBJECTS FOR SPRING 2011

Name Supervisor Thesis Subject Defense date
Sofian Alsalman Hnaide Alagar, V. A Framework for Developing Context-Aware Systems 19/4/2011
Mohammed Alshamrani Kharma, N.; Suen, C.Y. Solving Edge-Matching Puzzles Using DNA Computing 11/1/2011
Georgy Barsky Harutyunyan, H. Lower Bound on Broadcast Function for n = 23, 24 and 25 10/1/2011
Andrew Ryan Blakney Mudur, S.P. Tangible User Interfaces and Metaphors for 3D Navigation 14/12/2010
Julien Dubuc Bergler, S. Modeling the Eveolving Structure of Social Text for Information Extracting and Topic Detection 5/4/2011
Michael Fortin Grogono, P.; Sha, X. W. Interactive Simulation of Fluid Flow 5/4/2011
Mohiul Islam Grogono, P. Modeling the Evolution of Mimicry 14/1/2011
Xiao Xiao Niu Bui, T.D.; Suen, C.Y. Fusions of CNN and SVM Classifiers for Recognizing Handwritten Characters 18/4/2011
Hajar Sadrarhami Butler, G. Integration of and Access to Distributed Data and Tools ain Genomics 13/12/2010
Ali Salem Atwood, J.W. Formal Validation of Security Properities of AMT's Three-Way Handshake 1/4/2011
Wei Wang Harutyunyan, H. Heuristics for Message Broadcasting in Arbitrary Networks 30/8/2010


PhD graduates and thesis subjects for Spring 2010
Name Supervisor Thesis Subject Defense date
Dima Mohammed Alhadidi

P.Bhattacharya; M. Debbabi

Theoretical and Practical Framework for Aspect-Oriented Security Hardening Jan. 18, 2010
Xi Deng

V. Haarslev, N. Shiri

Explanation and Diagnosis Services for Unsatisfiability and Inconsistency in Description Logics Sept. 16, 2010
Chun Lei He C. Y. Suen Error Analysis of a Hybrid Multiple Classifier System for Recognizing Unconstrained Handwritten Numerals Sept. 27, 2010
Ali Kiani Tallaei N. Shiri Efficient and Scalable Techniques for Minimization and Rewriting of Conjunctive April 16, 2010
Edward Maraachlian H. Harutyunyan Optimal Broadcasting in Treelike Graphs April 15, 2010
Antoine Nongaillard J. W. Atwood

An Agent-Based Approach for Distributed Resource Allocations

Dec. 4, 2009
Kristina Anna Pitula T. Radhakrishnan On Requirements Elicitation Software Projects in ICT for Development June 25, 2010
Arash Shaban-Nejad V.  Haarslev A Framework for Analyzing Chan ges in Health Care Lexicons and Nomenclatures April 26, 2010
Tongyuan Wang B. C. Desai Measures and Adjustments of Pattern Frequency Distributions April 21, 2010
Yue Wang G. Butler On Visual Queries and Graph Databases with Applications to Genomics Aug. 9, 2010
Zunce Wei D. Goswami; H. F. Li Locality-Driven Checkpoint and Recovery  April 14, 2010

Masters in Computer Science graduates and thesis subjects for Spring 2010
Name Supervisor Thesis Subject Defense date
Ojenie Artoun T. Fevens Parabolic Yao-type Geometric Spanners in Wireless Ad Hoc Networks Jan. 11, 2010
Yi Hui Chen  L. Narayanan Real-Time Scheduling Algorithms in Wireless Sensor Networks April 12, 2010
Mohsen Eftekhari Hesari

L. Narayanan; J. Opatrny

Load Balancing in Multi Hop Wireless Ad Hoc Networks Aug. 10, 2010
Xiang Yu Gao

R. Jayakumar; H. F. Li

Design and Implementation of a Partial-Order Semantics Based Runtime Verification Toolset for Distributed Java Programs Sept. 27, 2010
Mark Goldsmith V. Chvatal The Maximal Lyapunov Exponent of a Time Series Jan. 13, 2010
Maziar Gomrokchi J. Bentahar

A Game Theoretical Approach for Reputation Propagation in Online Social Networks

Aug. 23, 2010
Rana Issa  P. Grogono Design Patterns in Erasmus Nov. 27, 2010
Puntis Jifroodian-Haghighi C. Y. Suen A Discrete HMM for Recognition of Handwritten Farsi Words Jan. 12, 2010
Hossein Kassaei L. Narayanan Virtual Backbone Formation in Wireless Sensor Networks April 7, 2010
Ying Li C. Y. Suen Typeface Personality Traits and Their Design Characteristics Nov. 30, 2010
Hai Zhou Ling M. Debbabi Towards the Automation of Vulnerability Detection in Source Code Dec. 3, 2010
Mohammad Nurujjaman

B. Jaumard; G. Hebuterne

How far can we go with OBS Networks Dec. 8, 2010
Malik Waqas Sagheer C. Y. Suen Novel Word Recognition and Word Spotting Systems for Offline Urdu Handwriting Feb. 17, 2010
Stuart Thiel P. Chalin Enterprise Application Design Patterns: Improved and Applied Feb. 10, 2010
Zhikai Wang E. J. Doedel Computation and Visulaization of Invariant Manifolds Oct. 8, 2010
Ning Wang C. Y. Suen Noise Tolerant Oriental and English Document Language Identification Methods using Downgraded Pixel Density Feature  Dec. 7, 201
Kun Xu L. Naryanan Intruder Detection in Sensor Networks Oct. 26, 2010

Masters in Applied Science (SOEN) graduates and thesis subjects for Spring 2010
Name Supervisor Thesis Subject Defense date
Bin Han  J. Paquet Design and Implementation of Multi-Tier Runtime System for GIPSY April 7, 2010
Setareh Kohzadi

F. Khendek; A. Hamou-Lhadj

Automatic Generation of Upgrade Campaign Specifications Oct. 26, 2010
Vaishnavi Rajgopalan S. P. Mudur Automatic Non-Linear Video Editing for Home Video Collections April 9, 2010
Zohreh Sharafi Tafreshi Mog C. Constantinides A Platform-Independent Aspect-Oriented Model and Patterns to Support Model Transformations Aug. 25, 2010
Lu Deng Zhao Y. Yan Repairing Web Service Compositions Based on Planning Graph April 8, 2010

 

 

 


 

Concordia University