Books and Book Contributions

• Sandy Beidu, Joanne M. Atlee. "Detecting Feature Interactions in FORML Models," in From Software Engineering to Formal Methods and Tools, and Back, LNCS 11865, Springer, 2019: 220-235. [DOI]


• Shari Lawrence Pfleeger and Joanne M. Atlee, Software Engineering: Theory and Practice, Fourth edition, Prentice Hall, 2009.


• Betty H. C. Cheng and Joanne M. Atlee, "Current and Future Research Directions in Requirements Engineering", in Design Requirements Engineering: A Ten-Year Perspective, Lecture Notes in Business Information Processing, Vol. 14, Springer, 2009, pp. 11-43. [DOI]


• Joanne M. Atlee, Richard J. LeBlanc, Jr., Timothy C. Lethbridge, Ann Sobel, J. Barrie Thompson, "Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering," in Software Engineering Education in the Modern Age, LNCS 4309, Springer-Verlag, 2006, pp. 11-27. [DOI]


• Shari Lawrence Pfleeger and Joanne M. Atlee, Software Engineering: Theory and Practice, Third edition, Prentice Hall, 2005.


• Joanne M. Atlee, Introduction to "Tabular Representations in Relational Documents" in Software Fundamentals: Collected Papers by David L. Parnas, Addison-Wesley Professional, 2001.


• Joanne M. Atlee, Marsha Chechik, and John Gannon, "Using Model Checking to Analyze Requirements and Designs," in Advances in Computers, Vol. 43, M. Zelkowitz (Ed), Academic Press, 1996, pp. 141-178. [DOI]

• Parsa Pourali, Joanne M. Atlee. "A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models", In Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'19), September 2019, pp. 183-193. [DOI] [PDF]


• Parsa Pourali, Joanne M. Atlee. "UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams", In Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - Demo Track (MODELS'19), September 2019, pp. 779-783. [DOI] [PDF]


• Bryan Muscedere, Robert Hackman, Davood Anbarnam, Joanne Atlee, Ian Davis and Michael Godfrey. "Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis," In Proceedings of the IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER'19), February 2019, pp. 175-185. [DOI] [PDF]


• Parsa Pourali, Joanne M. Atlee. "An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools," In Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'18), October 2018, pp. 224-234. [DOI] [PDF]


• Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg. "Trace Checking for Dynamic Software Product Lines," In Proceedings of the Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'18), May 2018, pp. 69-75. [DOI] [PDF]


• Mohammad Hadi Zibaeenejad, Chi Zhang, Joanne M. Atlee. "Continuous Variable-Specic Resolutions of Feature Interactions," In Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESE/FSE'17), September 2017, pp. 408-418. [DOI] [PDF]


• Zhaoyi Luo, Joanne M. Atlee. "BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment," In Proceedings of International Conference on Software Language Engineering (SLE'16), November 2016, pp. 105-117. [DOI] [PDF]


• Cecylia Bocovich, Joanne M. Atlee, "Feature-Oriented Modelling in BIP: A Case Study," In Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp'16), October 2016, pp. 6-11. [URN] [PDF]


• Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay. "Long-term Average Cost in Featured Transition Systems," In Proceedings of the International Software Product Line Conference (SPLC'16), September 2016, pp. 109-118. [DOI] [PDF]


• Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay, "Merging Features in Featured Transition Systems", In the Proceedings of the 12th Workshop on Model Driven Engineering, Verication, and Validation (MoDeVVa'15), September 2015, pp. 38-43. [URN] [PDF]


• Shoham Ben David, Baruch Sterin, Joanne M. Atlee, and Sandy Beidu. "Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods," In Proceedings of ACM/IEEE 37th International Conference on Software Engineering (ICSE'15), May 2015, pp. 189-199. [DOI] [PDF]


• Sandy Beidu, Joanne M. Atlee, Pourya Shaker. "Incremental and Commutative Composition of State-Machine Models of Features." In the Proceedings of the Seventh International Workshop on Models in Software Engineering (MiSE'15), May 2015, pp. 13-18. [DOI] [PDF]


• Joanne M. Atlee, Uli Fahrenberg, Axel Legay. "Measuring Behaviour Interactions between Product-Line Features.", In the Proceedings of the Third FME Workshop on Formal Methods in Software Engineering (FormaliSE'15), May 2015, pp. 20-25. [DOI] [PDF]


• Cecylia Bocovich and Joanne M. Atlee, "Variable-Specic Resolutions for Feature Interactions," In Proceedings of ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'14), November 2014, pp. 553-563. [DOI] [PDF]


• Pourya Shaker and Joanne M. Atlee, "Behaviour Interactions Among Product-Line Features", In Proceedings of International Software Product Line Conference (SPLC'14) (short paper), September 2014 pp. 242-246. [DOI] [PDF]


• David Dietrich and Joanne M. Atlee, "A Mode-Based Pattern for Feature Requirements, and a Generic Feature Interface," In Proceedings of the IEEE International Requirements Engineering Conference (RE'13), July 2013, pp. 82-91. [DOI] [PDF]


• David Dietrich and Joanne M. Atlee, "A Pattern for Structuring the Behavioural Requirements of Features of an Embedded System," In the Proceedings of the Third International Workshop on Requirements Patterns (RePa'13), July 2013, pp. 1-7. [DOI] [PDF]


• Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih and Pourya Shaker, "Recommendations for Improving the Usability of Formal Methods for Product Lines," In Proceedings of the FME Workshop on Formal Methods in Software Engineering (FormaliSE'13), May 2013, pp. 43-49. [DOI] [PDF]


• Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, and Andrzej Wasowski. "A Survey of Variability Modeling in Industrial Practice." In Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'13), January 2013, Article No. 7:1-8 pages. [DOI] [PDF]


• David Dietrich, Pourya Shaker, Joanne M. Atlee, Derek Rayside, and Jan Gorzny. "Feature Interaction Analysis of the Feature-Oriented Requirements-Modelling Language Using Alloy", In the Proceedings of the 9th MODELS Workshop on Model-Driven Engineering, Verication and Validation (MoDeVVa'12), October 2012, pp. 17-22. [DOI] [PDF]


• Pourya Shaker, Joanne M. Atlee, and Shige Wang, "A Feature-Oriented Requirements Modelling Language", in Proceedings of the International Requirements Engineering Conference (RE'12), September 2012, pp. 151-160. [DOI] [PDF]


• P. Ann Zimmer and Joanne M. Atlee, "Ordering Features by Category", Journal of Systems and Software, Elsevier, Vol. 85, No. 8, (August 2012), pp.1782-1800. [DOI] [PDF]


• Adam Prout, Joanne M. Atlee, Nancy A. Day, and Pourya Shaker, "Code Generation for a Family of Executable Modelling Notations," Software and Systems Modeling, Springer Verlag, Vol. 11, No. 2 (May 2012), pp. 251-272. [DOI] [PDF]


• Shahram Esmaeilsabzali, Bernd Fischer, and Joanne M. Atlee, "Monitoring Aspects for the Customization of Automatically Generated Code for Big-Step Models," in Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE'11), October 2011, pp. 117-126.[DOI] [PDF]


• Shahram Esmaeilsabzali, Nancy A. Day, and Joanne M. Atlee, "A Common Framework for Synchronization in Requirements Modelling Languages", in Proceedings of the ACM/IEEE Model Driven Engineering Languages and Systems (MODELS'10), LNCS 6395, October 2010, pp. 198-212. [DOI] [PDF]


• Ali Taleghani and Joanne M Atlee, "Search-carrying code", in Proceedings of IEEE/ACM international Conference on Automated Software Engineering (ASE'10), September 2010, pp. 367-376. [DOI] [PDF]


• Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, "Deconstructing the Semantics of Big-Step Modelling Languages", Requirements Engineering Journal, Springer, Vol. 15, No. 2, (June 2010): 235-265. [DOI] [PDF]


• Ali Taleghani and Joanne M. Atlee, "State-Space Coverage Estimation." In Proceedings of IEEE/ACM International Conference on Automated Software Engineering (ASE'09), November 2009, pp. 459-467. [DOI] [PDF]


• Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, "Semantic Criteria for Choosing a Language for Big-Step Models," in Proceedings of IEEE International Requirements Engineering Conference (RE'09), September 2009, pp. 181-190. [DOI] [PDF]


• Adam Prout, Joanne M. Atlee, Nancy A. Day, and Pourya Shakar, "Semantically Congurable Code Generation", in Proceedings of the ACM/IEEE Model Driven Engineering Languages and Systems (MODELS'08), October 2008, pp. 705-720. ACM SIGSOFT Distinguished Paper Award. [DOI] [PDF]


• Betty H. C. Cheng and Joanne M. Atlee, "Research Directions in Requirements Engineering", in Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE'07 Future of Software Engineering), May 2007, pp. 285-303. [DOI] [PDF]


• Ali Taleghani and Joanne M. Atlee, "Semantics Variations Among UML StateMachines", in Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'06), October 2006, pp. 245-259. [DOI] [PDF]


• P. Ann Zimmer and Joanne M. Atlee, "Categorizing and Prioritizing Telephony Features", in Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI'05), June 2005, pp 327-333. [ISBN 1-58603-524-X] [PDF]


• Yun Lu, Joanne Atlee, Nancy Day, and Jianwei Niu, "Mapping Template Semantics to SMV", in Proceedings of the IEEE International Conference on Automated Software Engineering (ASE'04) (short paper), September 2004, pp. 320-325. [DOI] [PDF]


• Jianwei Niu, Joanne M. Atlee, and Nancy A. Day, "Template Semantics for Model-Based Notations", IEEE Transactions on Software Engineering, Vol. 29, No. 10 (October 2003), pp. 866-882. [DOI] [PDF]


• Jianwei Niu, Joanne M. Atlee, and Nancy A. Day, "Understanding and Comparing Model-Based Specification Notations", in Proceedings of the IEEE International Requirements Engineering Conference (RE'03), September 2003, pp. 188-199. [DOI] [PDF]


• Yinghua Jia and Joanne M. Atlee, "Run-Time Management of Feature Interactions", in Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering (CBSE'03), May 2003. [PDF]


• Jianwei Niu, Joanne M. Atlee, and Nancy A. Day, "Composable Semantics for Model-Based Notations", in Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'02), November 2002, pp. 149-158. [DOI] [PDF]


• Jonathan D. Hay and Joanne M. Atlee, "Composing Features and Resolving Interactions," in Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering(FSE'00), November 2000, pp. 110-119. [DOI] [PDF]


• Saheem Siddiqi and Joanne M. Atlee, "A Hybrid Model for Specifying Features and Detecting Interactions", Computer Networks, Vol. 32, No. 4 (April 2000), Elsevier Science, pp. 471-485. [DOI] [PDF]


• George Yanbing Guo, Joanne M. Atlee, and Rick Kazman, "A Software Architecture Reconstruction Method", in Proceedings of the 1st Working IFIP Conference on Software Architecture (WICSA'99), February 1999 pp. 225-243. [DOI] [PDF]


• Pansy Au and Joanne M. Atlee, "Evaluation of a State-Based Model of Feature Interactions," in Feature Interactions in Telecommunication Networks IV (FI'97), June 1997, pp. 153-167. [ISBN 978-90-5199-347-9] [PDF]


• Tirumale Sreemani and Joanne M. Atlee, "Feasibility of Model Checking Software Requirements: A Case Study," in Proceedings of the 11th Annual Conference on Computer Assurance (COMPASS'96), June 1996, pp. 77-88. [DOI] [PDF]


• Joanne M. Atlee, Paul P. Dasiewicz, Rick Kazman, Rudolph E. Seviora, and Ajit Singh, "A Joint CS/E&CE Undergraduate Option in Software Engineering", in Proceedings of the 9th Conference on Software Engineering Education (CSEE'96), April 1996, pp. 16-28. [DOI] [PDF]


• Joanne M. Atlee and Michael A. Buckley, "A Logic-Model Semantics for SCR Software Requirements," in Proceedings of the ACM International Symposium on Software Testing and Analysis (ISSTA'96), January 1996, pp. 280-292. [DOI] [PDF]


• Keith P. Pomakis and Joanne M. Atlee, "Reachability Analysis of Feature Interactions: A Progress Report," Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'96), January 1996, pp. 216-223. [DOI] [PDF]


• Kenneth H. Braithwaite and Joanne M. Atlee, "Towards Automated Detection of Feature Interactions," in Proceedings of the Second International Workshop on Feature Interactions in Telecommunications Software Systems (FI'94), May 1994, pp. 36-59. [ISBN 978-90-5199-165-9] [PDF]


• Joanne M. Atlee and John Gannon, "Analyzing Timing Requirements," in Proceedings of the ACM International Symposium on Software Testing and Analysis (ISSTA'93), June 1993, pp. 117-127. [DOI] [PDF]


• Joanne M. Atlee and John Gannon, "State-Based Model Checking of Event-Driven Systems Requirements," IEEE Transactions on Software Engineering, Vol. 19, No. 1 (January 1993), pp. 24-40. [DOI] [PDF]


• Joanne M. Atlee and John Gannon, "State-Based Model Checking of Event-Driven Systems Requirements," in Proceedings of the ACM SIGSOFT Conference on Software for Critical Systems, December 1991, pp. 16-28. [DOI] [PDF]


• James M. Purtilo and Joanne M. Atlee, "Module Reuse by Interface Adaptation," Software - Practice and Experience, Vol. 21, No. 6 (June 1991), pp. 539-556. [DOI] [PDF]


• James M. Purtilo and Joanne M. Atlee, "Improving Module Reuse by Interface Adaptation," in Proceedings of International Conference on Computer Languages, March 1990, pp. 208-217. [DOI]