- Towards Automated Detection of Feature Interactions Kenneth H. Braithwaite Joanne M. Atlee 1
- Template Semantics for Model-Based Notations Jianwei Niu, Student Member, IEEE, Joanne M. Atlee, Member, IEEE Computer Society, and Nancy A. Day
- StateBased Model Checking of EventDriven System Requirements Joanne M. Atlee
- A Software Architecture Reconstruction Method George Yanbing Guo 1 , Joanne M. Atlee 1 & Rick Kazman 2
- Composing Features and Resolving Interactions Jonathan D. Hay
- A Hybrid Model for Specifying Features and Detecting Interactions
- A Joint Option in Software Engineering Page 1/14 DRAFT 8/27/95
- Feasibility of Model Checking Software Requirements: A Case Study Tirumale Sreemani Joanne M. Atlee
- What do you mean I've been practicing without a license? Certification & Licensing of Requirements Engineering Professionals
- Analyzing Timing Requirements Joanne M. Atlee
- Evaluation of a StateBased Model of Feature Interactions
- Model Checking Timing Requirements \Lambda Joanne M. Atlee
- A LogicModel Semantics for SCR Software Requirements Joanne M. Atlee \Lambda Michael A. Buckley
- Composable Semantics for Model-Based Notations Jianwei Niu
- Feasibility of Model Checking Software Requirements: A Case Study Tirumale Sreemani Joanne M. Atlee \Lambda
- Understanding and Comparing Model-Based Specification Notations Jianwei Niu, Joanne M. Atlee, Nancy A. Day
- Title of Dissertation: Automated Analysis of Software Requirements Joanne Marie Atlee, Doctor of Philosophy, 1992
- Run-Time Management of Feature Interactions Yinghua Jia and Joanne M. Atlee
