Joanne M. Atlee

89 papers A* 7A 17B 6C 4Journal 18Unranked 31

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