Joanne M. Atlee

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 24

Top Topics

Symbolic Model Checking

Combinatorial Optimization

Statistical Analyses

Software Product Line

Top Venues

ESEC/SIGSOFT FSE

Publications

Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee
Dynamic Human-in-the-Loop Assertion Generation. IEEE Trans. Software Eng. 49 (4) (2023)
Xiang Chen, Joanne M. Atlee
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. MODELS (2023)
Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong
Comprehending Variability in Analysis Results of Software Product Lines. CoRR (2023)
Ramy Shahin, Rafael Toledo, Robert Hackman, Ramesh S, Joanne M. Atlee, Marsha Chechik
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28 (2) (2023)
Ramy Shahin, Robert Hackman, Rafael Toledo, Ramesh S, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR (2021)
Ramy Shahin, Robert Hackman, Rafael Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS (2021)
Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey
- model extractor language for extracting facts from models. MoDELS (2020)
Sandy Beidu, Joanne M. Atlee
Detecting Feature Interactions in FORML Models. From Software Engineering to Formal Methods and Tools, and Back (2019)
Bryan J. Muscedere, Robert Hackman, Davood Anbarnam, Joanne M. Atlee, Ian J. Davis, Michael W. Godfrey
Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis. SANER (2019)
Parsa Pourali, Joanne M. Atlee
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models. MoDELS (2019)
Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee
Message from the MASE 2019 Chair. MoDELS (Companion) (2019)
Parsa Pourali, Joanne M. Atlee
UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams. MoDELS (Companion) (2019)
Joanne M. Atlee
Living with feature interactions (keynote). ESEC/SIGSOFT FSE (2019)
Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg
Trace checking for dynamic software product lines. SEAMS@ICSE (2018)
Parsa Pourali, Joanne M. Atlee
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools. MoDELS (2018)
Mohammad Hadi Zibaeenejad, Chi Zhang, Joanne M. Atlee
Continuous variable-specific resolutions of feature interactions. ESEC/SIGSOFT FSE (2017)
Cecylia Bocovich, Joanne M. Atlee
Feature-Oriented Modelling in BIP: A Case Study. ModComp@MoDELS (2016)
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
Long-Term Average Cost in Featured Transition Systems. CoRR (2016)
Zhaoyi Luo, Joanne M. Atlee
BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment. SLE (2016)
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
Long-term average cost in featured transition systems. SPLC (2016)
Sandy Beidu, Joanne M. Atlee, Pourya Shaker
Incremental and Commutative Composition of State-Machine Models of Features. MiSE@ICSE (2015)
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS (2015)
Joanne M. Atlee, Uli Fahrenberg, Axel Legay
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE (2015)
Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. ICSE (1) (2015)
Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee
Scaling exact multi-objective combinatorial optimization by parallelization. ASE (2014)
Pourya Shaker, Joanne M. Atlee
Behaviour interactions among product-line features. SPLC (2014)
Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4 (7) (2014)
Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski
Three Cases of Feature-Based Variability Modeling in Industry. MoDELS (2014)
Cecylia Bocovich, Joanne M. Atlee
Variable-specific resolutions for feature interactions. SIGSOFT FSE (2014)
David Dietrich, Joanne M. Atlee
A mode-based pattern for feature requirements, and a generic feature interface. RE (2013)
David Dietrich, Joanne M. Atlee
A pattern for structuring the behavioural requirements of features of an embedded system. RePa (2013)
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
5th international workshop on modeling in software engineering (MiSE 2013). ICSE (2013)
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker
Recommendations for improving the usability of formal methods for product lines. FormaliSE@ICSE (2013)
Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC (2013)
Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski
A survey of variability modeling in industrial practice. VaMoS (2013)
Pourya Shaker, Joanne M. Atlee, Shige Wang
A feature-oriented requirements modelling language. RE (2012)
Joanne M. Atlee, Paola Inverardi
Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38 (1) (2012)
P. Ann Zimmer, Joanne M. Atlee
Ordering features by category. J. Syst. Softw. 85 (8) (2012)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Code generation for a family of executable modelling notations. Softw. Syst. Model. 11 (2) (2012)
Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
Monitoring aspects for the customization of automatically generated code for big-step models. GPCE (2011)
Ali Taleghani, Joanne M. Atlee
Search-carrying code. ASE (2010)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee
A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) (2010)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15 (2) (2010)
Ali Taleghani, Joanne M. Atlee
State-Space Coverage Estimation. ASE (2009)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
Semantic Criteria for Choosing a Language for Big-Step Models. RE (2009)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Semantically Configurable Code Generation. MoDELS (2008)
Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler
Modeling in software engineering. ICSE Companion (2008)
Betty H. C. Cheng, Joanne M. Atlee
Research Directions in Requirements Engineering. FOSE (2007)
Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler
Modeling in Software Engineering. ICSE Companion (2007)
Joanne M. Atlee
Introduction to the best research papers from RE'05. Requir. Eng. 11 (3) (2006)
Ali Taleghani, Joanne M. Atlee
Semantic Variations Among UML StateMachines. MoDELS (2006)
Joanne M. Atlee, Roel J. Wieringa
RE 05: Engineering Successful Products. IEEE Softw. 23 (3) (2006)
P. Ann Zimmer, Joanne M. Atlee
Categorizing and Prioritizing Telephony Features. FIW (2005)
Joanne M. Atlee, Richard J. LeBlanc, Timothy C. Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson
Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering. Software Education and Training Sessions @ ICSE (2005)
Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering. ICSE (2005)
Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
Mapping Template Semantics to SMV. ASE (2004)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Understanding and Comparing Model-Based Specification Notations. RE (2003)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29 (10) (2003)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Composable semantics for model-based notations. SIGSOFT FSE (2002)
Saheem Siddiqi, Joanne M. Atlee
A hybrid model for specifying features and detecting interactions. Comput. Networks 32 (4) (2000)
Jonathan D. Hay, Joanne M. Atlee
Composing features and resolving interactions. SIGSOFT FSE (2000)
Annie I. Antón, Joanne M. Atlee
What Do You Mean I've Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals. ICRE (2000)
George Yanbing Guo, Joanne M. Atlee, Rick Kazman
A Software Architecture Reconstruction Method. WICSA (1999)
Pansy K. Au, Joanne M. Atlee
Evaluation of a State-Based Model of Feature Interactions. FIW (1997)
Joanne M. Atlee, Paul P. Dasiewicz, Rick Kazman, Rudolph E. Seviora, Ajit Singh
A Joint CS/E&CE Undergraduate Option in Software Engineering. CSEE (1996)
Keith P. Pomakis, Joanne M. Atlee
Reachability Analysis of Feature Interactions: A Progress Report. ISSTA (1996)
Joanne M. Atlee, Marsha Chechik, John D. Gannon
Using Model Checking to Analyze Requirements and Designs. Adv. Comput. 43 (1996)
Joanne M. Atlee, Michael A. Buckley
A Logic-Model Semantics for SCR Software Requirements. ISSTA (1996)
Joanne M. Atlee, John Alexander McDermid
Integrating requirements analysis and safety analysis. RE (1995)
Kenneth H. Braithwaite, Joanne M. Atlee
Towards automated detection of feature interactions. FIW (1994)
Joanne M. Atlee, John D. Gannon
Analyzing Timing Requirements. ISSTA (1993)
Joanne M. Atlee, John D. Gannon
State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19 (1) (1993)
James M. Purtilo, Joanne M. Atlee
Module Reuse by Interface Adaptation. Softw. Pract. Exp. 21 (6) (1991)
Joanne M. Atlee, John D. Gannon
State-based model checking of event-driven system requirements. SIGSOFT (1991)
James M. Purtilo, Joanne M. Atlee
Improving Module Reuse by Interface Adaption. ICCL (1990)