| Software engineering: theory and practice SL Pfleeger, JM Atlee Pearson Education India, 2010 | 2485 | 2010 |
| Research directions in requirements engineering BHC Cheng, JM Atlee Future of Software Engineering (FOSE'07), 285-303, 2007 | 945 | 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 | 466 | 2013 |
| State-based model checking of event-driven system requirements JM Atlee, J Gannon IEEE Transactions on Software Engineering 19 (1), 24-40, 1993 | 323 | 1993 |
| A software architecture reconstruction method GY Guo, JM Atlee, R Kazman Software Architecture: TC2 First Working IFIP Conference on Software …, 1999 | 146 | 1999 |
| Module reuse by interface adaptation JM Purtilo, JM Atlee Software: Practice and Experience 21 (6), 539-556, 1991 | 129 | 1991 |
| Composing features and resolving interactions JD Hay, JM Atlee Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000 | 96 | 2000 |
| Current and future research directions in requirements engineering BHC Cheng, JM Atlee Design Requirements Engineering: A Ten-Year Perspective: Design Requirements …, 2009 | 89 | 2009 |
| 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 | 88 | 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 | 71 | 2014 |
| Towards automated detection of feature interactions. KH Braithwaite, JM Atlee FIW, 36-59, 1994 | 71 | 1994 |
| A logic-model semantics for SCR software requirements JM Atlee, MA Buckley ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996 | 68 | 1996 |
| 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 |
| Template semantics for model-based notations J Niu, JM Atlee, NA Day IEEE Transactions on Software Engineering 29 (10), 866-882, 2003 | 66 | 2003 |
| 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 | 50 | 2014 |
| Evaluation of a State-Based Model of Feature Interactions. PK Au, JM Atlee FIW, 153-167, 1997 | 47 | 1997 |
| Feature interactions: the next generation (dagstuhl seminar 14281) S Apel, JM Atlee, L Baresi, P Zave Dagstuhl Reports 4 (7), 2014 | 42 | 2014 |
| 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 |
| Deconstructing the semantics of big-step modelling languages S Esmaeilsabzali, NA Day, JM Atlee, J Niu Requirements Engineering 15, 235-265, 2010 | 41 | 2010 |
| Semantic variations among UML statemachines A Taleghani, JM Atlee MoDELS, 245-259, 2006 | 39 | 2006 |
