default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoanne M. Atlee
Person information
- affiliation: University of Waterloo, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c60]Rafael F. Toledo
, Joanne M. Atlee, Rui Ming Xiong, Mingyu Liu:
(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results. ICSE Companion 2024: 69-73- [c59]Oseremen Joy Idialu, Noble Saji Mathews, Rungroj Maipradit, Joanne M. Atlee, Meiyappan Nagappan:
Whodunit: Classifying Code as Human Authored or GPT-4 generated- A case study on CodeChef problems. MSR 2024: 394-406 - [i5]Oseremen Joy Idialu, Noble Saji Mathews, Rungroj Maipradit, Joanne M. Atlee, Meiyappan Nagappan:
Whodunit: Classifying Code as Human Authored or GPT-4 Generated - A case study on CodeChef problems. CoRR abs/2403.04013 (2024) - 2023
- [j13]Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28(2): 40 (2023) - [j12]Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee:
Dynamic Human-in-the-Loop Assertion Generation. IEEE Trans. Software Eng. 49(4): 2337-2351 (2023) - [c58]Xiang Chen, Joanne M. Atlee:
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. MODELS 2023: 307-318 - [i4]Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong:
Comprehending Variability in Analysis Results of Software Product Lines. CoRR abs/2310.20042 (2023) - 2021
- [c57]Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS 2021: 145-155 - [i3]Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR abs/2107.07690 (2021) - 2020
- [c56]Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey:
mel- model extractor language for extracting facts from models. MoDELS 2020: 200-210
2010 – 2019
- 2019
- [c55]Sandy Beidu, Joanne M. Atlee:
Detecting Feature Interactions in FORML Models. From Software Engineering to Formal Methods and Tools, and Back 2019: 220-235 - [c54]Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee:
Message from the MASE 2019 Chair. MoDELS (Companion) 2019: 1 - [c53]Parsa Pourali, Joanne M. Atlee:
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models. MoDELS 2019: 183-193 - [c52]Parsa Pourali, Joanne M. Atlee:
UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams. MoDELS (Companion) 2019: 779-783 - [c51]Joanne M. Atlee:
Living with feature interactions (keynote). ESEC/SIGSOFT FSE 2019: 1 - [c50]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: 175-185 - [e9]Joanne M. Atlee, Tevfik Bultan, Jon Whittle:
Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE / ACM 2019, ISBN 978-1-7281-0869-8 [contents] - [e8]Joanne M. Atlee, Tevfik Bultan, Jon Whittle:
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE / ACM 2019, ISBN 978-1-7281-1764-5 [contents] - 2018
- [c49]Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75 - [c48]Parsa Pourali, Joanne M. Atlee:
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools. MoDELS 2018: 224-234 - 2017
- [c47]Mohammad Hadi Zibaeenejad, Chi Zhang, Joanne M. Atlee:
Continuous variable-specific resolutions of feature interactions. ESEC/SIGSOFT FSE 2017: 408-418 - 2016
- [c46]Cecylia Bocovich, Joanne M. Atlee:
Feature-Oriented Modelling in BIP: A Case Study. ModComp@MoDELS 2016: 6-11 - [c45]Zhaoyi Luo, Joanne M. Atlee:
BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment. SLE 2016: 105-117 - [c44]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-term average cost in featured transition systems. SPLC 2016: 109-118 - [i2]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-Term Average Cost in Featured Transition Systems. CoRR abs/1604.06781 (2016) - 2015
- [c43]Sandy Beidu, Joanne M. Atlee, Pourya Shaker:
Incremental and Commutative Composition of State-Machine Models of Features. MiSE@ICSE 2015: 13-18 - [c42]Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE 2015: 20-25 - [c41]Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu:
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. ICSE (1) 2015: 189-199 - [c40]Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43 - [e7]Michal Antkiewicz, Joanne M. Atlee, Juergen Dingel, S. Ramesh:
Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada. September 27, 2015. CEUR Workshop Proceedings 1487, CEUR-WS.org 2015 [contents] - [e6]Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents] - 2014
- [c39]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: 409-420 - [c38]Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski:
Three Cases of Feature-Based Variability Modeling in Industry. MoDELS 2014: 302-319 - [c37]Cecylia Bocovich, Joanne M. Atlee:
Variable-specific resolutions for feature interactions. SIGSOFT FSE 2014: 553-563 - [c36]Pourya Shaker, Joanne M. Atlee:
Behaviour interactions among product-line features. SPLC 2014: 242-246 - [e5]Joanne M. Atlee, Vinay Kulkarni, Tony Clark, Robert B. France, Bernhard Rumpe:
6th International Workshop on Modeling in Software Engineering, MiSE 2014, Hyderabad, India, June 2-3, 2014. ACM 2014, ISBN 978-1-4503-2849-4 [contents] - [i1]Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4(7): 1-24 (2014) - 2013
- [c35]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: 43-49 - [c34]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: 1531-1532 - [c33]David Dietrich, Joanne M. Atlee:
A pattern for structuring the behavioural requirements of features of an embedded system. RePa 2013: 1-7 - [c32]David Dietrich, Joanne M. Atlee:
A mode-based pattern for feature requirements, and a generic feature interface. RE 2013: 82-91 - [c31]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: 266-267 - [c30]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: 7:1-7:8 - [e4]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6447-8 [contents] - 2012
- [j11]Patsy Ann Zimmer, Joanne M. Atlee:
Ordering features by category. J. Syst. Softw. 85(8): 1782-1800 (2012) - [j10]Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Code generation for a family of executable modelling notations. Softw. Syst. Model. 11(2): 251-272 (2012) - [j9]Joanne M. Atlee, Paola Inverardi:
Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38(1): 3-4 (2012) - [c29]Pourya Shaker, Joanne M. Atlee, Shige Wang:
A feature-oriented requirements modelling language. RE 2012: 151-160 - [e3]Joanne M. Atlee, Robert Baillargeon, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1757-3 [contents] - 2011
- [c28]Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee:
Monitoring aspects for the customization of automatically generated code for big-step models. GPCE 2011: 117-126 - 2010
- [j8]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu:
Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15(2): 235-265 (2010) - [c27]Ali Taleghani, Joanne M. Atlee:
Search-carrying code. ASE 2010: 367-376 - [c26]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee:
A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) 2010: 198-212
2000 – 2009
- 2009
- [b2]Shari Lawrence Pfleeger, Joanne M. Atlee:
Software engineering - theory and practice (4. ed.). Pearson Education 2009, ISBN 978-0-13-814181-3, pp. 1-782 - [c25]Ali Taleghani, Joanne M. Atlee:
State-Space Coverage Estimation. ASE 2009: 459-467 - [c24]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu:
Semantic Criteria for Choosing a Language for Big-Step Models. RE 2009: 181-190 - 2008
- [c23]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler:
Modeling in software engineering. ICSE Companion 2008: 1039-1040 - [c22]Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Semantically Configurable Code Generation. MoDELS 2008: 705-720 - [e2]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler:
International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. ACM 2008, ISBN 978-1-60558-025-8 [contents] - 2007
- [c21]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
Modeling in Software Engineering. ICSE Companion 2007: 113-114 - [c20]Betty H. C. Cheng, Joanne M. Atlee:
Research Directions in Requirements Engineering. FOSE 2007: 285-303 - 2006
- [b1]Shari Lawrence Pfleeger, Joanne M. Atlee:
Software engineering - theory and practice (3. ed.). Ellis Horwood 2006, ISBN 978-0-13-198461-5, pp. I-XIX, 1-716 - [j7]Joanne M. Atlee:
Introduction to the best research papers from RE'05. Requir. Eng. 11(3): 155-156 (2006) - [j6]Joanne M. Atlee, Roel J. Wieringa:
RE 05: Engineering Successful Products. IEEE Softw. 23(3): 16-18 (2006) - [c19]Ali Taleghani, Joanne M. Atlee:
Semantic Variations Among UML StateMachines. MoDELS 2006: 245-259 - 2005
- [c18]Patsy Ann Zimmer, Joanne M. Atlee:
Categorizing and Prioritizing Telephony Features. FIW 2005: 327-333 - [c17]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: 11-27 - [c16]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: 623-624 - 2004
- [c15]Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu:
Mapping Template Semantics to SMV. ASE 2004: 320-325 - 2003
- [j5]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29(10): 866-882 (2003) - [c14]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Understanding and Comparing Model-Based Specification Notations. RE 2003: 188-199 - 2002
- [c13]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Composable semantics for model-based notations. SIGSOFT FSE 2002: 149-158 - 2000
- [j4]Saheem Siddiqi, Joanne M. Atlee:
A hybrid model for specifying features and detecting interactions. Comput. Networks 32(4): 471-485 (2000) - [c12]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: 151 - [c11]Jonathan D. Hay, Joanne M. Atlee:
Composing features and resolving interactions. SIGSOFT FSE 2000: 110-119
1990 – 1999
- 1999
- [c10]George Yanbing Guo, Joanne M. Atlee, Rick Kazman:
A Software Architecture Reconstruction Method. WICSA 1999: 15-34 - 1998
- [e1]Mark A. Ardis, Joanne M. Atlee:
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. ACM 1998, ISBN 0-89791-954-8 [contents] - 1997
- [c9]Pansy K. Au, Joanne M. Atlee:
Evaluation of a State-Based Model of Feature Interactions. FIW 1997: 153-167 - 1996
- [j3]Joanne M. Atlee, Marsha Chechik, John D. Gannon:
Using Model Checking to Analyze Requirements and Designs. Adv. Comput. 43: 141-178 (1996) - [c8]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: 16-28 - [c7]Keith P. Pomakis, Joanne M. Atlee:
Reachability Analysis of Feature Interactions: A Progress Report. ISSTA 1996: 216-223 - [c6]Joanne M. Atlee, Michael A. Buckley:
A Logic-Model Semantics for SCR Software Requirements. ISSTA 1996: 280-292 - 1995
- [c5]Joanne M. Atlee, John A. McDermid:
Integrating requirements analysis and safety analysis. RE 1995: 158-159 - 1994
- [c4]Kenneth H. Braithwaite, Joanne M. Atlee:
Towards automated detection of feature interactions. FIW 1994: 36-59 - 1993
- [j2]Joanne M. Atlee, John D. Gannon:
State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993) - [c3]Joanne M. Atlee, John D. Gannon:
Analyzing Timing Requirements. ISSTA 1993: 117-127 - 1991
- [j1]James M. Purtilo, Joanne M. Atlee:
Module Reuse by Interface Adaptation. Softw. Pract. Exp. 21(6): 539-556 (1991) - [c2]Joanne M. Atlee, John D. Gannon:
State-based model checking of event-driven system requirements. SIGSOFT 1991: 16-28 - 1990
- [c1]James M. Purtilo, Joanne M. Atlee:
Improving Module Reuse by Interface Adaption. ICCL 1990: 208-217
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
