|
|
Benavides Cuevas, DavidPerfil en ORCID: 0000-0002-8449-3273 Perfil en ResearcherID: K-2791-2014 Perfil en Scopus: 22333640600\ Perfil en Dialnet: 2550510 Grupos de Investigación - Data-centric Computing Research Hub
Responsable de los siguientes proyectos/ayudas en la USContratos: - FAMILIES ( FIT-070000-2003-289 ).
Ayudas: - AYUDA DE EXTENSIÓN UNIVERSITARIA PARA LA REALIZACIÓN DE VAMOS 2009 ( A.E.2/08 ).
Participa los siguientes proyectos/ayudas en la USProyectos: - Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios ( RTI2018-101204-B-C22 - Investigador Principal Consolidado).
- 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).
- 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).
- THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE ( TIC-5906 - Investigador/a).
- Tecnologías Avanzadas para Procesos como Servicios ( TIN2012-32273 - Investigador/a).
- ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS ( P07-TIC-02533 - Investigador/a).
- S-CUBE: SOFTWARE SERVICES AND SYSTEMS NETWORK ( 215483 - 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).
- DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB ( TIC2003-02737-C02-01 - Investigador/a).
Contratos: - FRADA ( FIT-070000-2003-401 - Investigador/a ).
- NUEVA GENERACIÓN DE SERVICIOS WEB ( FIT-150100-2001-78 - Investigador/a ).
Ayudas: - SYSTEMS AND SOFTWARE PRODUCT LINE ( 2017/00000840 - Coordinador ).
- 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 ).
PublicacionesCapítulo de Libros: - 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 - 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:
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. 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. Pag. 489 - 505. En: GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING. SPRINGER VERLAG. 2008. ISBN - 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. 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. Pag. 399 - 408. En: GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING. 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. 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. 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. CATEDRAL PUBLICACIONES. 2003. ISBN 84-96086-06-2 - 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 - 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. KRONOS S.A.. 2003. ISBN 84-86273-81-1 - 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.. BOOKONDEMAND PUBL. CO.. 2003. ISBN 3-8330-0779-6 - 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. ISBN
Publicaciones en Revistas: - 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. Vol. . Núm. . Pag. - 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. En: Electronics. 2021. Vol. 10. Núm. 10. Pag. 1180-1180 10.3390/electronics10101180 - 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. Vol. . Núm. . Pag. - 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. Vol. . Núm. . 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. Núm. . Pag. 94594-94609 10.1109/ACCESS.2019.2918469 - 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 - 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 - 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. Núm. . Pag. 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. En: IEEE Access. 2019. Vol. 7. Núm. . Pag. 69226-69245 10.1109/ACCESS.2019.2918469 - 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, Atas, Müslüm, Reiterer, Stefan:
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 - 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. En: Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2016. Vol. 18. Núm. 8. Pag. 269- 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, Linsbauera, Lukas, Galindo, José A, David Benavides, Sergio Segura, Egyed, Alexander:
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 - 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. 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 - 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. 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, Schmidt, Douglas:
Evolving feature model configurations in software product lines. En: The Journal of Systems and Software. 2014. Vol. 87. Núm. Enero. Pag. 119-136 - 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 - 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. En: International Journal on Software Tools for Technology Transfer. 2012. Vol. 14. Núm. 5. Pag. 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. 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:
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 - 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 - 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. 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. Núm. . 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. Núm. . 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. Núm. . Pag. 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. En: Lecture Notes in Computer Science. 2003. Vol. 2819. Núm. . Pag. 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. En: Lecture Notes in Computer Science. 2003. Vol. 2910. Núm. . Pag. 91-103
Otra participación en Libros de Actas: - Santana-de Almeida, Eduardo, Schwanninger, Christa, Benavides-Cuevas, David Felipe:
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:
FOURTH INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS. 2010. ISBN . ICB-RESEARCH REPORT UNIVERSITÄT DUISBURG ESSEN ESSEN, ALEMANIA - Benavides-Cuevas, David Felipe, EISENECKER-,ULRICH, METZGER-,AND:
THIRD INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS. 2009. ISBN . ICB-RESEARCH REPORT UNIVERSITÄT DUISBURG ESSEN ESSEN, ALEMANIA
Aportaciones 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:
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 - 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 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 - 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 - 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, 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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:
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:
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, 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:
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:
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 - 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 - 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 - 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 - 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, 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 - 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
Patentes: - 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: 24/01/2011 - Ruiz-Cortés, Antonio, Benavides-Cuevas, David Felipe, Sergio Segura, Trinidad-Martín-Arroyo, Pablo:
[SOFTWARE] SPLREASONER. Otra modalidad de propiedad industrial. Solicitud: 21/12/2007
Tesis dirigidas y co-dirigidas: - :
ON THE SELECTION AND ANALYSIS OF SOFTWARE PRODUCT LINE IMPLEMENTATION COMPONENTS USING INTELLIGENT TECHNIQUES. Tesis Doctoral. 2019 - :
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
|