DAVID FELIPE BENAVIDES CUEVAS

Categoría
Catedrático de Universidad

Contacto

Teléfono
Correo electrónico
Área
Lenguajes y Sistema Informáticos

Docencia

Investigación

Grupo de investigación

INGENIERÍA DEL SOFTWARE APLICADA (ISA)

Proyectos y contratos de investigación

DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB (TIC2003-02737-C02-01 - Investigador/a)
FÁBRICAS DE SOFTWARE PARA SISTEMAS CON ARQUITECTURA ORIENTADA A SERVICIOS WEB (TIN2006-00472 - Investigador/a)
ELEPES (LPS): LÍNEAS DE PRODUCTO SOFTWARE (TIN 2006-27690-E - Investigador/a)
METODOS DE INVESTIGACION Y FUNDAMENTOS FILOSOFICOS EN INGENIERIA DEL SOFTWARE Y SISTEMAS DE INFORMACION (TIC2002-12378-E - Investigador/a)
COLABORACIÓN CON EL CONSTRAIN COMPUTATION CENTRE DE CORK (IRLANDA). COLABORACIÓN CON LA NASA GODDARD SPACE FLIGHT CENTER (USA). ELABORACIÓN DE PROPU (OTRI/05-PC01 - Investigador/a)
ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS (P07-TIC-02533 - Investigador/a)
AYUDAS A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-205 (2007/TI-205 - Investigador/a)
PROMOCIÓN Y SEGUIMIENTO DE SOFTWARE REGISTRADO (OTRI/08-PC22 - Investigador/a)
AYUDA DE EXTENSIÓN UNIVERSITARIA PARA LA REALIZACIÓN DE VAMOS 2009 (A.E.2/08 - Responsable)
S-CUBE: SOFTWARE SERVICES AND SYSTEMS NETWORK (215483 - Investigador/a)
THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE (TIC-5906 - Investigador/a)
NUEVA GENERACIÓN DE SERVICIOS WEB (FIT-150100-2001-78 - Investigador/a)
FAMILIES (FIT-070000-2003-289 - Responsable)
FRADA (FIT-070000-2003-401 - Investigador/a)
Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios (RTI2018-101204-B-C22 - Investigador Principal Consolidado)
SYSTEMS AND SOFTWARE PRODUCT LINE (2017/00000840 - Coordinador)
Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Investigador/a)
Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador/a)
Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por ANS (TIN2015-70560-R - Investigador/a)
COPAS: eCosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
COPAS: eCosystems for Optimized Process As a Service. (P12-TIC-1867 - Investigador/a)

Capítulos en Libros

Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;David Benavides:
Automated Analysis of Stateful Feature Models. Pág. 375-380. Springer. Springer. 2013.
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;Sergio Segura:
FaMa. Pág. 163-171. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
Automated Reasoning on Feature Models. Pág. 361-373. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
IMPROVING DECISION MAKING IN SOFTWARE PRODUCT LINES PRODUCT PLAN MANAGEMENT. Pág. 88-97. ICFAI UNIVERSITY PRESS. ICFAI UNIVERSITY PRESS. 2008.
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
AUTOMATED MERGING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Pág. 489-505. En: 5235. SPRINGER VERLAG. 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. Pág. 265-274. SPRINGER-VERLAG. SPRINGER-VERLAG. 2007.
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. Pág. 399-408. En: 4143. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. 2006.
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. Pág. 47-56. En: 8. 2005.
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. Pág. 97-105. 2003.
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Martín-Díaz, Octavio;Bermejo-,J.:
A FIRST APPROACH TO BUILD PRODUCT-LINES OF MOWS. Pág. 61-66. KRONOS S.A.. KRONOS S.A.. 2003.
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. Pág. 93-102. KRONOS S.A.. KRONOS S.A.. 2003.
Ruiz-Cortés, Antonio;Durán-Toro, Amador;Corchuelo-Gil, Rafael;Benavides-Cuevas, David Felipe:
AUTOMATIC DETECTION OF CONFLICTS IN QUALITY REQUIREMENTS. Pág. 121-130. CATEDRAL PUBLICACIONES. CATEDRAL PUBLICACIONES. 2003.
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Durán-Toro, Amador:
SEEKING FOR EXTRA-FUNCTIONAL VARIABILITY. Pág. 1-6. BOOKONDEMAND PUBL. CO.. BOOKONDEMAND PUBL. CO.. 2003.
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. Pág. 205-218. FUNDACIÓN DINTEL. FUNDACIÓN DINTEL. 2001.

Asistencia a congresos

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
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 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
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;David Benavides:
A Parallelized Variant of Junker's QuickXPlain Algorithm. Comunicación en congreso. International Symposium on Methodologies for Intelligent Systems. Austria. 2019
Galindo-Duarte, José Ángel;Acher, Mathieu ;Tirado, Juan Manuel ;Vidal, Cristian ;Baudry, Benoit ;David Benavides:
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, 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
Vidal Silva, Cristian;Galindo-Duarte, José Ángel;Villarroel , Rodolfo;David Benavides;Leger, Paul;Valenzuela, Sebastian:
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
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
Dhungana, Deepak;Seichter, Dominik;Botterweck, Goetz;Rabiser, Rick;Grünbacher, Paul;Benavides-Cuevas, David Felipe;Galindo-Duarte, José Ángel:
Integrating heterogeneous variability modeling approaches with invar. Comunicación en congreso. Seventh International Workshop on Variability Modelling of Software-intensive Systems . PISSA. 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
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:
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
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
Dhungana-,Deepak;Seichter-,Dominik;Botterweck-,Goetz;Rabiser-,Rick;Grünbacher-, Paul;Benavides-Cuevas, David Felipe;Galindo-Duarte,Jose A:
CONFIGURATION OF MULTI PRODUCT LINES BY BRIDGING HETEROGENEOUS VARIABILITY MODELING APPROACHES. Comunicación en congreso. 15TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2011) (15) (15.2011.MUNICH, ALEMANIA). MUNICH, ALEMANIA. 2011
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
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 (ACOTA 2010) (1) (1.2010.AMBERES, BÉLGICA). AMBERES, BÉLGICA. 2010
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 (3) (3.2010.PARIS, FRANCE). PARIS, FRANCE. 2010
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 (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
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 (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
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 (1) (1.2009.AUCKLAND, NEW ZEALAND). AUCKLAND, NEW ZEALAND. 2009
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 (13) (13.2009.SAN FRANCISCO, CALIFORNIA). SAN FRANCISCO, CALIFORNIA. 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 () (.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
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 (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
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 (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
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 (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
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 (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
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 (1) (1.2007.KYOTO, JAPÓN). KYOTO, JAPÓN. 2007
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 (PROLE'07) (7) (7.2007.ZARAGOZA). . 2007
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 (11) (11.2006.SITGES). SITGES, BARCELONA, ESPAÑA. 2006
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 () (.2006.LUXEMBURGO). LUXEMBURGO. 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 (CAISE'05) (17) (17.2005.OPORTO, PORTUGAL). . 2005
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 (GTTSE) (1) (1.2005.BRAGA, PORTUGAL). BRAGA, PORTUGAL. 2005
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 (GTTSE) (1) (1.2005.BRAGA, PORTUGAL). BRAGA, PORTUGAL. 2005
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 (17) (17.2005.TAIPEI). TAIPEI. 2005
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 (4) (4.2004.MALAGA). MALAGA. 2004
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 (2) (2.2004.GRONINGEN (HOLANDA)). GRONINGEN (HOLANDA). 2004
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 (4) (4.2004.MALAGA). MALAGA. 2004
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 (4) (4.2004.MALAGA). MALAGA. 2004
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 (8.2003.ALICANTE). 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 (.2002.SAN LORENZO DEL ESCORIAL, ESPAÑA). SAN LORENZO DEL ESCORIAL, ESPAÑA. 2002
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 (.2002.EL ESCORIAL, ESPAÑA). EL ESCORIAL, ESPAÑA. 2002

Artículos publicados

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. Empirical Software Engineering. 2021. http://dx.doi.org/10.1007/s10664-020-09911-x.
Cárdenas-cobo, J;Puris, A;Novoa-Hernández, Pavel;PARRA JIMÉNEZ, AGUEDA;Moreno-León, José Ignacio;David Benavides:
Using scratch to improve learning programming in college students: A positive experience from a non-weird country. Electronics. 2021. Vol: 10. Núm: 10. Pág. 1180-1180. 10.3390/electronics10101180.
Rea-sanchez, Victor;David Benavides;Galindo-Duarte, José Ángel;Neira-Ayuso, Pablo:
Open Source Adoption Factors - A Systematic Literature Review. IEEE Access. 2020. Vol: 8. Pág. 94594-94609. 10.1109/ACCESS.2019.2918469.
Gutiérrez-Fernández, Antonio Manuel;Galindo-Duarte, José Ángel;David Benavides:
Empirical software product line engineering: A systematic literature review. 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. IEEE Transactions on Education. 2020. Pág. 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. IEEE Transactions on Learning Technologies. 2020. Vol: 13. Núm: 2. Pág. 387-403. 10.1109/TLT.2019.2901457.
Alferez, Mauricio;Acher, Mathieu;Galindo-Duarte, José Ángel;Baudry, Benoit;David Benavides:
Modeling variability in the video domain: language and experiece report. Software Quality Journal. 2019. Vol: 27. Núm: 1. Pág. 307-347. 10.1007/s11219-017-9400-8.
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?. Computing: archives for scientific computing. 2019. Vol: 5. Núm: 101. Pág. 387-433. 10.1007/s00607-018-0646-1.
Lettner, Michael;Rodas, Jorge;Galindo-Duarte, José Ángel;David Benavides:
Automated analysis of two-layered feature models with feature attributes. . Journal of Computer Languages. 2019. Vol: 51. Pág. 154-172. 10.1016/j.cola.2019.01.005.
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. IEEE Access. 2019. Vol: 7. Pág. 69226-69245. 10.1109/ACCESS.2019.2918469.
David Benavides:
Anytime Diagnosis for Reconfiguration. Journal of Intelligent Information Systems. 2018. Vol: 51. Núm: 1. Pág. 161-182. 10.1007/s10844-017-0492-1.
Felferning, Alexander;Walter, Rouven;Galindo-Duarte, José Ángel;David Benavides;Polat Erdeniz, Seda;Atas, Müslüm;Reiterer, Stefan:
Anytime Diagnosis for Reconfiguration. Journal of Intelligent Information Systems. 2018. Vol: 51. Núm: 1. Pág. 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. Software and Systems Modeling. 2017. Vol: 16. Núm: 4. Pág. 1049-1082. http://dx.doi.org/10.1007/s10270-015-0503-z.
Khandu Narwane, Ganesh ;Galindo-Duarte, José Ángel; Narayanan Krishna, Shankara;David Benavides;Millo , Jean-vivien ;Ramesh , S. :
Traceability Analyses between Features and Assets in Software Product Lines. 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. Software Quality Journal. 2016. Vol: 24. Núm: 2. Pág. 365-405. 10.1007/s11219-014-9258-y.
Galindo-Duarte, José Ángel;Dhungana, Deepak;Rabiser, Rick ;David Benavides;Botterweck, Goetz;Grünbacher, Paul:
Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches. Information and Software Technology. 2015. Vol: 62. Núm: Jun. Pág. 78-100. 10.1016/j.infsof.2015.02.002.
Lopez-herrejon, Roberto E;Linsbauera, Lukas;Galindo, José A;David Benavides;Sergio Segura;Egyed, Alexander:
An assessment of search-based techniques for reverse engineering feature models. J. The Journal of Systems and Software. 2015. Vol: 103. Núm: Mayo. Pág. 353-369. 10.1016/j.jss.2014.10.037.
Lopez-herrejon, Roberto E. ;Linsbauer, Lukas ;Galindo-Duarte, José Ángel;Parejo-Maestre, José Antonio;David Benavides;Sergio Segura;Egyed, Alexander :
An assessment of search-based techniques for reverse engineering feature models. The Journal of Systems and Software. 2015. Vol: 103. Núm: May 2015. Pág. 353-369. http://dx.doi.org/10.1016/j.jss.2014.10.037.
White, Jules;Galindo-Duarte, José Ángel;Saxenaa, Tripti;Dougherty, Brian;Benavides-Cuevas, David Felipe;Schmidt, Douglas:
Evolving feature model configurations in software product lines. The Journal of Systems and Software. 2014. Vol: 87. Núm: Enero. Pág. 119-136.
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. Expert Systems With Applications. 2014. Vol: 41. Núm: 8. Pág. 3975-3992. http://dx.doi.org/10.1016/j.eswa.2013.12.028.
Guo, Jianmei;Wang, Yinglin;Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe:
Consistency Maintenance for Evolving Feature Models. Expert Systems With Applications. 2012. Vol: 39. Núm: 5. Pág. 4987-4998. 10.1016/j.eswa.2011.10.014.
Schaefer, Ina;Rabiser, Rick;Clarke, Dave;Bettini, Lorenzo;Benavides-Cuevas, David Felipe;Botterweck, Goetz;Pathak, Animesh;Trujillo, Salvador;Villela, Karina:
Software diversity: state of the art and perspectives. International Journal on Software Tools for Technology Transfer. 2012. Vol: 14. Núm: 5. Pág. 477-495. 10.1007/s10009-012-0253-y.
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. Software Quality Journal. 2012. Vol: 20. Núm: 3-4. Pág. 519-565. 10.1007/s11219-011-9156-5.
Sergio Segura;Hierons, Robert M.;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
MUTATION TESTING ON AN OBJECT-ORIENTED FRAMEWORK: AN EXPERIENCE REPORT. Information and Software Technology. 2011. Vol: 53. Núm: 10. Pág. 1124-1136. 10.1016/j.infsof.2011.03.006.
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
Functional Testing of Feature Model Analysis Tools: A Test Suite. IET Software. 2011. Vol: 5. Núm: 1. Pág. 70-82. 10.1049/iet-sen.2009.0096.
Sergio Segura;Hierons-,Robert M.;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
AUTOMATED METAMORPHIC TESTING ON THE ANALYSES OF FEATURE MODELS. Information and Software Technology. 2011. Vol: 53. Núm: 3. Pág. 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;Ruiz-Cortés, Antonio:
AUTOMATED DIAGNOSIS OF FEATURE MODEL CONFIGURATIONS. The Journal of Systems and Software. 2010. Vol: 35. Núm: 6. Pág. 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. Information Systems. 2010. Vol: 35. Núm: 6. Pág. 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. The Journal of Systems and Software. 2008. Vol: 81. Núm: 6. Pág. 883-896.
Batory-,Don;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
AUTOMATED ANALYSIS OF FEATURE MODELS: CHALLENGES AHEAD. Communications of the ACM. 2006. Vol: 49. Núm: 12. Pág. 45-47.
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
AUTOMATED REASONING ON FEATURE MODELS. Lecture Notes in Computer Science. 2005. Vol: 3520. Pág. 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). Lecture Notes in Computer Science. 2005. Vol: 3473. Pág. 91-98.
Benavides-Cuevas, David Felipe;Bermejo-,J.:
APPLYING SYSTEM FAMILIES CONCEPTS TO REQUIREMENTS ENGINEERING PROCESS DEFINITION. Lecture Notes in Computer Science. 2004. Vol: 3014. Pág. 140-151.
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. Lecture Notes in Computer Science. 2003. Vol: 2819. Pág. 42-53.
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. Lecture Notes in Computer Science. 2003. Vol: 2910. Pág. 91-103.

Patentes

Galindo-Duarte, José Ángel;David Benavides: TESALIA: TESting vAriAbiLity Intensive Systems. Número de patente: SE-339-17
Ruiz-Cortés, Antonio;Sergio Segura;Galindo-Duarte, José Ángel;Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe: [SOFTWARE] BETTY FRAMEWORK. Número de patente:
Ruiz-Cortés, Antonio;Benavides-Cuevas, David Felipe;Sergio Segura;Trinidad-Martín-Arroyo, Pablo: [SOFTWARE] SPLREASONER. Número de patente:

Tesis dirigidas o codirigidas

(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