Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. - José Angel Galindo; David Benavides 001; Sergio Segura (ACoTA, 2010)

Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. - Deepak Dhungana; Dominik Seichter; Goetz Botterweck; Rick Rabiser; Paul Grünbacher; David Benavides 001; José Angel Galindo (SPLC, 2011)

FaMa-OVM: a tool for the automated analysis of OVMs. - Fabricia Roos-Frantz; José Angel Galindo; David Benavides 001; Antonio Ruiz Cortés (SPLC (2), 2012)

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. - Roberto Erick Lopez-Herrejon; José Angel Galindo; David Benavides 001; Sergio Segura; Alexander Egyed (SSBSE, 2012)

BeTTy: benchmarking and testing on the automated analysis of feature models. - Sergio Segura; José Angel Galindo; David Benavides 001; José Antonio Parejo; Antonio Ruiz Cortés (VaMoS, 2012)

Towards Anomaly Explanation in Feature Models. - Alexander Felfernig; David Benavides 001; José Angel Galindo; Florian Reinfrank (Configuration Workshop, 2013)

Automated Analysis in Feature Modelling and Product Configuration. - David Benavides 001; Alexander Felfernig; José Angel Galindo; Florian Reinfrank (ICSR, 2013)

Integrating heterogeneous variability modeling approaches with invar. - Deepak Dhungana; Dominik Seichter; Goetz Botterweck; Rick Rabiser; Paul Grünbacher; David Benavides 001; José Angel Galindo (VaMoS, 2013)

A variability-based testing approach for synthesizing video sequences. - José Angel Galindo; Mauricio Alférez; Mathieu Acher; Benoit Baudry; David Benavides 001 (ISSTA, 2014)

ViViD: a variability-based tool for synthesizing video sequences. - Mathieu Acher; Mauricio Alférez; José Angel Galindo; Pierre Romenteau; Benoit Baudry (SPLC Workshops, 2014)

Variability management in an unaware software product line company: an experience report. - David Benavides 001; José Angel Galindo (VaMoS, 2014)

Evolving feature model configurations in software product lines. - Jules White; José Angel Galindo; Tripti Saxena; Brian Dougherty; David Benavides 001; Douglas C. Schmidt (J. Syst. Softw., 2014)

JPI feature models - Exploring a JPI and FOP symbiosis for software modeling. - Cristian Vidal Silva; José Angel Galindo; Rodolfo Villarroel; David Benavides 001; Paul Leger; Sebastián Valenzuela (SCCC, 2015)

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches. - José Angel Galindo; Deepak Dhungana; Rick Rabiser; David Benavides 001; Goetz Botterweck; Paul Grünbacher (Inf. Softw. Technol., 2015)

An assessment of search-based techniques for reverse engineering feature models. - Roberto Erick Lopez-Herrejon; Lukas Linsbauer; José Angel Galindo; José Antonio Parejo; David Benavides 001; Sergio Segura; Alexander Egyed (J. Syst. Softw., 2015)

Evolution, testing and configuration of variability systems intensive. (Evolution, test et configuration des systèmes à forte variabilité). - José Ángel Galindo Duarte (2015)

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. - David Méndez-Acuña; José Angel Galindo; Benoît Combemale; Arnaud Blouin; Benoit Baudry; Gurvan Le Guernic (ICSR, 2016)

Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs. - David Méndez-Acuña; José Angel Galindo; Benoît Combemale; Arnaud Blouin; Benoit Baudry (ICSR, 2016)

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. - José Angel Galindo; Mathieu Acher; Juan Manuel Tirado; Cristian Vidal 001; Benoit Baudry; David Benavides 001 (SPLC, 2016)

Using machine learning to infer constraints for product lines. - Paul Temple; José Angel Galindo; Mathieu Acher; Jean-Marc Jézéquel (SPLC, 2016)

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review. - David Méndez-Acuña; José Angel Galindo; Thomas Degueule; Benoît Combemale; Benoit Baudry (Comput. Lang. Syst. Struct., 2016)

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. - Gurvan Le Guernic; Benoît Combemale; José Angel Galindo (F-IDE@FM, 2016)

Traceability Analyses between Features and Assets in Software Product Lines. - Ganesh Khandu Narwane; José Angel Galindo; Shankara Narayanan Krishna; David Benavides 001; Jean-Vivien Millo; S. Ramesh 002 (Entropy, 2016)

Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. - Cristian Vidal 001; David Benavides 001; Paul Leger; José Angel Galindo; Hiroaki Fukuda (EAI Endorsed Trans. Scalable Inf. Syst., 2016)

Testing variability-intensive systems using automated analysis: an application to Android. - José Angel Galindo; Hamilton A. Turner; David Benavides 001; Jules White (Softw. Qual. J., 2016)

Fostering a consistent SPL service ecosystem. - José Angel Galindo; Pablo Fernandez 001 (SPLC (A), 2017)

Reverse engineering language product lines from existing DSL variants. - David Méndez-Acuña; José Angel Galindo; Benoît Combemale; Arnaud Blouin; Benoit Baudry (J. Syst. Softw., 2017)

Automated analysis of feature models: current state and practices. - David Benavides 001; José Angel Galindo (SPLC, 2018)

VaryLATEX: Learning Paper Variants That Meet Constraints. - Mathieu Acher; Paul Temple; Jean-Marc Jézéquel; José Angel Galindo; Jabier Martinez; Tewfik Ziadi (VaMoS, 2018)

Anytime diagnosis for reconfiguration. - Alexander Felfernig; Rouven Walter; José Angel Galindo; David Benavides 001; Seda Polat Erdeniz; Müslüm Atas; Stefan Reiterer (J. Intell. Inf. Syst., 2018)

Variability management in a software product line unaware company: towards a real evaluation. - Ana Eva Chacón-Luna; Elvira García Ruiz; José Angel Galindo; David Benavides 001 (SPLC (B), 2019)

Towards a new repository for feature model exchange. - José Angel Galindo; David Benavides 001 (SPLC (B), 2019)

RESDEC: online management tool for implementation components selection in software product lines using recommender systems. - Jorge Rodas-Silva; José Angel Galindo; Jorge García-Gutiérrez; David Benavides 001 (SPLC (B), 2019)

Process mining to unleash variability management: discovering configuration workflows using logs. - Ángel Jesús Varela-Vaca; José Angel Galindo; Belén Ramos-Gutiérrez; María Teresa Gómez-López; David Benavides 001 (SPLC (A), 2019)

Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress. - Jorge Rodas-Silva; José Angel Galindo; Jorge García-Gutiérrez; David Benavides 001 (IEEE Access, 2019)

Automated analysis of feature models: Quo vadis? - José Angel Galindo; David Benavides 001; Pablo Trinidad; Antonio Manuel Gutiérrez-Fernández; Antonio Ruiz-Cortés (Computing, 2019)

Modeling variability in the video domain: language and experience report. - Mauricio Alférez; Mathieu Acher; José Angel Galindo; Benoit Baudry; David Benavides 001 (Softw. Qual. J., 2019)

Automated analysis of two-layered feature models with feature attributes. - Michael Lettner; Jorge Rodas-Silva; José Angel Galindo; David Benavides 001 (J. Comput. Lang., 2019)

A Parallelized Variant of Junker's QuickXPlain Algorithm. - Cristian Vidal Silva; Alexander Felfernig; José A. Galindo; Müslüm Atas; David Benavides 001 (ISMIS, 2020)

Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. - Cristian Vidal Silva; José A. Galindo; Jesús Giráldez-Cru; David Benavides 001 (ISMIS (Industrial Paper), 2020)

A Python framework for the automated analysis of feature models: A first step to integrate community efforts. - José A. Galindo; David Benavides 001 (SPLC (B), 2020)

Uniform and scalable SAT-sampling for configurable systems. - Ruben Heradio; David Fernández-Amorós; José A. Galindo; David Benavides 001 (SPLC (A), 2020)

Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018. - Margarita Cruz; Beatriz Bernárdez 001; Amador Durán 001; José Angel Galindo; Antonio Ruiz-Cortés (IEEE Access, 2020)

Open Source Adoption Factors - A Systematic Literature Review. - Víctor Rea Sánchez; Pablo Neira Ayuso; José Angel Galindo; David Benavides 001 (IEEE Access, 2020)

Empirical software product line engineering: A systematic literature review. - Ana Eva Chacón-Luna; Antonio Manuel Gutiérrez; José A. Galindo; David Benavides 001 (Inf. Softw. Technol., 2020)

Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning. - Jesennia Cárdenas-Cobo; Amilkar Puris; Pavel Novoa-Hernández; José Angel Galindo; David Benavides 001 (IEEE Trans. Learn. Technol., 2020)

Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems. - José Miguel Horcas Aguilera; Antonio Germán Márquez; José A. Galindo; David Benavides 001 (ConfWS, 2021)

DIRECTDEBUG: Automated Testing and Debugging of Feature Models. - Viet Man Le; Alexander Felfernig; Mathias Uta; David Benavides 001; José A. Galindo; Thi Ngoc Trang Tran (ICSE (NIER), 2021)

Empirical software product line engineering: a systematic literature review. an IST journal publication. - Ana Eva Chacón-Luna; Antonio Manuel Gutiérrez-Fernández; José A. Galindo; David Benavides 001 (SPLC (A), 2021)

Monte Carlo tree search for feature model analyses: a general framework for decision-making. - José Miguel Horcas; José A. Galindo; Ruben Heradio; David Fernández-Amorós; David Benavides 001 (SPLC (A), 2021)

A first prototype of a new repository for feature model exchange and knowledge sharing. - David Romero 002; José A. Galindo; José Miguel Horcas; David Benavides 001 (SPLC (B), 2021)

Discovering configuration workflows from existing logs using process mining. - Belén Ramos-Gutiérrez; Ángel Jesús Varela-Vaca; José A. Galindo; María Teresa Gómez-López; David Benavides 001 (Empir. Softw. Eng., 2021)

Classifying and resolving software product line redundancies using an ontological first-order logic rule based method. - Megha Bhushan; José Ángel Galindo Duarte; Piyush Samant; Ashok Kumar 003; Arun Negi (Expert Syst. Appl., 2021)

Explanations for over-constrained problems using QuickXPlain with speculative executions. - Cristian Vidal 001; Alexander Felfernig; José A. Galindo; Müslüm Atas; David Benavides 001 (J. Intell. Inf. Syst., 2021)

DirectDebug: A software package for the automated testing and debugging of feature models. - Viet Man Le; Alexander Felfernig; Thi Ngoc Trang Tran; Müslüm Atas; Mathias Uta; David Benavides 001; José A. Galindo (Softw. Impacts, 2021)

Empirical Evidence of the Usage of Programming Languages in the Educational Process. - Mariuxi Vinueza-Morales; Diana Borrego; José A. Galindo; David Benavides 001 (IEEE Trans. Educ., 2021)

24th International Workshop on Configuration (CONFWS'22). - Cipriano Forza; José A. Galindo; Martin Stettinger; Élise Vareilles (SPLC (A), 2022)

Variability in data visualization: a software product line approach. - José Miguel Horcas; José A. Galindo; David Benavides 001 (SPLC (A), 2022)

FM fact label: a configurable and interactive visualization of feature model characterizations. - José Miguel Horcas; José Angel Galindo; Mónica Pinto; Lidia Fuentes; David Benavides 001 (SPLC (B), 2022)

Advisory: vulnerability analysis in software development project dependencies. - Antonio Germán Márquez; José A. Galindo; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; David Benavides 001 (SPLC (B), 2022)

Variability-aware data migration tool. - David Romero 002; José A. Galindo; José Miguel Horcas; David Benavides 001 (SPLC (B), 2022)

Tutorial on the universal variability language. - Chico Sundermann; Kevin Feichtinger; José A. Galindo; David Benavides 001; Rick Rabiser; Sebastian Krieter; Thomas Thüm (SPLC (A), 2022)

Uniform and scalable sampling of highly configurable systems. - Ruben Heradio; David Fernández-Amorós; José A. Galindo; David Benavides 001; Don S. Batory (Empir. Softw. Eng., 2022)

Correction to: Uniform and scalable sampling of highly configurable systems. - Ruben Heradio; David Fernández-Amorós; José A. Galindo; David Benavides 001; Don S. Batory (Empir. Softw. Eng., 2022)

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis. - Viet-Man Le; Cristian Vidal Silva; Alexander Felfernig; David Benavides 001; José A. Galindo; Thi Ngoc Trang Tran (AAAI, 2023)

On Programming Variability with Large Language Model-based Assistant. - Mathieu Acher; José Ángel Galindo Duarte; Jean-Marc Jézéquel (SPLC (A), 2023)

Large Language Models to generate meaningful feature model instances. - José A. Galindo; Antonio J. Dominguez; Jules White; David Benavides 001 (SPLC (A), 2023)

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 Fernández-Amorós; David Benavides 001 (SPLC (B), 2023)

Second Tutorial on the Universal Variability Language. - Sebastian Krieter; Kevin Feichtinger; José A. Galindo; David Benavides 001; Rick Rabiser; Chico Sundermann; Thomas Thüm (SPLC (A), 2023)

UVLParser: Extending UVL with Language Levels and Conversion Strategies. - Chico Sundermann; Stefan Vill; Thomas Thüm; Kevin Feichtinger; Prankur Agarwal; Rick Rabiser; José A. Galindo; David Benavides 001 (SPLC (B), 2023)

A Monte Carlo tree search conceptual framework for feature model analyses. - José Miguel Horcas; José A. Galindo; Ruben Heradio; David Fernández-Amorós; David Benavides 001 (J. Syst. Softw., 2023)

Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool. - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas Aguilera; José A. Galindo; David Benavides 001; Lidia Fuentes (SPLC (A), 2024)

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 001 (SPLC (A), 2024)

Kconfig metamodel: a first approach. - David Romero-Organvidez; Pablo Neira Ayuso; José A. Galindo; David Benavides 001 (SPLC (B), 2024)

Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT). - Antonio Germán Márquez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; José A. Galindo; David Benavides 001 (Comput. Secur., 2024)

UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets. - David Romero-Organvidez; José A. Galindo; David Benavides 001 (CoRR, 2024)

An ontological knowledge-based method for handling feature model defects due to dead feature. - Megha Bhushan; José Ángel Galindo Duarte; Arun Negi; Piyush Samant (Eng. Appl. Artif. Intell., 2024)

UVLHub: A feature model data repository using UVL and open science principles. - David Romero-Organvidez; José A. Galindo; Chico Sundermann; José Miguel Horcas; David Benavides 001 (J. Syst. Softw., 2024)

Data visualization guidance using a software product line approach. - David Romero-Organvidez; José Miguel Horcas; José A. Galindo; David Benavides 001 (J. Syst. Softw., 2024)

E-SCORE: A web-based tool for security requirements engineering. - Hiba Hnaini; Raúl Mazo; Joël Champeau; Paola Vallejo 001; José A. Galindo (SoftwareX, 2024)

Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool". - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas; José A. Galindo; David Benavides 001; Lidia Fuentes (Zenodo, 2024)

Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool". - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas; José A. Galindo; David Benavides 001; Lidia Fuentes (Zenodo, 2024)

jmhorcas/fm_characterization: FM Fact Label v1.0.0. - José Miguel Horcas; José A. Galindo; Lidia Fuentes; David Benavides 001 (Zenodo, 2024)

UVL web-based editing and analysis with flamapy.ide. - Francisco Sebastian Benitez; José A. Galindo; David Romero-Organvidez; David Benavides 001 (VaMoS, 2025)

UVL.js: Experiences on using UVL in the JavaScript Ecosystem. - Victor Lamas; María Isabel Limaylla Lunarejo; Miguel R. Luaces; David Romero-Organvidez; José A. Galindo; David Benavides 001 (VaMoS, 2025)

UVL: Feature modelling with the Universal Variability Language. - David Benavides 001; Chico Sundermann; Kevin Feichtinger; José A. Galindo; Rick Rabiser; Thomas Thüm (J. Syst. Softw., 2025)

FM fact label. - José Miguel Horcas; José A. Galindo; Lidia Fuentes; David Benavides 001 (Sci. Comput. Program., 2025)

Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies. - Antonio Germán Márquez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; José A. Galindo; David Benavides 001 (SoftwareX, 2025)