Ficha personal - David Benavides Cuevas


David Benavides Cuevas
Telefono: 954553866
Email: Solicitar correo
Página personal: http://www.lsi.us.es/~dbc
Perfil en ORCID: 0000-0002-8449-3273
Perfil en WOS: K-2791-2014
Perfil en Scopus: 22333640600
Perfil en Dialnet: 2550510
Otro enlace a Web de investigación: https://grupo.us.es/diversolab/

Grupo de Investigación: Data-Centric Computing Research Hub
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Catedrático de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Líneas de productos software intensivas en datos (PID2022-138486OB-I00)
    • METAMORFOSIS: Marco dE Trasnformación digitAl Mediante Customización soFtware sobre gestiÓn de datos, proceSos de negocio y gobIerno de la Seguridad (US-1381375)
    • Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios (RTI2018-101204-B-C22)

  • Contrato con empresas (Arts. 68/83 LOU):
    • MIDAS: Monitorización Inteligente y Digitalización Avanzada de Servicios de Marketing. (P007-23/E00)

  • Redes de investigación:
    • TASOVA PLUS - Red en nuevas Tendencias en Arquitectura Software y Variabilidad (RED2022-134337-T)

  • Ayuda a la investigación:
    • Third International Workshop on Variability Modelling of Software-Intensive Systems (Vamos 09) (PP2009-01-038)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • AqualA - Sistema de programación de riego deficitario para cultivos Grupo Operativo (Funcionamiento) (GOPG-SE-23-0011 - Equipo Trabajo (Solicitud))
    • COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224 - Equipo de Investigación)
    • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Equipo de Investigación)
    • Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador)
    • Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador)
    • Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906 - Investigador)
    • reSearching on intElligent Tools for the internet of services (TIN2009-07366 - Investigador)
    • Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533 - Otro Investigador)
    • Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472 - Investigador)
    • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Otro)

  • Contrato con empresas (Arts. 68/83 LOU):
    • FAMILIES. Quality-aware system families (PRO-045 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-205 (2017/TIC-205 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2011/TIC-205 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2010/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2009/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2008/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2007/TIC-205 - Investigador)
    • Colaboración con la Plataforma Tecnológica Española de software y servicios y con la Plataforma Tecnológica Española de sistemas con inteligencia integrada (OTRI/06-PC24 - Investigador)
    • Colaboración con el Constrain Computation Centre de Cork (Irlanda). Colaboración con la NASA Goddard Space Flight Center (USA). Elaboración de propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Capítulos en Libros
Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, David Benavides:
Automated Analysis of Stateful Feature Models. Pag. 375-380. En: Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE. Springer. 2013. ISBN 978-3-642-36926-1

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, Sergio Segura:
FaMa. Pag. 163-171. En: Systems and Software Variability Management. Springer Berlin Heidelberg. 2013. ISBN 978-3-642-36582-9

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Automated Reasoning on Feature Models. Pag. 361-373. En: Seminal Contributions to Information Systems Engineering. Springer Berlin Heidelberg. 2013. ISBN 978-3-642-36925-4

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Improving Decision Making in Software Product Lines Product Plan Management. Pag. 88-97. En: Software Product Management: Issues and Perspectives. Ed. 1. Hyderabad, India. Icfai University Press. 2008. ISBN 978-81-314-1589-4

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
Automated Merging of Feature Models Using Graph Transformations. Vol. 5235. Pag. 489-505. En: Generative and Transformational Techniques in Software Engineering. Alemania. Springer Verlag. 2008

Bermejo, J., Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
The Best Industrial Practice in Product Line Engineering. Pag. 265-274. En: Software Product Lines in Action. Ed. 1. Berlín,Alemania. Springer-Verlag. 2007. ISBN 978-3-540-71436-1

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Using JAVA CSP Solvers in the Automated Analyses of Feature Models. Vol. 4143. Pag. 399-408. En: Generative and Transformational Techniques in Software Engineering. Berlín. Lecture Notes in Computer Science, Springer Verlag. 2006. ISBN 3-540-45778-X

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Müller Cejás, Carlos, Toro Bonilla, Miguel:
La Triple Esquizofrenia del Investigador en Ingeniería del Software. Vol. 8. Pag. 47-56. En: Aspectos Filosóficos, Psicológicos y Metodológicos de la Informática.. 2005. ISBN 84-9772-749-5

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Martín Díaz, Octavio, Bermejo, J.:
A First Approach to Build Product-Lines of MOWS. Pag. 61-66. En: New Methods and Tools Supporting e¿Commerce II. Santander (ESPAÑA). Kronos S.A. 2003. ISBN 84-86273-81-1

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Benavides Cuevas, David Felipe:
Putting the Foundations for a Management and Execution Environment for MOWS. Pag. 93-102. En: New Methods and Tools Supporting e¿Commerce II. Santander (ESPAÑA). Kronos S.A. 2003. ISBN 84-86273-81-1

Ruiz Cortés, Antonio, Durán Toro, Amador, Corchuelo Gil, Rafael, Benavides Cuevas, David Felipe:
Automatic Detection of Conflicts in Quality Requirements. Pag. 121-130. En: Applying Requirements Engineering. Salamanca, España. Catedral Publicaciones. 2003. ISBN 84-96086-06-2

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Durán Toro, Amador:
Seeking for Extra-Functional Variability. Pag. 1-6. En: Modelling Variability for Object-Oriented Product Lines.. Norderstedt, Alamania. Bookondemand Publ. Co. 2003. ISBN 3-8330-0779-6

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software. Pag. 97-105. En: Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de la Información. 2003. ISBN 84-9772-064-4

Benavides Cuevas, David Felipe, Durán Toro, Amador, Montes de Oca, Carlos, Serrano, Miguel Angle:
Quality of Service Variability in System Families Based on Web Services. Pag. 205-218. En: Simposio en Informática y Telecomunicación. Fundación Dintel. 2001

Publicaciones en Revistas
Cárdenas Cobo, J, Puris, a, Novoa Hernández, Pavel, Parra Jiménez, Agueda, Moreno León, José Ignacio, et. al.:
Using scratch to improve learning programming in college students: A positive experience from a non-weird country. En: Electronics. 2021. Vol. 10. Núm. 10. Pag. 1180-1180. 10.3390/electronics10101180

Ramos, Belén, Varela Vaca, Ángel Jesús, Galindo Duarte, José Ángel, Gómez López, Mª Teresa, David Benavides:
Discovering configuration workflows from existing logs using process mining. En: Empirical Software Engineering. 2021. http://dx.doi.org/10.1007/s10664-020-09911-x

Gutiérrez Fernández, Antonio Manuel, Galindo Duarte, José Ángel, David Benavides:
Empirical software product line engineering: A systematic literature review. En: Information and Software Technology. 2020. 10.1109/Tlt.2019.2901457

Borrego, Diana, Galindo Duarte, José Ángel, David Benavides:
Empirical evidence of the usage of programming languages in the educational process. En: IEEE Transactions on Education. 2020. Pag. 1-10. 10.1109/Te.2020.3030588

Novoa Hernández, Pavel, Galindo Duarte, José Ángel, David Benavides:
Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning. En: IEEE Transactions on Learning Technologies. 2020. Vol. 13. Núm. 2. Pag. 387-403. 10.1109/Tlt.2019.2901457

Rea Sanchez, Victor, David Benavides, Galindo Duarte, José Ángel, Neira Ayuso, Pablo:
Open Source Adoption Factors - A Systematic Literature Review. En: IEEE Access. 2020. Vol. 8. Pag. 94594-94609. 10.1109/Access.2019.2918469

Rodas Silva, Jorge, Galindo Duarte, José Ángel, García Gutiérrez, Jorge, David Benavides:
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress. En: IEEE Access. 2019. Vol. 7. Pag. 69226-69245. 10.1109/Access.2019.2918469

Lettner, Michael, Rodas, Jorge, Galindo Duarte, José Ángel, David Benavides:
Automated analysis of two-layered feature models with feature attributes. En: Journal of Computer Languages. 2019. Vol. 51. Pag. 154-172. 10.1016/j.cola.2019.01.005

Galindo Duarte, José Ángel, David Benavides, Trinidad Martín-Arroyo, Pablo, Gutiérrez Fernández, Antonio Manuel, Ruiz Cortés, Antonio:
Automated analysis of feature models: Quo vadis?. En: Computing: archives for scientific computing. 2019. Vol. 5. Núm. 101. Pag. 387-433. 10.1007/s00607-018-0646-1

Alferez, Mauricio, Acher, Mathieu, Galindo Duarte, José Ángel, Baudry, Benoit, David Benavides:
Modeling variability in the video domain: language and experiece report. En: Software Quality Journal. 2019. Vol. 27. Núm. 1. Pag. 307-347. 10.1007/s11219-017-9400-8

David Benavides:
Anytime Diagnosis for Reconfiguration. En: Journal of Intelligent Information Systems. 2018. Vol. 51. Núm. 1. Pag. 161-182. 10.1007/s10844-017-0492-1

Felferning, Alexander, Walter, Rouven, Galindo Duarte, José Ángel, David Benavides, Polat Erdeniz, Seda, et. al.:
Anytime Diagnosis for Reconfiguration. En: Journal of Intelligent Information Systems. 2018. Vol. 51. Núm. 1. Pag. 161-182. 10.1007/s10844-017-0492-1

Durán Toro, Amador, David Benavides, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. En: Software and Systems Modeling. 2017. Vol. 16. Núm. 4. Pag. 1049-1082. http://dx.doi.org/10.1007/s10270-015-0503-z

Vidal, Cristian, David Benavides, Leger, Paul, Galindo Duarte, José Ángel, Fukuda, Hiroaki:
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. 2016. Vol. 16. Núm. 10. eai.3-12-2015.2262534

Khandu Narwane, Ganesh, Galindo Duarte, José Ángel, Narayanan Krishna, Shankara, David Benavides, Millo , Jean Vivien, et. al.:
Traceability Analyses between Features and Assets in Software Product Lines. En: Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2016. Vol. 18. Núm. 8. 10.3390/e18080269

Galindo, José A., Turner, Hamilton, David Benavides, White, Jules:
Testing variability intensive systems using automated analysis. An application in Android. En: Software Quality Journal. 2016. Vol. 24. Núm. 2. Pag. 365-405. 10.1007/s11219-014-9258-y

Lopez Herrejon, Roberto E., Linsbauer, Lukas, Galindo Duarte, José Ángel, Parejo Maestre, José Antonio, David Benavides, et. al.:
An assessment of search-based techniques for reverse engineering feature models. En: The Journal of Systems and Software. 2015. Vol. 103. Núm. May 2015. Pag. 353-369. http://dx.doi.org/10.1016/j.jss.2014.10.037

Lopez Herrejon, Roberto e, Linsbauera, Lukas, Galindo, José a, David Benavides, Sergio Segura, et. al.:
An assessment of search-based techniques for reverse engineering feature models. J. En: The Journal of Systems and Software. 2015. Vol. 103. Núm. Mayo. Pag. 353-369. 10.1016/j.jss.2014.10.037

Galindo Duarte, José Ángel, Dhungana, Deepak, Rabiser, Rick, David Benavides, Botterweck, Goetz, et. al.:
Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches. En: Information and Software Technology. 2015. Vol. 62. Núm. Jun. Pag. 78-100. 10.1016/j.infsof.2015.02.002

Sergio Segura, Parejo Maestre, José Antonio, Hierons, Robert M, David Benavides, Ruiz Cortés, Antonio:
Automated Generation of Computationally Hard Feature Models using Evolutionary Algorithms. En: Expert Systems With Applications. 2014. Vol. 41. Núm. 8. Pag. 3975-3992. http://dx.doi.org/10.1016/j.eswa.2013.12.028

White, Jules, Galindo Duarte, José Ángel, Saxenaa, Tripti, Dougherty, Brian, Benavides Cuevas, David Felipe, et. al.:
Evolving feature model configurations in software product lines. En: The Journal of Systems and Software. 2014. Vol. 87. Núm. Enero. Pag. 119-136

Schaefer, Ina, Rabiser, Rick, Clarke, Dave, Bettini, Lorenzo, Benavides Cuevas, David Felipe, et. al.:
Software diversity: state of the art and perspectives. En: International Journal on Software Tools for Technology Transfer. 2012. Vol. 14. Núm. 5. Pag. 477-495. 10.1007/s10009-012-0253-y

Guo, Jianmei, Wang, Yinglin, Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe:
Consistency Maintenance for Evolving Feature Models. En: Expert Systems With Applications. 2012. Vol. 39. Núm. 5. Pag. 4987-4998. 10.1016/j.eswa.2011.10.014

Carneiro Roos, Fabricia, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Heuer, Andre, Lauenroth, Kim:
Quality-Aware Analysis in Product Line Engineering With the Orthogonal Variability Model. En: Software Quality Journal. 2012. Vol. 20. Núm. 3-4. Pag. 519-565. 10.1007/s11219-011-9156-5

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Functional Testing of Feature Model Analysis Tools: A Test Suite. En: IET Software. 2011. Vol. 5. Núm. 1. Pag. 70-82. 10.1049/iet-sen.2009.0096

Sergio Segura, Hierons, Robert M., Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Mutation Testing on an Object-Oriented Framework: an Experience Report. En: Information and Software Technology. 2011. Vol. 53. Núm. 10. Pag. 1124-1136. 10.1016/j.infsof.2011.03.006

Sergio Segura, Hierons, Robert M., Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Automated Metamorphic Testing on the Analyses of Feature Models. En: Information and Software Technology. 2011. Vol. 53. Núm. 3. Pag. 245-258. dx.doi.org/10.1016/j.infsof.2010.11.002

White, Jules, Benavides Cuevas, David Felipe, Schmidt, Douglas, Trinidad Martín-Arroyo, Pablo, Dougherty, Brian, et. al.:
Automated Diagnosis of Feature Model Configurations. En: The Journal of Systems and Software. 2010. Vol. 35. Núm. 6. Pag. 1094-1107. 10.1016/j.jss.2010.02.017

Benavides Cuevas, David Felipe, Sergio Segura, Ruiz Cortés, Antonio:
Automated Analysis of Feature Models 20 Years Later: a Literature Review. En: Information Systems. 2010. Vol. 35. Núm. 6. Pag. 615-636. 10.1016/j.is.2010.01.001

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Durán Toro, Amador, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automated Error Analysis for the Agilization of Feature Modeling. En: The Journal of Systems and Software. 2008. Vol. 81. Núm. 6. Pag. 883-896

Batory, Don, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Automated Analysis of Feature Models: Challenges Ahead. En: Communications of the ACM. 2006. Vol. 49. Núm. 12. Pag. 45-47

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Automated Reasoning on Feature Models. En: Lecture Notes in Computer Science. 2005. Vol. 3520. Pag. 491-503

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Montes de Oca, Carlos, Serrano, Miguel Angle:
A First Approach to Build Product Lines of Multi-Organizational Web Based Systems (MOWS). En: Lecture Notes in Computer Science. 2005. Vol. 3473. Pag. 91-98

Benavides Cuevas, David Felipe, Bermejo, J.:
Applying System Families Concepts to Requirements Engineering Process Definition. En: Lecture Notes in Computer Science. 2004. Vol. 3014. Pag. 140-151

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador, Benavides Cuevas, David Felipe, Toro Bonilla, Miguel:
Automating the Procurement of Web Services. En: Lecture Notes in Computer Science. 2003. Vol. 2910. Pag. 91-103

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Durán Toro, Amador, Toro Bonilla, Miguel:
A Quality-Aware Approach to Web Services Procurement. En: Lecture Notes in Computer Science. 2003. Vol. 2819. Pag. 42-53

Libros de Actas
Benavides Cuevas, David Felipe:
Fourth International Workshop on Variability Modelling of Software-Intensive Systems. 2010. 186. Icb-Research Report Universität Duisburg Essen. Essen, Alemania

Otra participación en Libros de Actas
Santana de Almeida, Eduardo (Editor/a), Schwanninger, Christa (Editor/a), Benavides Cuevas, David Felipe (Editor/a):
Proceedings of the 16th International Software Product Line Conference. 2012. ISBN 978-1-4503-1094-9. Salvador de Bahía, Brasil

Benavides Cuevas, David Felipe (Editor/a), Eisenecker, Ulrich (Editor/a):
Third International Workshop on Variability Modelling of Software-Intensive Systems. 2009. 180. Icb-Research Report Universität Duisburg Essen. Essen, Alemania

Aportaciones a Congresos
Muñoz Hermoso, Salvador, David Benavides, Domínguez Mayo, Francisco José:
SOA de doble capa para sistemas de gobernanza inteligente. Comunicación en Jornada. XVIII Jornadas de Ciencias e Ingeniería de Servicios. - Ciudad Real (España). 2023

Muñoz Hermoso, Salvador, David Benavides:
Un modelo de proceso para una toma de decisiones colectiva basada en el conocimiento. Comunicación en Jornada. Jornadas de Investigación Predoctoral en Ingeniería informática. Universidad de Cádiz. 2023

Sánchez Ruíz, José Manuel, Olivero, Miguel Ángel, Domínguez Mayo, Francisco José, Oriol, Xavier, David Benavides:
Benchmarking del rendimiento de proyectos software de código abierto mediante una herramienta colaborativa. Comunicación en Jornada. XXVII Jornadas de Ingeniería del Software y Bases de Datos. - Ciudad Real (España). 2023

Muñoz Hermoso, Salvador, David Benavides, Domínguez Mayo, Francisco José:
Modelo de arquitectura multinivel para sistemas de gobernanza inteligente. Comunicación en Jornada. XXVII Jornadas de Ingeniería del Software y Bases de Datos. - Ciudad Real (España). 2023

Muñoz Hermoso, Salvador, David Benavides, Domínguez Mayo, Francisco José:
Configurabilidad multinivel en sistemas de gobernanza inteligente. Comunicación en Jornada. XXVII Jornadas de Ingeniería del Software y Bases de Datos. - Ciudad Real (España). 2023

Muñoz Hermoso, Salvador, David Benavides, Domínguez Mayo, Francisco José:
Multi-level configuration in smart governance systems. Comunicación en congreso. 25th International Workshop on Configuration. Málaga. 2023

Chacón, Ana Eva, Gutiérrez Fernández, Antonio M., David Benavides, Fuentes Fernandez, Lidia:
Design for the analysis of variability management in the industry. Comunicación en congreso. 26TH ACM International Systems and Software Product Line Conference. Graz, Austria. 2022

Horcas Aguilera, José Miguel, Galindo Duarte, José Ángel, Pinto Alarcon, Monica, Fuentes Fernandez, Lidia, David Benavides:
FM fact label: a configurable and interactive visualization of feature model characterizations. Comunicación en congreso. 26TH ACM International Systems and Software Product Line Conference. Graz, Austria. 2022

Galindo Duarte, José Ángel, David Benavides:
A Python framework for the automated analysis of feature models: A first step to integrate community efforts. Comunicación en congreso. 24th ACM Conference on Systems and Software Product Line. Montreal, Canada. 2020

Galindo Duarte, José Ángel, David Benavides:
Uniform and scalable SAT-sampling for configurable systems. Comunicación en congreso. Software Product Lines Conference. - Montreal, Canadá. 2020

Galindo Duarte, José Ángel, David Benavides:
A Parallelized Variant of Junker's QuickXPlain Algorithm. Comunicación en congreso. International Symposium on Methodologies for Intelligent Systems. Austria. 2019

Varela Vaca, Ángel Jesús, Ramos, Belén, Galindo Duarte, José Ángel, Gómez López, Mª Teresa, David Benavides:
Process Mining to Unleash Variability Management:Discovering Configuration Workflows Using Logs. Sesión no plenaria en Congreso. 23rd International Systems and Software Product Line Conference. París, Franci. 2019

Galindo Duarte, José Ángel, Acher, Mathieu, Tirado, Juan Manuel, Vidal, Cristian, Baudry, Benoit, et. al.:
Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. Comunicación en congreso. International Systems and Software Product Line Conference. Beijiing, China. 2016

Vidal Silva, Cristian, Galindo Duarte, José Ángel, Villarroel , Rodolfo, David Benavides, Leger, Paul, et. al.:
JPI feature models - Exploring a JPI and FOP symbiosis for software modeling. Comunicación en congreso. International Conference of the Chilean Computer Science Society. Valparaiso, Chile. 2015

Vidal, Cristian, David Benavides, Leger, Paul, Galindo Duarte, José Ángel, Fukuda, Hiroaki:
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. Comunicación en congreso. International Conference on Bio-inspired Information and Communications Technologies. - New York - Estados Unidos. 2015

Galindo Duarte, José Ángel, Alférez, Mauricio, Acher, Mathieu, Baudry, Benoit, David Benavides:
A variability-based testing approach for synthesizing video sequences. Comunicación en congreso. International Symposium on Software Testing and Analysis. San José, California, EEUU. 2014

Felferning, Alexander, David Benavides, Galindo Duarte, José Ángel, Reinfrank, F:
Towards Anomaly Explanation in Feature Models. Comunicación en taller de trabajo. Configuration Workshop. Austria, Austria, Viena. 2013

Benavides Cuevas, David Felipe, Galindo Duarte, José Ángel:
Variability management in an unaware software product line company: an experience report. Comunicación en taller de trabajo. Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Niza - Francia. 2013

Benavides Cuevas, David Felipe, Felferning, Alexander, Galindo Duarte, José Ángel, Reinfrank , Florian:
Automated Analysis in Feature Modelling and Product Configuration. Comunicación en congreso. 13th International Conference on Software Reuse,. Pisa - Italia. 2013

Dhungana, Deepak, Seichter, Dominik, Botterweck, Goetz, Rabiser, Rick, Grünbacher, Paul, et. al.:
Integrating heterogeneous variability modeling approaches with invar. Comunicación en congreso. Seventh International Workshop on Variability Modelling of Software-intensive Systems. Pissa. 2013

Carneiro Roos, Fabricia, Galindo Duarte, José Ángel, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
FaMa-OVM: a tool for the automated analysis of OVMs. Demostración en Congreso. 16th International Software Product Line Conference. Salvador de Bahia, Bahia; Brasil. 2012

Lopez Herrejón, Roberto, Galindo Duarte, José Ángel, Benavides Cuevas, David Felipe, Sergio Segura, Egyed, Alexander:
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. Comunicación en congreso. 4th International Symposium on Search-Based Software Engineering. Trento, Italy. 2012

Sergio Segura, Galindo Duarte, José Ángel, Benavides Cuevas, David Felipe, Parejo Maestre, José Antonio:
BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características. Demostración en Congreso. XVII Jornadas de Ingeniería del Software y Bases de Datos. Almería. 2012

Sergio Segura, Hierons, Robert, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. Comunicación en congreso. XVII Jornadas de Ingeniería del Software y Bases de Datos. Almería. 2012

Sergio Segura, Galindo Duarte, José Ángel, Benavides Cuevas, David Felipe, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio:
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models. Comunicación en taller de trabajo. Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12). Leipzig, Germany. 2012

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Automated diagnosis of feature model configurations. Comunicación en Jornada. Jornadas de Ingeniería del Software y Bases de Datos. La Coruña, España. 2011

Dhungana, Deepak, Seichter, Dominik, Botterweck, Goetz, Rabiser, Rick, Grünbacher, Paul, et. al.:
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. Comunicación en congreso. 15th International Software Product Line Conference. Munich, Alemania. 2011. Splc 2011, Proceedings of the 15th International Software Product Line Conference. 120. 129

Sergio Segura, Hierons, Robert M., Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Automated Test Data Generation on the Analyses of Feature Models: a Metamorphic Testing Approach. Ponencia en Congreso. International Conference on Software Testing, Verification and Validation. Paris, France. 2010. Proceedings of the Third International Conference on Software Testing, Verification and Validation. 1. 10

Cruz Rojo, Concepcion, Rodriguez Cunill, Inmaculada, Benavides Cuevas, David Felipe, Neira Ayuso, Pablo, Castillo Segura, Jesus Manuel, et. al.:
Universidad Pública y Pensamiento Crítico: Análisis de Nuestra Sociedad desde un Enfoque Multidisciplinar,. Ponencia en Taller de trabajo. 7º Congreso Internacional de Educación Superior. la Universidad Por un Mundo Mejor. La Habana. Cuba. 2010. Actas del 7º Congreso Internacional de Educación Superior. la Universidad Por un Mundo Mejor. 652. 664

Carneiro Roos, Fabricia, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Automated Analysis of Orthogonal Variability Models Using Constraint Programming. Ponencia en Congreso. XV Jornadas de Ingeniería del Software y Bases de Datos. Valencia, España. 2010. Actas XV Jornadas de Ingeniería del Software y Bases de Datos. 269. 280

Cruz Rojo, Concepcion, Rincon Romero, Ana Maria, Benavides Cuevas, David Felipe, Neira Ayuso, Pablo, Castillo Segura, Jesus Manuel, et. al.:
Universidad Pública y Pensamiento Crítico: Análisis de Nuestra Sociedad desde un Enfoque Multidisciplinar. Comunicación en taller de trabajo. 7º Congreso Internacional de Educación Superior. la Universidad Por un Mundo Mejor. La Habana. Cuba. 2010. Actas del 7º Congreso Internacional de Educación Superior. la Universidad Por un Mundo Mejor. 0. 0

Galindo Duarte,José A., Benavides Cuevas, David Felipe, Sergio Segura:
Debian Packages Repositories As Software Product Line Models. Towards Automated Analysis. Comunicación en congreso. 1st International Workshop on Automated Configuration and Tailoring of Applications. Amberes, Bélgica. 2010. Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (Acota 2010). 29. 34

Carneiro Roos, Fabricia, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools. Ponencia en Congreso. Knowledge Industry Survival Strategy Initiative, Kiss Workshop @ Ase 2009. Auckland, New Zealand. 2009

Carneiro Roos, Fabricia, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Feature Model to Orthogonal Variability Model Transformations. a First Step. Ponencia en Congreso. Jornadas de Ingeniería del Software y Base de Datos, JISBD 2009 . San Sebastián, España. 2009. Actas del VI Taller Sobre Desarrollo de Software Dirigido Por Modelos, Jisbd09. 81. 90

Benavides Cuevas, David Felipe, White, Jules, Dougherty, Brian, Schmidt, Douglas:
Automated Reasoning for Multi-Step Feature Model Configuration Problems. Comunicación en congreso. 13th International Software Product Line Conference. San Francisco, California. 2009. Splc 2009 Proceedings of the 13th International Software Product Line Conference. 11. 20

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
Análisis en Líneas de Productos: Avances, Desafíos y Lecciones Aprendidas. Conferencia Congreso no publicada. XIV Jornadas de Ingeniería del Software y Bases de Datos. San Sebastián, España. 2009. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). 433. 433

Cetina Englada,Carlos, Trinidad Martín-Arroyo, Pablo, Pelechano Ferragud, Vicente, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe:
Moskitt Fm and Fama Fw: Taking Feature Models to the Next Level. Conferencia Congreso no publicada. XIV Jornadas de Ingeniería del Software y Bases de Datos. San Sebastián, España. 2009. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). 285. 288

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Sergio Segura, Jiménez Méndez, Alberto:
Fama Framework. Demostración en Congreso. 12th International Software Product Line Conference. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 359. 359

Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. Ponencia en Taller de trabajo. International Workshop on Visualisation in Software Product Line Engineering. Limerick, Irlanda. 2008. 2nd International Workshop on Visualisation in Software Product Line Engineering (Visple 2008). 295. 302

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Functional Testing of Feature Model Analysis Tools. a First Step. Ponencia en Taller de trabajo. 12th International Software Product Line Conference. Limerick (Irlanda). 2008. Proceedings of Split 2008 - Fifth International Workshop on Software Product Line Testing. 36. 39

White, Jules, Schmidt, Douglas, Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Automated Diagnosis of Product-Line Configuration Errors in Feature Models. Ponencia en Congreso. 12th International Software Product Line Conference. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 225. 234

Hubaux, Arnaud, Heymans, Patrick, Benavides Cuevas, David Felipe:
Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project . Ponencia en Congreso. 12th International Software Product Line Conference. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 55. 64

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Batory, Don, Heymans, Patrick:
First International Workshop on Analysis of Software Product Lines (Aspl'08). Comunicación en congreso. 12th International Software Product Line Conference. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 385. 385

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Fama: Tooling a Framework for the Automated Analysis of Feature Models. Ponencia en Taller de trabajo. First International Workshop on Variability Modelling of Software-Intensive Systems. Limerick (Irlanda). 2007. First International Workshop on Variability Modelling of Software-Intensive Systems. 129. 134

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
Towards Automated Refactoring of Feature Models Using Graph Transformations. Ponencia en Congreso. Jornadas Sobre Programación y Lenguajes. 2007. VII Jornadas Sobre Programación y Lenguajes. Prole 2007 Zaragoza, 12 al 14 de Septiembre de 2007. 275. 284

Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, Peña Siles, Joaquín, Benavides Cuevas, David Felipe:
Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines. Comunicación en congreso. Dynamic Software Product Lines 2007. Kyoto, Japón. 2007. 11th International Software Product Line Conference Proceedings. 51. 56

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
From Requirements to Web System Design. an Automated Approach Using Graph Transformations. Ponencia en Taller de trabajo. Jornadas de Paralelismo. II Congreso Español de Informática. Zaragoza, España. 2007. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). 61. 69

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
Open Source Tools for Software Product Line Development. Ponencia en Taller de trabajo. International Workshop on Open Source Software and Product Lines. Kyoto, Japan. 2007. Proceedings on the Third International Workshop on Open Source Software and Product Lines. 1. 5

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
A Taxonomy of Variability in Web Service Flows. Ponencia en Taller de trabajo. First International Workshop on Service-Oriented Architectures and Software Product Lines. Kyoto, Japan. 2007. Proceedings of the First Workshop on Service-Oriented Architectures and Software Product Lines. B-1. B-7

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
A First Step Towards a Framework for the Automated Analysis of Feature Models. Ponencia en Taller de trabajo. Managing Variability for Software Product Lines: Working With Variability Mechanisms. Baltimore, Maryland, USA. 2006. Fraunhofer Institut Experimentelles Software Engineering (Iese) Report Nº 152.06/e. 39. 47

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Isolated Features Detection in Feature Models. Poster en Congreso. International Conference on Advanced Information Systems Engineering. Luxemburgo. 2006. Proceedings of the Caise'06 Forum. 80. 83

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Sergio Segura, Toro Bonilla, Miguel:
Explanations for Agile Feature Models. Ponencia en Taller de trabajo. International Workshop on Agile Product Line Engineering. Baltimore, Maryland, EEUU. 2006. Workshop Proceedings. 1. 7

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo, Sergio Segura:
A Survey on the Automated Analyses of Feture Models. Ponencia en Congreso. Ingeniería del Software y Bases de Datos. Sitges, Barcelona, España. 2006

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Automated Reasoning on Feature Models. Comunicación en congreso. Conference on Advanced Information Systems Engineering. 2005. Advanced Information Systems Engineering. 491. 503

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Müller Cejás, Carlos, Trinidad Martín-Arroyo, Pablo:
The Triple Schizophrenia of the Software Engineering Researcher. Ponencia en Taller de trabajo. Conference of Advanced Information Systems Engineering. Feup, Porto, Portugal. 2005. Proceedings of the Caise'05 Workshops. 529. 534

Benavides Cuevas, David Felipe:
Automated Feature Models Management Using Constraint Programming. Comunicación en congreso. Summer School on Generative and Transformational Techniques in Software Engineering. Braga, Portugal. 2005. Generative and Transformational Techniques in Software Engineering. 150. 151

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Using Constraint Programming to Reason on Feature Models. Comunicación en congreso. International Conference on Software Engineering and Knowledge Engineering. Taipei. 2005. Seke 2005. Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering. 677. 682

Benavides Cuevas, David Felipe, Trujillo, Salvador, Trinidad Martín-Arroyo, Pablo:
On the Modularization of Feature Models. Ponencia en Taller de trabajo. Europeean Workshop on Model Transformation . Rennes, Francia. 2005. European Workshop on Model Transformation. 10. 15

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Using JAVA CSP Solvers in the Automated Analyses of Feature Models. Comunicación en congreso. Summer School on Generative and Transformational Techniques in Software Engineering. Braga, Portugal. 2005. Generative and Transformational Techniques in Software Engineering. 00. 00

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Coping With Automatic Reasoning on Software Product Lines. Ponencia en Congreso. Groningen Workshop on Software Variability Management. Groningen (Holanda). 2004. Software Product Families and Populations. 1. 14

Benavides Cuevas, David Felipe, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Putting the Basis for Automatic Reasoning on Software Product Lines. Ponencia en Congreso. Zoco. Malaga. 2004. Zoco: Desarrollo y Mantenimiento Ágil de Aplicaciones Basadas en Servicios Web. 33. 46

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Aplicación de Modelos de Características a la Gestión de Planes de Producción. Ponencia en Congreso. Zoco. Malaga. 2004. Zoco: Desarrollo y Mantenimiento Ágil de Aplicaciones Basadas en Servicios Web. 27. 32

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Improving Decision Making in Software Product Lines Product Plan Management. Ponencia en Congreso. Adis. Malaga. 2004. Decision Support in Software Engineering. 1. 8

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Spl Needs an Automatic Holistic Model for Software Reasoning With Feature Models. Ponencia en Taller de trabajo. International Workshop on Requirements Reuse in System Family Engineering. 2004. International Qorkshop on Requirements Reuse in System Family Engineering. 27. 32

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Durán Toro, Amador:
Seeking for Extra-Functional Variability. Ponencia en Taller de trabajo. European Conference on Object-Oriented Programming: Workshop on Modeling Variability for Object-Oriented Product Lines. Technische Universität Darmstadt, Alemania. 2003. Proceedings of the Workshop Modeling Variability for Object-Oriented Product Lines. 25. 29

Martín Díaz, Octavio, Benavides Cuevas, David Felipe, Peña Siles, Joaquín, Toro Bonilla, Miguel:
Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Martín Díaz, Octavio, Bermejo, J., Corchuelo Gil, Rafael:
A First Approach to Build Product Lines of MOWS. Comunicación en congreso. Zoco. San Lorenzo del Escorial, España. 2002. Actas de las II Jornadas Zoco. 73. 78

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software. Comunicación en congreso. Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. El Escorial, España. 2002. Actas del Primer Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. 97. 105

Otras Publicaciones
Sergio Segura, Parejo Maestre, José Antonio, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Otras Publicaciones. 2010. Inglés. Departamento de Lenguajes y Sistemas Informáticos, Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla

Benavides Cuevas, David Felipe, Cascado Caballero, Daniel:
Consumidores Personalizados. Otras Publicaciones

Patentes:


Galindo Duarte, José Ángel, David Benavides:
TESALIA: TESting vAriAbiLity Intensive Systems. Otra modalidad de propiedad intelectual. Solicitud: 2017-04-18

Ruiz Cortés, Antonio, Sergio Segura, Galindo Duarte, José Ángel, Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe:
[software] Betty Framework. Otra modalidad de propiedad industrial. Solicitud: 2011-01-24

Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo:
[software] Splreasoner. Otra modalidad de propiedad industrial. Solicitud: 2007-12-21

Tesis dirigidas y co-dirigidas:


(Doctorando no grabado)
On the Selection and Analysis of Software Product Line Implementation Components Using Intelligent Techniques. Tesis Doctoral. 2019

(Doctorando no grabado)
Evolution, test et configuration des systèmes à forte variabilité. Tesis Doctoral. 2015

Galindo Duarte, José Ángel:
Evolution, testing and configuration of intensive variability systems. Tesis Doctoral. 2015

Carneiro Roos, Fabricia:
Automated Analysis of Software Product Lines with Orthogonal Variability Models: Extending the Fama Ecosystem. Tesis Doctoral. 2012

Sergio Segura:
Functional and Performance Testing of Feature Model Analysis Tools. Extending the FAMA Ecosystem. Tesis Doctoral. 2011

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla