| Software engineering: theory and practice PS Lawrence, JM Atlee Pearson Education, 2006 | 2613* | 2006 |
| Research directions in requirements engineering BHC Cheng, JM Atlee Future of software engineering (FOSE'07), 285-303, 2007 | 1003 | 2007 |
| A survey of variability modeling in industrial practice T Berger, R Rublack, D Nair, JM Atlee, M Becker, K Czarnecki, ... Proceedings of the 7th International Workshop on Variability Modelling of …, 2013 | 535 | 2013 |
| State-based model checking of event-driven system requirements JM Atlee, J Gannon IEEE Transactions on Software Engineering 19 (1), 24-40, 1993 | 329 | 1993 |
| A software architecture reconstruction method GY Guo, JM Atlee, R Kazman Software Architecture: TC2 First Working IFIP Conference on Software …, 1999 | 155 | 1999 |
| Module reuse by interface adaptation JM Purtilo, JM Atlee Software: Practice and Experience 21 (6), 539-556, 1991 | 134 | 1991 |
| Current and future research directions in requirements engineering BHC Cheng, JM Atlee Design Requirements Engineering: A Ten-Year Perspective: Design Requirements …, 2009 | 100 | 2009 |
| Composing features and resolving interactions JD Hay, JM Atlee Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000 | 94 | 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 | 91 | 1996 |
| Three cases of feature-based variability modeling in industry T Berger, D Nair, R Rublack, JM Atlee, K Czarnecki, A Wąsowski Model-Driven Engineering Languages and Systems: 17th International …, 2014 | 82 | 2014 |
| A logic-model semantics for SCR software requirements JM Atlee, MA Buckley ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996 | 72 | 1996 |
| Towards automated detection of feature interactions. KH Braithwaite, JM Atlee FIW, 36-59, 1994 | 71 | 1994 |
| Template semantics for model-based notations J Niu, JM Atlee, NA Day IEEE Transactions on Software Engineering 29 (10), 866-882, 2003 | 68 | 2003 |
| A feature-oriented requirements modelling language P Shaker, JM Atlee, S Wang 2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012 | 66 | 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 | 53 | 2014 |
| Feature interactions: the next generation (Dagstuhl seminar 14281) S Apel, JM Atlee, L Baresi, P Zave Dagstuhl Reports 4 (7), 2014 | 52 | 2014 |
| Evaluation of a State-Based Model of Feature Interactions. PK Au, JM Atlee FIW, 153-167, 1997 | 47 | 1997 |
| Deconstructing the semantics of big-step modelling languages S Esmaeilsabzali, NA Day, JM Atlee, J Niu Requirements Engineering 15, 235-265, 2010 | 45 | 2010 |
| State-based model checking of event-driven system requirements J Atlee, J Gannon ACM SIGSOFT Software Engineering Notes 16 (5), 16-28, 1991 | 42 | 1991 |
| Semantic variations among UML statemachines A Taleghani, JM Atlee International Conference on Model Driven Engineering Languages and Systems …, 2006 | 40 | 2006 |
