PHD STUDENTS

Dave Mason

Dave's thesis work is on software reliability. He argues that commonly proposed methods of software reliability estimation are inadeqate because of differences between the models and the actual software systems. He has developed a calculus for soundly computing the reliability of a software system from the reliability estimates of the system's components. (Jointly supervised with Denise Woit)

Jianwei Niu
Jianwei's thesis work is on specification analysis tools, working on how to automatically generate analysis tools for model-based specifications. As part of this work, she has unified the execution semantics of several model-based notations into a parameterized model of next-state relations and has identified a collection of composition primitives that are common to many notations. (Jointly supervised with Nancy Day)

P. Ann Meade
Ann's thesis work is on automated conflict resolution. She is experimenting with run-time resolutions of feature interactions, running user experiments to evaluate how predictable general resolution strategies are for resolving a wide range of telephone feature interactions. Her work will lead towards a language for specifying and customizing resolution strategies.

Vlad Ciubotariu
Vlad is a new Ph.D. student who is interested in exploiting mathematical models and symmetries to reduce the state-space explosion in exhaustive analysis techniques, like model checking. (Jointly supervised with Mark Aagaard)

M.MATH STUDENTS

Silvia Jia
Silvia is implementing our coordination model for composing feature modules and detecting and resolving their interactions at run-time.

Natalie Abraham
Natalie is a new M.Math student who is interested in detecting and resolving feature interactions at run-time.


UNDERGRADUATES

Rick Sahadeo
Rick is an undergraduate research assistant who is the primary developer of our COURT reachability analyzer for composing features, detecting and resolving interactions, and reporting resolutions. This analyzer is a modification of the TLplan planning tool.

Joël Larose
Joel is an undergraduate research assistant who is implementing different resolution strategies in our COURT analyzer.

Kevin Ma
Kevin Ma is an undergraduate research assistant working in the feature interaction group.

FORMER STUDENTS

Meyer Tanuan (M.Math 2001), Automated Analysis of Unified Modelling Language (UML) Specifications

Collen Ritchie (M.Math 2000), Mapping Feature Specifications to Use Case Maps -- The Feature Interaction Problem

James Keast (M.Math 1999), A Run-Time Architecture for Detecting Feature Interactions

Saheem Siddiqi (M.Math 1999), Automated Feature Interaction Analysis Incorporating the AIN Architecture

Mark Adams (M.Math 1998), Feasibility of using Automated Verification on a Specification for a Flight Guidance System

Matthew Armstrong (M.Math 1998), Comparing Tools for Architectural Analysis

Jianhan Guo (M.Math 1998), Verifying Functional Properties of Specifications Using PVS

Tayfun Umman (M.Math 1998), Heuristics for Object Modeling Technique (OMT) Specifications

Nancy Moussa (M.Math 1998), Impact of Use-Case Maps on Higher Level Design

Y. George Guo (M.Math 1998), A Software Architecture Reconstruction Method

Y. Maggie Cai (M.Math 1997), Assertion Analysis of Feature Interactions

Pansy Au (Hui) (M.Math 97), An Evaluation of a State-Based Model of Feature Interactions

Keith Pomakis (M.Math 1996), Reachability Analysis of Feature Interactions in Service-Oriented Software Systems

Tirumale Sreemani (M.Math 1996), Feasibility of Model Checking Software Requirements: A Case Study