David Benavides
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
63
Venues
13
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
63 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSoft | Product Line Engineering in Smart Governance Systems. | Salvador Muoz-Hermoso, Miguel Angel Olivero, Francisco Jos Domnguez Mayo, David Benavides |
| 2025 | SPLC | Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem. | Jos Miguel Horcas, Chico Sundermann, Malte Grave, Jos A. Galindo, Thomas Thm, Rick Rabiser, David Benavides |
| 2025 | SPLC | Configuration Bugs Classification using LLMs and Encoders. | Noelia Lopez-Duran, David Romero-Organvidez, Fermn L. Cruz, David Benavides |
| 2025 | SPLC | Software Variability as a New Dimension of Computational Thinking: an Exploration. | Jess Moreno-Len, David Romero-Organvidez, Gregorio Robles, David Benavides |
| 2025 | SPLC | Feedback Analysis in Software Product Line Forked Developments. | David Romero-Organvidez, Oscar Daz, Yutian Tang, David Benavides |
| 2025 | SPLC | From Playmobil to Product Lines: towards a visual instrument for variability thinking measurement. | David Romero-Organvidez, Jess Moreno-Len, Gregorio Robles, Ana Eva Chacn-Luna, David Benavides |
| 2025 | SPLC | Feature-Based Characterization of GitHub OSS Projects for Performance Assessment. | Jos Manuel Snchez Ruiz, Guillermo Ciria Gonzlez, Miguel Angel Olivero, Francisco Jos Domnguez Mayo, David Benavides |
| 2025 | SPLC | Optimizing Competitive Positioning through Software Product Lines: An Industrial Application in Digital Marketing. | Jos Manuel Snchez Ruiz, Noelia Lopez-Duran, Miguel Angel Olivero, Francisco Jos Domnguez Mayo, David Benavides, Carmen Macedo Figueroa |
| 2024 | SPLC | Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool. | David Fernndez-Amors, Ruben Heradio, Jos Miguel Horcas Aguilera, Jos A. Galindo, David Benavides, Lidia Fuentes |
| 2024 | SPLC | Open Science principles in software product lines: The case of the UVL ecosystem. | Jos A. Galindo, David Romero-Organvidez, Megha Bhushan, Jos Miguel Horcas Aguilera, David Benavides |
| 2024 | SPLC | Kconfig metamodel: a first approach. | David Romero-Organvidez, Pablo Neira Ayuso, Jos A. Galindo, David Benavides |
| 2023 | AAAI | FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis. | Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, Jos A. Galindo, Thi Ngoc Trang Tran |
| 2023 | GPCE | Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead. | Raul Medeiros, Oscar Daz, David Benavides |
| 2023 | SPLC | Large Language Models to generate meaningful feature model instances. | Jos A. Galindo, Antonio J. Dominguez, Jules White, David Benavides |
| 2023 | SPLC | FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. | Jos A. Galindo, Jos Miguel Horcas, Alexander Felfernig, David Fernndez-Amors, David Benavides |
| 2023 | SPLC | Second Tutorial on the Universal Variability Language. | Sebastian Krieter, Kevin Feichtinger, Jos A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thm |
| 2023 | SPLC | Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems. | Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, Jos A. Zamudio, Damian Garber |
| 2023 | SPLC | UVLParser: Extending UVL with Language Levels and Conversion Strategies. | Chico Sundermann, Stefan Vill, Thomas Thm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, Jos A. Galindo, David Benavides |
| 2022 | SPLC | Design for the analysis of variability management in the industry. | Ana Eva Chacn-Luna, Antonio Manuel Gutirrez-Fernndez, David Benavides, Lidia Fuentes |
| 2022 | SPLC | Variability in data visualization: a software product line approach. | Jos Miguel Horcas, Jos A. Galindo, David Benavides |
| 2022 | SPLC | Untitled record | Jos Miguel Horcas, Jos Angel Galindo, Mnica Pinto, Lidia Fuentes, David Benavides |
| 2022 | SPLC | Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022). | Jos Miguel Horcas, ngela Villota, David Benavides, Philippe Collet |
| 2022 | SPLC | Advisory: vulnerability analysis in software development project dependencies. | Antonio Germn Mrquez, Jos A. Galindo, ngel Jess Varela-Vaca, Mara Teresa Gmez-Lpez, David Benavides |
| 2022 | SPLC | Variability-aware data migration tool. | David Romero, Jos A. Galindo, Jos Miguel Horcas, David Benavides |
| 2022 | SPLC | Tutorial on the universal variability language. | Chico Sundermann, Kevin Feichtinger, Jos A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thm |
| 2021 | ICSE | DIRECTDEBUG: Automated Testing and Debugging of Feature Models. | Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, Jos A. Galindo, Thi Ngoc Trang Tran |
| 2021 | SPLC | Empirical software product line engineering: a systematic literature review. an IST journal publication. | Ana Eva Chacn-Luna, Antonio Manuel Gutirrez-Fernndez, Jos A. Galindo, David Benavides |
| 2021 | SPLC | Monte Carlo tree search for feature model analyses: a general framework for decision-making. | Jos Miguel Horcas, Jos A. Galindo, Ruben Heradio, David Fernndez-Amors, David Benavides |
| 2021 | SPLC | A first prototype of a new repository for feature model exchange and knowledge sharing. | David Romero, Jos A. Galindo, Jos Miguel Horcas, David Benavides |
| 2020 | ISMIS | A Parallelized Variant of Junker's QuickXPlain Algorithm. | Cristian Vidal Silva, Alexander Felfernig, Jos A. Galindo, Mslm Atas, David Benavides |
| 2020 | ISMIS | Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. | Cristian Vidal Silva, Jos A. Galindo, Jess Girldez-Cru, David Benavides |
| 2020 | SPLC | Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020). | Mathieu Acher, Philippe Collet, David Benavides, Rick Rabiser |
| 2020 | SPLC | A Python framework for the automated analysis of feature models: A first step to integrate community efforts. | Jos A. Galindo, David Benavides |
| 2020 | SPLC | Uniform and scalable SAT-sampling for configurable systems. | Ruben Heradio, David Fernndez-Amors, Jos A. Galindo, David Benavides |
| 2019 | SPLC | First international workshop on languages for modelling variability (MODEVAR 2019). | David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher |
| 2019 | SPLC | Variability management in a software product line unaware company: towards a real evaluation. | Ana Eva Chacn-Luna, Elvira Garca Ruiz, Jos Angel Galindo, David Benavides |
| 2019 | SPLC | Towards a new repository for feature model exchange. | Jos Angel Galindo, David Benavides |
| 2019 | SPLC | Automated analysis of feature models: quo vadis? | Jos Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutirrez-Fernndez, Antonio Ruiz-Corts |
| 2019 | SPLC | RESDEC: online management tool for implementation components selection in software product lines using recommender systems. | Jorge Rodas-Silva, Jos Angel Galindo, Jorge Garca-Gutirrez, David Benavides |
| 2019 | SPLC | Accessibility variability model: the UTPL MOOC case study. | Germania Rodriguez, Jennifer Prez, David Benavides |
| 2019 | SPLC | Process mining to unleash variability management: discovering configuration workflows using logs. | ngel Jess Varela-Vaca, Jos Angel Galindo, Beln Ramos-Gutirrez, Mara Teresa Gmez-Lpez, David Benavides |
| 2018 | SPLC | Automated analysis of feature models: current state and practices. | David Benavides, Jos Angel Galindo |
| 2016 | SPLC | Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. | Jos Angel Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides |
| 2014 | ISSTA | A variability-based testing approach for synthesizing video sequences. | Jos Angel Galindo, Mauricio Alfrez, Mathieu Acher, Benoit Baudry, David Benavides |
| 2013 | ICSR | Automated Analysis in Feature Modelling and Product Configuration. | David Benavides, Alexander Felfernig, Jos Angel Galindo, Florian Reinfrank |
| 2012 | SPLC | FaMa-OVM: a tool for the automated analysis of OVMs. | Fabricia Roos-Frantz, Jos Angel Galindo, David Benavides, Antonio Ruiz Corts |
| 2012 | SSBSE | Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. | Roberto Erick Lopez-Herrejon, Jos Angel Galindo, David Benavides, Sergio Segura, Alexander Egyed |
| 2011 | SPLC | Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). | David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong |
| 2011 | SPLC | Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. | Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grnbacher, David Benavides, Jos Angel Galindo |
| 2010 | ICST | Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Corts |
| 2009 | SPLC | Automated reasoning for multi-step feature model configuration problems. | Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides |
| 2008 | SPLC | First International Workshop on Analysis of Software Product Lines (ASPL'08). | David Benavides, Antonio Ruiz Corts, Don S. Batory, Patrick Heymans |
| 2008 | SPLC | Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project. | Arnaud Hubaux, Patrick Heymans, David Benavides |
| 2008 | SPLC | Functional Testing of Feature Model Analysis Tools. A First Step. | Sergio Segura, David Benavides, Antonio Ruiz Corts |
| 2008 | SPLC | FAMA Framework. | Pablo Trinidad, David Benavides, Antonio Ruiz Corts, Sergio Segura, Alberto Jimenez |
| 2008 | SPLC | Three-Dimensional Feature Diagrams Visualization. | Pablo Trinidad, Antonio Ruiz Corts, David Benavides, Sergio Segura |
| 2008 | SPLC | Automated Diagnosis of Product-Line Configuration Errors in Feature Models. | Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, Antonio Ruiz Corts |
| 2007 | SPLC | Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines. | Pablo Trinidad, Antonio Ruiz Corts, Joaqun Pea, David Benavides |
| 2006 | CaiSE | Isolated Features Detection in Feature Models. | Pablo Trinidad, David Benavides, Antonio Ruiz Corts |
| 2005 | CaiSE | The Triple Schizophrenia of the Software Engineering Researcher. | David Benavides, Antonio Ruiz Corts, Carlos Mller, Pablo Trinidad Martn-Arroyo |
| 2005 | CaiSE | Automated Reasoning on Feature Models. | David Benavides, Pablo Trinidad Martn-Arroyo, Antonio Ruiz Corts |
| 2005 | SEKE | Using Constraint Programming to Reason on Feature Models. | David Benavides, Pablo Trinidad, Antonio Ruiz Corts |
| 2003 | ICSOC | Automating the Procurement of Web Services. | Octavio Martn-Daz, Antonio Ruiz Corts, Amador Durn, David Benavides, Miguel Toro |