Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

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 ResearcherID: K-2791-2014

Grupo de Investigación: Ingeniería del Software Aplicada
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Plan Propio:
    • Third International Workshop on Variability Modelling of Software-Intensive Systems (Vamos 09) (PP2009-01-038)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • 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)

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

  • Ayudas:
    • 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
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, 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, Segura Rueda, Sergio:
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, 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

Segura Rueda, Sergio, 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, Segura Rueda, Sergio, 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, 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, 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, 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
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. 2016. Vol. 18. Núm. 5. 1099-4300/18/8/269

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

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

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

Lopez Herrejon, Roberto e, Linsbauera, Lukas, Galindo, José a, Parejo Maestre, José Antonio, David Benavides, 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

Durán Toro, Amador, David Benavides, Segura Rueda, Sergio, 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. 2015. Vol. In press. http://dx.doi.org/10.1007/s10270-015-0503-z

Segura Rueda, Sergio, 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

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

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

Segura Rueda, Sergio, 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

Segura Rueda, Sergio, 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

Segura Rueda, Sergio, 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, Segura Rueda, Sergio, 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, 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

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

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
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

Segura Rueda, Sergio, 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

Segura Rueda, Sergio, 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, Segura Rueda, Sergio, 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

Segura Rueda, Sergio, 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

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

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

Segura Rueda, Sergio, 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

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

Galindo Duarte,José A., Benavides Cuevas, David Felipe, Segura Rueda, Sergio:
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

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

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

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

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

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

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

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

Segura Rueda, Sergio, 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

Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Segura Rueda, Sergio:
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

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

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

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Segura Rueda, Sergio, 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

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

Segura Rueda, Sergio, 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

Segura Rueda, Sergio, 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

Segura Rueda, Sergio, 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

Benavides Cuevas, David Felipe, Segura Rueda, Sergio, 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

Segura Rueda, Sergio, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Escalona Cuaresma, María José:
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

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

Benavides Cuevas, David Felipe, Segura Rueda, Sergio, 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, Segura Rueda, Sergio, 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, Segura Rueda, Sergio:
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, 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, 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:
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, 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, 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, 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, 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, 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, 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

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

Otras Publicaciones
Segura Rueda, Sergio, 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:


Ruiz Cortés, Antonio, Segura Rueda, Sergio, 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, Segura Rueda, Sergio, Trinidad Martín-Arroyo, Pablo:
[software] Splreasoner. Otra modalidad de propiedad industrial. Solicitud: 2007-12-21

Tesis dirigidas y co-dirigidas:


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

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

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

Segura Rueda, Sergio:
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