| 2024 | ICSE | (Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results. | Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong, Mingyu Liu |
| 2024 | MSR | 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 |
| 2024 | VISSOFT | Visualizing Analysis Results for SPL Models - A User Study. | Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong |
| 2023 | MODELS | Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. | Xiang Chen, Joanne M. Atlee |
| 2021 | MODELS | Applying Declarative Analysis to Software Product Line Models: An Industrial Study. | Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik |
| 2020 | MODELS | Untitled record | Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey |
| 2019 | MODELS | Message from the MASE 2019 Chair. | Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee |
| 2019 | MODELS | UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams. | Parsa Pourali, Joanne M. Atlee |
| 2019 | MODELS | A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models. | Parsa Pourali, Joanne M. Atlee |
| 2018 | ICSE | Trace checking for dynamic software product lines. | Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg |
| 2018 | MODELS | An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools. | Parsa Pourali, Joanne M. Atlee |
| 2016 | MODELS | Feature-Oriented Modelling in BIP: A Case Study. | Cecylia Bocovich, Joanne M. Atlee |
| 2016 | SLE | BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment. | Zhaoyi Luo, Joanne M. Atlee |
| 2016 | SPLC | Long-term average cost in featured transition systems. | Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay |
| 2015 | ICSE | Measuring Behaviour Interactions between Product-Line Features. | Joanne M. Atlee, Uli Fahrenberg, Axel Legay |
| 2015 | ICSE | Incremental and Commutative Composition of State-Machine Models of Features. | Sandy Beidu, Joanne M. Atlee, Pourya Shaker |
| 2015 | ICSE | Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. | Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu |
| 2015 | MODELS | Merging Features in Featured Transition Systems. | Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay |
| 2014 | MODELS | Three Cases of Feature-Based Variability Modeling in Industry. | Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski |
| 2014 | SPLC | Behaviour interactions among product-line features. | Pourya Shaker, Joanne M. Atlee |
| 2013 | ICSE | 5th international workshop on modeling in software engineering (MiSE 2013). | Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe |
| 2013 | ICSE | Recommendations for improving the usability of formal methods for product lines. | Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker |
| 2013 | RE | A mode-based pattern for feature requirements, and a generic feature interface. | David Dietrich, Joanne M. Atlee |
| 2013 | RE | A pattern for structuring the behavioural requirements of features of an embedded system. | David Dietrich, Joanne M. Atlee |
| 2013 | SPLC | Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. | Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee |
| 2012 | RE | A feature-oriented requirements modelling language. | Pourya Shaker, Joanne M. Atlee, Shige Wang |
| 2011 | GPCE | Monitoring aspects for the customization of automatically generated code for big-step models. | Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee |
| 2010 | MODELS | A Common Framework for Synchronization in Requirements Modelling Languages. | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee |
| 2009 | RE | Semantic Criteria for Choosing a Language for Big-Step Models. | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu |
| 2008 | ICSE | Modeling in software engineering. | Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Vlkel, Steffen Zschaler |
| 2008 | MODELS | Semantically Configurable Code Generation. | Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker |
| 2007 | ICSE | Modeling in Software Engineering. | Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler |
| 2007 | ICSE | Research Directions in Requirements Engineering. | Betty H. C. Cheng, Joanne M. Atlee |
| 2006 | MODELS | Semantic Variations Among UML StateMachines. | Ali Taleghani, Joanne M. Atlee |
| 2005 | ICSE | 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 |
| 2005 | ICSE | 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 |
| 2003 | RE | Understanding and Comparing Model-Based Specification Notations. | Jianwei Niu, Joanne M. Atlee, Nancy A. Day |
| 1996 | ISSTA | A Logic-Model Semantics for SCR Software Requirements. | Joanne M. Atlee, Michael A. Buckley |
| 1996 | ISSTA | Reachability Analysis of Feature Interactions: A Progress Report. | Keith P. Pomakis, Joanne M. Atlee |
| 1995 | RE | Integrating requirements analysis and safety analysis. | Joanne M. Atlee, John A. McDermid |
| 1993 | ISSTA | Analyzing Timing Requirements. | Joanne M. Atlee, John D. Gannon |