| Software engineering: theory and practice SL Pfleeger, JM Atlee Pearson Education India, 1998 | 2502 | 1998 |
| Research directions in requirements engineering BHC Cheng, JM Atlee Future of Software Engineering (FOSE'07), 285-303, 2007 | 852 | 2007 |
| A survey of variability modeling in industrial practice T Berger, R Rublack, D Nair, JM Atlee, M Becker, K Czarnecki, ... Proceedings of the Seventh International Workshop on Variability Modelling …, 2013 | 366 | 2013 |
| State-based model checking of event-driven system requirements JM Atlee, J Gannon IEEE Transactions on Software Engineering 19 (1), 24-40, 1993 | 307 | 1993 |
| A software architecture reconstruction method GY Guo, JM Atlee, R Kazman Working Conference on Software Architecture, 15-33, 1999 | 136 | 1999 |
| Module reuse by interface adaptation JM Purtilo, JM Atlee Software: Practice and Experience 21 (6), 539-556, 1991 | 120 | 1991 |
| Composing features and resolving interactions JD Hay, JM Atlee Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000 | 85 | 2000 |
| Feasibility of model checking software requirements: A case study T Sreemani, JM Atlee Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, 77-88, 1996 | 84 | 1996 |
| Current and future research directions in requirements engineering BHC Cheng, JM Atlee Design requirements engineering: A ten-year perspective, 11-43, 2009 | 73 | 2009 |
| A logic-model semantics for SCR software requirements JM Atlee, MA Buckley ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996 | 70 | 1996 |
| Towards automated detection of feature interactions. KH Braithwaite, JM Atlee FIW, 36-59, 1994 | 67 | 1994 |
| Template semantics for model-based notations J Niu, JM Atlee, NA Day IEEE Transactions on Software Engineering 29 (10), 866-882, 2003 | 61 | 2003 |
| Three cases of feature-based variability modeling in industry T Berger, D Nair, R Rublack, JM Atlee, K Czarnecki, A Wąsowski International Conference on Model Driven Engineering Languages and Systems …, 2014 | 60 | 2014 |
| A feature-oriented requirements modelling language P Shaker, JM Atlee, S Wang 2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012 | 59 | 2012 |
| Scaling exact multi-objective combinatorial optimization by parallelization J Guo, E Zulkoski, R Olaechea, D Rayside, K Czarnecki, S Apel, JM Atlee Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 47 | 2014 |
| State-based model checking of event-driven system requirements J Atlee, J Gannon ACM SIGSOFT Software Engineering Notes 16 (5), 16-28, 1991 | 41 | 1991 |
| Reachability analysis of feature interactions: A progress report KP Pomakis, JM Atlee Proceedings of the 1996 ACM SIGSOFT international symposium on Software …, 1996 | 36 | 1996 |
| Deconstructing the semantics of big-step modelling languages S Esmaeilsabzali, NA Day, JM Atlee, J Niu Requirements Engineering 15 (2), 235-265, 2010 | 34 | 2010 |
| Semantic variations among UML statemachines A Taleghani, JM Atlee International Conference on Model Driven Engineering Languages and Systems …, 2006 | 33 | 2006 |
| Feature interactions: the next generation (dagstuhl seminar 14281) S Apel, JM Atlee, L Baresi, P Zave Dagstuhl Reports 4 (7), 2014 | 27 | 2014 |
