Publications

JOURNAL PAPERS

Template Semantics for Model-Based Notations [PDF]
Jianwei Niu, Joanne M. Atlee, Nancy A. Day, IEEE Transactions on Software Engineering, Vol. 29, No. 10, October 2003, pp. 866-882.

A Hybrid Model for Specifying Features and Detecting Interactions [PS] Saheem Siddiqi and Joanne M. Atlee, Computer Networks, Vol. 32, Elsevier Science, pp. 471-485, 2000.

State-Based Model Checking of Event-Driven Systems Requirements [PS]
Joanne M. Atlee and John Gannon, IEEE Transactions on Software Engineering, Vol. 19, No. 1, January 1993, pp. 24-40. 

Module Reuse by Interface Adaptation [PS]
James M. Purtilo and Joanne M. Atlee, Software - Practice and Experience, Vol. 21, No. 6, pp. 539-556, June 1991. 
 

CONFERENCE PAPERS

Comparing and Understanding Model-Based Specification Notations [PDF]
Jianwei Niu, Joanne M. Atlee, Nancy A. Day,IEEE International Requirements Engineering Conference (RE), pp. 188-199, September 2003.

Run-Time Management of Feature Interactions  [PDF]
Yinghua Jia and Joanne M. Atlee, ICSE Workshop on Component-Based Software Engineering (CBSE6), May 2003.

Composable Semantics for Model-Based Notations [PDF]
Jianwei Niu, Joanne M. Atlee, Nancy A. Day, ACM International Symposium on the Foundations of Software Engineering (FSE), pp.  November 2002.

Composing Features and Resolving Interactions [PS]
Jonathan D. Hay and Joanne M. Atlee, ACM International Symposium on the Foundations of Software Engineering (FSE), pp. 110-119, November 2000.

A Software Architecture Reconstruction [PS]
George Yanbing Guo, Joanne M. Atlee, and Rick Kazman, First Working IFIP Conference on Software Architecture, pp. 225-243, February 1999 

Evaluation of a State-Based Model of Feature Interactions [PS]
Pansy Au and Joanne M. Atlee, Fourth International Workshop on Feature Interactions in Telecommunications Software Systems, pp. 153-167, June 1997. 

Feasibility of Model Checking Software Requirements: A Case Study [PS][PDF]
Tirumale Sreemani and Joanne M. Atlee, 11th Annual Conference on Computer Assurance, June 1996. 

A Joint CS/E\&CE Undergraduate Option in Software Engineering [PS]
Joanne M. Atlee, Paul P. Dasiewicz, Rick Kazman, Rudolph E. Seviora, and Ajit Singh, Conference on Software Engineering Education, pp. 16-28, April 1996.

A Logic-Model Semantics for SCR Software Requirements [PS]
Joanne M. Atlee and Michael A. Buckley, International Symposium on Software Testing and Analysis, pp. 280-292, January 1996. 

Reachability Analysis of Feature Interactions: A Progress Report [PS]
Keith P. Pomakis and Joanne M. Atlee, International Symposium on Software Testing and Analysis (ISSTA), pp. 216-223, January 1996. 

Towards Automated Detection of Feature Interactions [PS]
Kenneth H. Braithwaite and Joanne M. Atlee, Second International Workshop on Feature Interactions in Telecommunications Software Systems, pp. 36-59, May 1994.

Analyzing Timing Requirements [PS]
Joanne M. Atlee and John Gannon, International Symposium on Software Testing and Analysis (ISSTA), pp. 117-127, June 1993.

Improving Module Reuse by Interface Adaptation
James M. Purtilo and Joanne M. Atlee, International Conference on Computer Languages (ICCL), pp. 208-217, March 1990. 
 

PH.D. THESIS

Automated Analysis of Software Requirements [PS]
Joanne M. Atlee, Ph.D. Thesis, Department of Computer Science, University of Maryland, September 1992.
 

BOOK CONTRIBUTIONS

Introduction to Tabular Representations in Relational Documents
Joanne M. Atlee, in Software Fundamentals: Collected Papers by David L. Parnas, D. Hofmann and D. Weiss (Ed), Addison-Wesley, 2001.

Using Model Checking to Analyze Requirements and Designs
Joanne M. Atlee, Marsha Chechik, and John Gannon, in Advances in Computers, M. Zelkowitz (Ed), Academic Press, 1996.
 

TECHNICAL REPORTS

Model Checking Timing Requirements [PS]
Joanne M. Atlee and John Gannon, Computer Science Technical Report CS93-25, University of Waterloo, September 1993. Updated September 1996.
 

CONFERENCE PANEL PAPERS

What do you mean I've been practicing without a license? Certifying Requirements Engineering Professionals [PS]
A.I. Antón and Joanne M. Atlee. 4th IEEE International Conference on Requirements Engineering (ICRE 2000), Chicago, Illinois, June 2000.

Integrating Requirements Analysis and Safety Analysis
Joanne Atlee and John McDermid, IEEE International Symposium on Requirements Engineering (RE'95), March 1995.

© 2003 J.M. Atlee
Updated: 4.21.02...
.