Improving Module Reuse by Interface Adaption. - James M. Purtilo; Joanne M. Atlee (ICCL, 1990)

Module Reuse by Interface Adaptation. - James M. Purtilo; Joanne M. Atlee (Softw. Pract. Exp., 1991)

Analyzing Timing Requirements. - Joanne M. Atlee; John D. Gannon (ISSTA, 1993)

State-Based Model Checking of Event-Driven System Requirements. - Joanne M. Atlee; John D. Gannon (IEEE Trans. Software Eng., 1993)

Towards automated detection of feature interactions. - Kenneth H. Braithwaite; Joanne M. Atlee (FIW, 1994)

Integrating requirements analysis and safety analysis. - Joanne M. Atlee; John A. McDermid (RE, 1995)

A Joint CS/E&CE Undergraduate Option in Software Engineering. - Joanne M. Atlee; Paul P. Dasiewicz; Rick Kazman; Rudolph E. Seviora; Ajit Singh (CSEE, 1996)

A Logic-Model Semantics for SCR Software Requirements. - Joanne M. Atlee; Michael A. Buckley (ISSTA, 1996)

Reachability Analysis of Feature Interactions: A Progress Report. - Keith P. Pomakis; Joanne M. Atlee (ISSTA, 1996)

Using Model Checking to Analyze Requirements and Designs. - Joanne M. Atlee; Marsha Chechik; John D. Gannon (Adv. Comput., 1996)

Evaluation of a State-Based Model of Feature Interactions. - Pansy K. Au; Joanne M. Atlee (FIW, 1997)

A Software Architecture Reconstruction Method. - George Yanbing Guo; Joanne M. Atlee; Rick Kazman (WICSA, 1999)

What Do You Mean I've Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals. - Annie I. Antón; Joanne M. Atlee (ICRE, 2000)

Composing features and resolving interactions. - Jonathan D. Hay; Joanne M. Atlee (SIGSOFT FSE, 2000)

A hybrid model for specifying features and detecting interactions. - Saheem Siddiqi; Joanne M. Atlee (Comput. Networks, 2000)

Composable semantics for model-based notations. - Jianwei Niu 001; Joanne M. Atlee; Nancy A. Day (SIGSOFT FSE, 2002)

Understanding and Comparing Model-Based Specification Notations. - Jianwei Niu 001; Joanne M. Atlee; Nancy A. Day (RE, 2003)

Template Semantics for Model-Based Notations. - Jianwei Niu 001; Joanne M. Atlee; Nancy A. Day (IEEE Trans. Software Eng., 2003)

Mapping Template Semantics to SMV. - Yun Lu; Joanne M. Atlee; Nancy A. Day; Jianwei Niu 001 (ASE, 2004)

Categorizing and Prioritizing Telephony Features. - Patsy Ann Zimmer; Joanne M. Atlee (FIW, 2005)

Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering. - Joanne M. Atlee; Richard J. LeBlanc; Timothy Lethbridge; Ann E. Kelley Sobel; J. Barrie Thompson (ICSE, 2005)

Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering. - Joanne M. Atlee; Richard J. LeBlanc; Timothy C. Lethbridge; Ann E. Kelley Sobel; J. Barrie Thompson (Software Education and Training Sessions @ ICSE, 2005)

Software engineering - theory and practice (3. ed.). - Shari Lawrence Pfleeger; Joanne M. Atlee (Ellis Horwood, 2006)

Semantic Variations Among UML StateMachines. - Ali Taleghani; Joanne M. Atlee (MoDELS, 2006)

Introduction to the best research papers from RE'05. - Joanne M. Atlee (Requir. Eng., 2006)

RE 05: Engineering Successful Products. - Joanne M. Atlee; Roel J. Wieringa (IEEE Softw., 2006)

Modeling in Software Engineering. - Joanne M. Atlee; Robert B. France; Geri Georg; Ana Moreira 001; Bernhard Rumpe; Steffen Zschaler (ICSE Companion, 2007)

Research Directions in Requirements Engineering. - Betty H. C. Cheng; Joanne M. Atlee (FOSE, 2007)

Modeling in software engineering. - Joanne M. Atlee; Robert B. France; Geri Georg; Ana Moreira 001; Bernhard Rumpe; Steven Völkel; Steffen Zschaler (ICSE Companion, 2008)

Semantically Configurable Code Generation. - Adam Prout; Joanne M. Atlee; Nancy A. Day; Pourya Shaker (MoDELS, 2008)

Software engineering - theory and practice (4. ed.). - Shari Lawrence Pfleeger; Joanne M. Atlee (Pearson Education, 2009)

State-Space Coverage Estimation. - Ali Taleghani; Joanne M. Atlee (ASE, 2009)

Semantic Criteria for Choosing a Language for Big-Step Models. - Shahram Esmaeilsabzali; Nancy A. Day; Joanne M. Atlee; Jianwei Niu 001 (RE, 2009)

Search-carrying code. - Ali Taleghani; Joanne M. Atlee (ASE, 2010)

A Common Framework for Synchronization in Requirements Modelling Languages. - Shahram Esmaeilsabzali; Nancy A. Day; Joanne M. Atlee (MoDELS (2), 2010)

Deconstructing the semantics of big-step modelling languages. - Shahram Esmaeilsabzali; Nancy A. Day; Joanne M. Atlee; Jianwei Niu 001 (Requir. Eng., 2010)

Monitoring aspects for the customization of automatically generated code for big-step models. - Shahram Esmaeilsabzali; Bernd Fischer 002; Joanne M. Atlee (GPCE, 2011)

A feature-oriented requirements modelling language. - Pourya Shaker; Joanne M. Atlee; Shige Wang (RE, 2012)

Ordering features by category. - Patsy Ann Zimmer; Joanne M. Atlee (J. Syst. Softw., 2012)

Code generation for a family of executable modelling notations. - Adam Prout; Joanne M. Atlee; Nancy A. Day; Pourya Shaker (Softw. Syst. Model., 2012)

Guest Editor's Introduction: International Conference on Software Engineering. - Joanne M. Atlee; Paola Inverardi (IEEE Trans. Software Eng., 2012)

5th international workshop on modeling in software engineering (MiSE 2013). - Joanne M. Atlee; Robert Baillargeon; Marsha Chechik; Robert B. France; Jeff Gray 001; Richard F. Paige; Bernhard Rumpe (ICSE, 2013)

Recommendations for improving the usability of formal methods for product lines. - Joanne M. Atlee; Sandy Beidu; Nancy A. Day; Fathiyeh Faghih; Pourya Shaker (FormaliSE@ICSE, 2013)

A mode-based pattern for feature requirements, and a generic feature interface. - David Dietrich; Joanne M. Atlee (RE, 2013)

A pattern for structuring the behavioural requirements of features of an embedded system. - David Dietrich; Joanne M. Atlee (RePa, 2013)

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. - Dave Clarke 001; Ina Schaefer; Maurice H. ter Beek; Sven Apel; Joanne M. Atlee (SPLC, 2013)

A survey of variability modeling in industrial practice. - Thorsten Berger; Ralf Rublack; Divya Nair; Joanne M. Atlee; Martin Becker 002; Krzysztof Czarnecki 001; Andrzej Wasowski (VaMoS, 2013)

Scaling exact multi-objective combinatorial optimization by parallelization. - Jianmei Guo; Edward Zulkoski; Rafael Olaechea; Derek Rayside; Krzysztof Czarnecki 001; Sven Apel; Joanne M. Atlee (ASE, 2014)

Three Cases of Feature-Based Variability Modeling in Industry. - Thorsten Berger; Divya Nair; Ralf Rublack; Joanne M. Atlee; Krzysztof Czarnecki 001; Andrzej Wasowski (MoDELS, 2014)

Variable-specific resolutions for feature interactions. - Cecylia Bocovich; Joanne M. Atlee (SIGSOFT FSE, 2014)

Behaviour interactions among product-line features. - Pourya Shaker; Joanne M. Atlee (SPLC, 2014)

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). - Sven Apel; Joanne M. Atlee; Luciano Baresi; Pamela Zave (Dagstuhl Reports, 2014)

Measuring Behaviour Interactions between Product-Line Features. - Joanne M. Atlee; Uli Fahrenberg; Axel Legay (FormaliSE@ICSE, 2015)

Incremental and Commutative Composition of State-Machine Models of Features. - Sandy Beidu; Joanne M. Atlee; Pourya Shaker (MiSE@ICSE, 2015)

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. - Shoham Ben-David; Baruch Sterin; Joanne M. Atlee; Sandy Beidu (ICSE (1), 2015)

Merging Features in Featured Transition Systems. - Joanne M. Atlee; Sandy Beidu; Uli Fahrenberg; Axel Legay (MoDeVVa@MoDELS, 2015)

Feature-Oriented Modelling in BIP: A Case Study. - Cecylia Bocovich; Joanne M. Atlee (ModComp@MoDELS, 2016)

BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment. - Zhaoyi Luo; Joanne M. Atlee (SLE, 2016)

Long-term average cost in featured transition systems. - Rafael Olaechea; Uli Fahrenberg; Joanne M. Atlee; Axel Legay (SPLC, 2016)

Continuous variable-specific resolutions of feature interactions. - Mohammad Hadi Zibaeenejad; Chi Zhang; Joanne M. Atlee (ESEC/SIGSOFT FSE, 2017)

Trace checking for dynamic software product lines. - Rafael Olaechea; Joanne M. Atlee; Axel Legay; Uli Fahrenberg (SEAMS@ICSE, 2018)

An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools. - Parsa Pourali; Joanne M. Atlee (MoDELS, 2018)

Detecting Feature Interactions in FORML Models. - Sandy Beidu; Joanne M. Atlee (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Message from the MASE 2019 Chair. - Alessio Bucaioni; Juergen Dingel; Joanne M. Atlee (MoDELS (Companion), 2019)

UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams. - Parsa Pourali; Joanne M. Atlee (MoDELS (Companion), 2019)

A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models. - Parsa Pourali; Joanne M. Atlee (MoDELS, 2019)

Living with feature interactions (keynote). - Joanne M. Atlee (ESEC/SIGSOFT FSE, 2019)

Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis. - Bryan J. Muscedere; Robert Hackman; Davood Anbarnam; Joanne M. Atlee; Ian J. Davis; Michael W. Godfrey (SANER, 2019)

mel- model extractor language for extracting facts from models. - Robert Hackman; Joanne M. Atlee; Alistair Finn Hackett; Michael W. Godfrey (MoDELS, 2020)

Applying Declarative Analysis to Software Product Line Models: An Industrial Study. - Ramy Shahin; Robert Hackman; Rafael F. Toledo; S. Ramesh 002; Joanne M. Atlee; Marsha Chechik (MoDELS, 2021)

Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. - Xiang Chen; Joanne M. Atlee (MODELS, 2023)

Comprehending Variability in Analysis Results of Software Product Lines. - Rafael F. Toledo; Joanne M. Atlee; Rui Ming Xiong (CoRR, 2023)

Applying declarative analysis to industrial automotive software product line models. - Ramy Shahin; Rafael F. Toledo; Robert Hackman; S. Ramesh 002; Joanne M. Atlee; Marsha Chechik (Empir. Softw. Eng., 2023)

Dynamic Human-in-the-Loop Assertion Generation. - Lucas Zamprogno; Braxton Hall; Reid Holmes; Joanne M. Atlee (IEEE Trans. Software Eng., 2023)

(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results. - Rafael F. Toledo; Joanne M. Atlee; Rui Ming Xiong; Mingyu Liu (ICSE Companion, 2024)

Whodunit: Classifying Code as Human Authored or GPT-4 generated- A case study on CodeChef problems. - Oseremen Joy Idialu; Noble Saji Mathews; Rungroj Maipradit; Joanne M. Atlee; Meiyappan Nagappan (MSR, 2024)

Visualizing Analysis Results for SPL Models - A User Study. - Rafael F. Toledo; Joanne M. Atlee; Rui Ming Xiong (VISSOFT, 2024)