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 |
| 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 |
| 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 |
| 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 |