Joanne M. Atlee

According to our database, Joanne M. Atlee authored at least 75 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Mei Nagappan

CoRR, 2024

2023

Dynamic Human-in-the-Loop Assertion Generation.

Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee

IEEE Trans. Software Eng., April, 2023

Applying declarative analysis to industrial automotive software product line models.

Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik

Empir. Softw. Eng., March, 2023

Comprehending Variability in Analysis Results of Software Product Lines.

Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong

CoRR, 2023

Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line.

Xiang Chen, Joanne M. Atlee

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2021

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

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

<i>mel</i>- model extractor language for extracting facts from models.

Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

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

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Living with feature interactions (keynote).

Joanne M. Atlee

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models.

Parsa Pourali, Joanne M. Atlee

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams.

Parsa Pourali, Joanne M. Atlee

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Message from the MASE 2019 Chair.

Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Detecting Feature Interactions in FORML Models.

Sandy Beidu, Joanne M. Atlee

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools.

Parsa Pourali, Joanne M. Atlee

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Trace checking for dynamic software product lines.

Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

2017

Continuous variable-specific resolutions of feature interactions.

Mohammad Hadi Zibaeenejad, Chi Zhang, Joanne M. Atlee

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Long-term average cost in featured transition systems.

Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment.

Zhaoyi Luo, Joanne M. Atlee

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Feature-Oriented Modelling in BIP: A Case Study.

Cecylia Bocovich, Joanne M. Atlee

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

2015

Merging Features in Featured Transition Systems.

Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.

Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Incremental and Commutative Composition of State-Machine Models of Features.

Sandy Beidu, Joanne M. Atlee, Pourya Shaker

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Measuring Behaviour Interactions between Product-Line Features.

Joanne M. Atlee, Uli Fahrenberg, Axel Legay

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281).

Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave

Dagstuhl Reports, 2014

Behaviour interactions among product-line features.

Pourya Shaker, Joanne M. Atlee

Proceedings of the 18th International Software Product Line Conference, 2014

Variable-specific resolutions for feature interactions.

Cecylia Bocovich, Joanne M. Atlee

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Three Cases of Feature-Based Variability Modeling in Industry.

Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Scaling exact multi-objective combinatorial optimization by parallelization.

Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

A survey of variability modeling in industrial practice.

Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

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

Proceedings of the 17th International Software Product Line Conference, 2013

A pattern for structuring the behavioural requirements of features of an embedded system.

David Dietrich, Joanne M. Atlee

Proceedings of the Third IEEE International Workshop on Requirements Patterns, RePa 2013, 2013

A mode-based pattern for feature requirements, and a generic feature interface.

David Dietrich, Joanne M. Atlee

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Recommendations for improving the usability of formal methods for product lines.

Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

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

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Guest Editor's Introduction: International Conference on Software Engineering.

Joanne M. Atlee, Paola Inverardi

IEEE Trans. Software Eng., 2012

Code generation for a family of executable modelling notations.

Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker

Softw. Syst. Model., 2012

Ordering features by category.

Patsy Ann Zimmer, Joanne M. Atlee

J. Syst. Softw., 2012

A feature-oriented requirements modelling language.

Pourya Shaker, Joanne M. Atlee, Shige Wang

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

2011

Monitoring aspects for the customization of automatically generated code for big-step models.

Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Deconstructing the semantics of big-step modelling languages.

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu

Requir. Eng., 2010

A Common Framework for Synchronization in Requirements Modelling Languages.

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Search-carrying code.

Ali Taleghani, Joanne M. Atlee

Proceedings of the ASE 2010, 2010

2009

Semantic Criteria for Choosing a Language for Big-Step Models.

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

State-Space Coverage Estimation.

Ali Taleghani, Joanne M. Atlee

Proceedings of the ASE 2009, 2009

Software engineering - theory and practice (4. ed.).

Shari Lawrence Pfleeger, Joanne M. Atlee

Pearson Education, ISBN: 978-0-13-814181-3, 2009

2008

Semantically Configurable Code Generation.

Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Modeling in software engineering.

Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Research Directions in Requirements Engineering.

Betty H. C. Cheng, Joanne M. Atlee

Proceedings of the International Conference on Software Engineering, 2007

Modeling in Software Engineering.

Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

RE 05: Engineering Successful Products.

Joanne M. Atlee, Roel J. Wieringa

IEEE Softw., 2006

Introduction to the best research papers from RE'05.

Joanne M. Atlee

Requir. Eng., 2006

Semantic Variations Among UML StateMachines.

Ali Taleghani, Joanne M. Atlee

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Software engineering - theory and practice (3. ed.).

Shari Lawrence Pfleeger, Joanne M. Atlee

Ellis Horwood, ISBN: 978-0-13-198461-5, 2006

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

Proceedings of the Software Engineering Education in the Modern Age, 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

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Categorizing and Prioritizing Telephony Features.

Patsy Ann Zimmer, Joanne M. Atlee

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Mapping Template Semantics to SMV.

Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Template Semantics for Model-Based Notations.

Jianwei Niu, Joanne M. Atlee, Nancy A. Day

IEEE Trans. Software Eng., 2003

Understanding and Comparing Model-Based Specification Notations.

Jianwei Niu, Joanne M. Atlee, Nancy A. Day

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

2002

Composable semantics for model-based notations.

Jianwei Niu, Joanne M. Atlee, Nancy A. Day

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

2000

A hybrid model for specifying features and detecting interactions.

Saheem Siddiqi, Joanne M. Atlee

Comput. Networks, 2000

Composing features and resolving interactions.

Jonathan D. Hay, Joanne M. Atlee

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

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

Proceedings of the 4th International Conference on Requirements Engineering, 2000

1999

A Software Architecture Reconstruction Method.

George Yanbing Guo, Joanne M. Atlee, Rick Kazman

Proceedings of the Software Architecture, 1999

1997

Evaluation of a State-Based Model of Feature Interactions.

Pansy K. Au, Joanne M. Atlee

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996

Using Model Checking to Analyze Requirements and Designs.

Joanne M. Atlee, Marsha Chechik, John D. Gannon

Adv. Comput., 1996

Reachability Analysis of Feature Interactions: A Progress Report.

Keith P. Pomakis, Joanne M. Atlee

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

A Logic-Model Semantics for SCR Software Requirements.

Joanne M. Atlee, Michael A. Buckley

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

A Joint CS/E&CE Undergraduate Option in Software Engineering.

Joanne M. Atlee, Paul P. Dasiewicz, Rick Kazman, Rudolph E. Seviora, Ajit Singh

Proceedings of the Ninth Conference on Software Engineering Education, 1996

1995

Integrating requirements analysis and safety analysis.

Joanne M. Atlee, John A. McDermid

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

1994

Towards automated detection of feature interactions.

Kenneth H. Braithwaite, Joanne M. Atlee

Proceedings of the Feature Interactions in Telecommunications Systems, 1994

1993

State-Based Model Checking of Event-Driven System Requirements.

Joanne M. Atlee, John D. Gannon

IEEE Trans. Software Eng., 1993

Analyzing Timing Requirements.

Joanne M. Atlee, John D. Gannon

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991

Module Reuse by Interface Adaptation.

James M. Purtilo, Joanne M. Atlee

Softw. Pract. Exp., 1991

1990

Improving Module Reuse by Interface Adaption.

James M. Purtilo, Joanne M. Atlee

Proceedings of the 1990 Internation Conference on Computer Languages, 1990