| Automated reasoning on feature models D Benavides, P Trinidad, A Ruiz-Cortés International Conference on Advanced Information Systems Engineering, 491-503, 2005 | 972 | 2005 |
| Fama: Tooling a framework for the automated analysis of feature models. D Benavides, S Segura, P Trinidad, AR Cortés VaMoS 7, 129-134, 2007 | 327 | 2007 |
| An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry R Capilla, J Bosch, P Trinidad, A Ruiz-Cortés, M Hinchey Journal of Systems and Software 91, 3-23, 2014 | 253 | 2014 |
| Using Java CSP solvers in the automated analyses of feature models D Benavides, S Segura, P Trinidad, A Ruiz-Cortés International Summer School on Generative and Transformational Techniques in …, 2005 | 216* | 2005 |
| Automated error analysis for the agilization of feature modeling P Trinidad, D Benavides, A Durán, A Ruiz-Cortés, M Toro Journal of Systems and Software 81 (6), 883-896, 2008 | 213 | 2008 |
| Automated diagnosis of product-line configuration errors in feature models J White, DC Schmidt, D Benavides, P Trinidad, A Ruiz–Cortés 2008 12th International Software Product Line Conference, 225-234, 2008 | 204 | 2008 |
| Automated diagnosis of feature model configurations J White, D Benavides, DC Schmidt, P Trinidad, B Dougherty, ... Journal of Systems and Software 83 (7), 1094-1107, 2010 | 150 | 2010 |
| Fama framework P Trinidad, D Benavides, A Ruiz-Cortés, S Segura, A Jimenez 2008 12th International Software Product Line Conference, 359-359, 2008 | 143 | 2008 |
| Using Constraint Programming to Reason on Feature Models. D Benavides, P Trinidad, AR Cortés SEKE 5, 677-682, 2005 | 134 | 2005 |
| Automated analysis of feature models: Quo vadis? JA Galindo, D Benavides, P Trinidad, AM Gutiérrez-Fernández, ... Computing 101 (5), 387-433, 2019 | 131 | 2019 |
| Automated merging of feature models using graph transformations S Segura, D Benavides, A Ruiz-Cortés, P Trinidad International Summer School on Generative and Transformational Techniques in …, 2007 | 103 | 2007 |
| A first step towards a framework for the automated analysis of feature models D Benavides, S Segura, P Trinidad, A Ruiz-Cortés Proc. Managing Variability for Software Product Lines: Working With …, 2006 | 102 | 2006 |
| Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines. P Trinidad, AR Cortés, J Pena, D Benavides SPLC (2), 51-56, 2007 | 87 | 2007 |
| Automated Configuration Support for Infrastructure Migration to the Cloud J Garcıa-Galán, P Trinidad, OF Rana, A Ruiz-Cortés | 86* | |
| Consistency maintenance for evolving feature models J Guo, Y Wang, P Trinidad, D Benavides Expert Systems with Applications 39 (5), 4987-4998, 2012 | 67 | 2012 |
| Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?. P Trinidad, AR Cortés VaMos 9, 145-153, 2009 | 64 | 2009 |
| Migrating to the cloud: a software product line based analysis J Garcıa-Galán, OF Rana, P Trinidad, A Ruiz-Cortés 3rd International Conference on Cloud Computing and Services Science (CLOSER …, 2013 | 57 | 2013 |
| FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing A Durán, D Benavides, S Segura, P Trinidad, A Ruiz-Cortés Software & Systems Modeling 16 (4), 1049-1082, 2017 | 43 | 2017 |
| An architectural discussion on dspl. C Cetina, V Pelechano, P Trinidad, AR Cortés SPLC (2), 59-68, 2008 | 40 | 2008 |
| Fama D Benavides, P Trinidad, A Ruiz-Cortés, S Segura Systems and Software Variability Management: Concepts, Tools and Experiences …, 2013 | 39 | 2013 |
