David Benavides Cuevas

Profesor Titular de Universidad
benavides@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: Data-centric Computing Research Hub (TIC-258)
Instituto de Inv.: I3US
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Ponencia2021 A first prototype of a new repository for feature model exchange and knowledge sharing ACM International Conference Proceeding Series
Ponencia2021 Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance Studies in Computational Intelligence
Artículo2021 DIRECTDEBUG: A software package for the automated testing and debugging of feature models Software Impacts
Ponencia2021 DIRECTDEBUG: automated testing and debugging of feature models 2021 IEEE/ACM 43rd International Conference on Software Engineering: new ideas and emerging results (ICSE-NIER)
Artículo2021 Discovering configuration workflows from existing logs using process mining EMPIRICAL SOFTWARE ENGINEERING
Ponencia2021 Monte carlo simulations for variability analyses in highly configurable systems CEUR Workshop Proceedings
Ponencia2021 Monte Carlo tree search for feature model analyses: a general framework for decision-making ACM International Conference Proceeding Series
Capítulo2021 Product optimization in stepwise design Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday
Artículo2021 Using scratch to improve learning programming in college students: a positive experience from a non-weird country ELECTRONICS
Ponencia2020 A parallelized variant of Junker’s QuickXPlain algorithm Lecture Notes in Computer Science
Ponencia2020 A Python framework for the automated analysis of feature models: a first step to integrate community efforts ACM International Conference Proceeding Series
Artículo2020 Empirical evidence of the usage of programming languages in the educational process IEEE TRANSACTIONS ON EDUCATION
Artículo2020 Empirical software product line engineering: A systematic literature review INFORMATION AND SOFTWARE TECHNOLOGY
Revisión2020 Open Source Adoption Factors-A Systematic Literature Review IEEE ACCESS
Artículo2020 Recommender systems and scratch: an integrated approach for enhancing computer programming learning IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES
Ponencia2020 Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020) ACM International Conference Proceeding Series
Ponencia2020 Uniform and scalable SAT-sampling for configurable systems ACM International Conference Proceeding Series
Ponencia2019 A general approach to Software Product Line testing Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Ponencia2019 Accessibility variability model: The UTPL MOOC case study SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Ponencia2019 Automated analysis of feature models: Qo vadis? SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Automated analysis of feature models: Quo vadis? Computing: archives for scientific computing
Artículo2019 Automated analysis of two-layered feature models with feature attributes Journal of Computer Languages
Ponencia2019 First international workshop on languages for modelling variability (MODEVAR 2019) SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Modeling variability in the video domain: language and experience report SOFTWARE QUALITY JOURNAL
Ponencia2019 Process mining to unleash variability management: Discovering configuration workflows using logs SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Ponencia2019 RESDEC: Online management tool for implementation components selection in software product lines using recommender systems SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress IEEE ACCESS
Ponencia2019 Towards a new repository for feature model exchange SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Ponencia2019 Variabilidad en visualización de datos: Retos y posibilidades Problema abierto - Investigación en curso Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Ponencia2019 Variability management in a software product line unaware company: Towards a real evaluation SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Variability Modelling and Analysis During 30 Years Lecture Notes in Computer Science
Artículo2018 Anytime diagnosis for reconfiguration JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
Ponencia2018 Automated analysis of feature models. Current state and practices ACM International Conference Proceeding Series
Ponencia2018 MOTIV: Selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
Ponencia2018 Recommending Exercises in Scratch: An Integrated Approach for Enhancing the Learning of Computer Programming ENGINEERING EDUCATION FOR A SMART SOCIETY
Ponencia2018 RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basado en Sistemas de Recomendación Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
Artículo2018 Selection of deployment configurations using Recommender Systems on Android Revista Iberica de Sistemas e Tecnologias de Informacao
Editorial2018 Welcome message ACM International Conference Proceeding Series
Ponencia2017 Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real Actas de las 22nd Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2017
Artículo2017 FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing SOFTWARE AND SYSTEMS MODELING
Ponencia2017 Programming with the SCRATCH + CARAMBA tool. A significant learning experience Proceedings of the LACCEI international Multi-conference for Engineering, Education and Technology
Editorial2017 Welcome message ACM International Conference Proceeding Series
Ponencia2016 El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: Primeros pasos Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Ponencia2016 Exploiting the enumeration of all feature model configurations: A new perspective with distributed computing ACM International Conference Proceeding Series
Editorial2016 Foreword to the special issue on empirical evidence on software product line engineering EMPIRICAL SOFTWARE ENGINEERING
Ponencia2016 Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Ponencia2016 JPI feature models-Exploring a JPI and FOP symbiosis for software modeling 2015 34TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC)
Artículo2016 Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS
Artículo2016 Testing variability-intensive systems using automated analysis: an application to Android SOFTWARE QUALITY JOURNAL
Artículo2016 Traceability Analyses between Features and Assets in Software Product Lines ENTROPY
Capítulo2015 A selective mapping from orthogonal variability model to constraint satisfaction problem Advances in Engineering Research
Artículo2015 An assessment of search-based techniques for reverse engineering feature models JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2015 Exploring the synergies between join point interfaces and feature-oriented programming Actas de las 20th Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2015
Artículo2015 Supporting distributed product configuration by integrating heterogeneous variability modeling approaches INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2015 Towards testing variability intensive systems using user reviews 2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC)
Ponencia2014 A variability-based testing approach for synthesizing video sequences 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings
Artículo2014 Automated generation of computationally hard feature models using evolutionary algorithms EXPERT SYSTEMS WITH APPLICATIONS
Editorial2014 Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012 INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2014 Evolving feature model configurations in software product lines JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo2014 Variability Management in an Unaware Software Product Line Company: an Experience Report The Eight International Workshop on Variability Modelling of Software-Intensive Systems
Ponencia2014 Variability management in an unaware software product line company. An experience report ACM International Conference Proceeding Series
Ponencia2013 Automated analysis in feature modelling and product configuration Lecture Notes in Computer Science
Capítulo2013 Automated Analysis In Feature Modelling and Product Line Company: An Experience Report Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013
Capítulo2013 Automated Analysis of Stateful Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Capítulo2013 Automated Reasoning on Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Ponencia2013 Integrating heterogeneous variability modeling approaches with invar ACM International Conference Proceeding Series
Ponencia2013 Towards anomaly explanation in feature models CEUR Workshop Proceedings
Capítulo2012 FaMa-OVM: a tool for the automated analysis of OVMs 16th International Software Product Line Conference, SPLC´12
Libro2012 16th International Software Product Line Conference, SPLC´12 16th International Software Product Line Conference, SPLC´12
Capítulo2012 BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Artículo2012 Consistency maintenance for evolving feature models EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2012 FaMa-OVM: A tool for the automated analysis of OVMs ACM International Conference Proceeding Series
Capítulo2012 Internet, ¿un derecho universal? El traje del emperador: 13 propuestas para desnudar el poder
Artículo2012 Quality-aware analysis in product line engineering with the orthogonal variability model SOFTWARE QUALITY JOURNAL
Capítulo2012 Reverse Engineering Feature Models with Evolutionary Algorithms An Exploratory Study Search Based Software Engineering: 4th International Symposium, SSBSE 2012 Riva del Garda, Italy, September 28-30, 2012 Proceedings
Ponencia2012 Reverse engineering feature models with evolutionary algorithms: An exploratory study Lecture Notes in Computer Science
Artículo2012 Software diversity: State of the art and perspectives International Journal on Software Tools for Technology Transfer
Editorial2012 Welcome message ACM International Conference Proceeding Series
Ponencia2011 Automated analysis of feature models 20 years later: A literature review Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Ponencia2011 Automated diagnosis of feature model configurations Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Artículo2011 Automated metamorphic testing on the analyses of feature models INFORMATION AND SOFTWARE TECHNOLOGY
Capítulo2011 Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches 15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany
Capítulo2011 Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011) 15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany
Artículo2011 Functional testing of feature model analysis tools: a test suite IET SOFTWARE
Artículo2011 Mutation testing on an object-oriented framework: An experience report INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2010 Automated analysis of feature models 20 years later: A literature review INFORMATION SYSTEMS
Artículo2010 Automated diagnosis of feature model configurations JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo2010 Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France
Ponencia2010 Debian packages repositories as software product line models. Towards automated analysis CEUR Workshop Proceedings
Artículo2009 Automated reasoning for multi-step feature model configuration problems SPLC '09 Proceedings of the 13th International Software Product Line Conference
Capítulo2008 Automated Diagnosis of Product-line Configuration Errors in Feature Models Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Artículo2008 Automated error analysis for the agilization of feature modeling JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2008 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Capítulo2008 FAMA Framework Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Ponencia2008 FAMA Framework SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
Ponencia2008 First international workshop on analyses of software product lines (ASPL'08) www.isa.us.es/asp108 Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Capítulo2008 First International Workshop on Analyses of Software Product Lines (ASPL�08) www.isa.us.es/aspl08 Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Capítulo2008 Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Capítulo2007 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Capítulo2007 FAMA: hacia el análisis automático de modelos de características Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos
Capítulo2006 A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS) Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers
Artículo2006 Automated analysis of feature models: Challenges ahead COMMUNICATIONS OF THE ACM
Ponencia2006 Isolated features detection in feature models CEUR Workshop Proceedings
Capítulo2006 Using Java CSP Solvers in the Automated Analyses of Feature Models Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers
Artículo2005 A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS) Lecture Notes in Computer Science
Artículo2005 Automated reasoning on feature models ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS
Ponencia2005 Using constraint programming to reason on feature models 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Artículo2004 Applying system families concepts to requirements engineering process definition SOFTWARE PRODUCT-FAMILY ENGINEERING
Ponencia2004 La esquizofrenia del docente e investigador en Ingeniería del Software Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Artículo2003 A quality-aware approach to web services procurement TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS
Artículo2003 Automating the procurement of web services Service-Oriented Computing - ICSOC 2003
Ponencia2003 Un tratamiento sensible a la calidad para la adquisición de servicios web VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003
Capítulo2002 Quality of Service Variability in Systems Families Based on Web Services (SFWS) Simposio de Informática y Telecomunicaciones

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/10/2006 30/09/2009 Investigador/a Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472) Ministerio de Educación y Ciencia (Nacional)
01/01/2013 31/12/2015 Investigador/a Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273) Ministerio de Economía y Competitividad (Nacional)
01/01/2019 31/12/2021 Responsable Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios (RTI2018-101204-B-C22) Ministerio de Ciencia, Innovación y Universidades (Nacional)
15/11/2003 30/05/2007 Investigador/a Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
15/03/2011 30/04/2016 Investigador/a Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2010 30/06/2013 Investigador/a reSearching on intElligent Tools for the internet of services (TIN2009-07366) Ministerio de Ciencia e Innovación (Nacional)
01/01/2016 31/12/2019 Investigador/a Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
31/01/2008 31/12/2012 Investigador/a Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
30/01/2014 16/02/2019 Investigador/a Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/09/2003 30/06/2005 Investigador/a FAMILIES. Quality-aware system families (PRO-045) Telvent Interactiva, S.A. (Nacional)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
06/03/2006 06/08/2006 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 propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
28/01/2009 30/01/2009 Responsable Third International Workshop on Variability Modelling of Software-Intensive Systems (Vamos 09) (PP2009-01-038) Universidad de Sevilla (Local)
30/08/2007 30/11/2007 Investigador/a 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) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)