José A. Galindo

49 papers A* 1C 1Journal 21Unranked 24
YearRankTypeTitle / Venue / Authors
2025 — conf
AquaIA: Implementing Controlled Deficit Irrigation by Means of Feature Modelling Techniques.
SPLC (A)
Francisco Sebastian Benitez, José A. Galindo, Mireia Corell, Francisco José Domínguez Mayo
2025 J jnl
Corrigendum to "Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies" [SoftwareX, Volume 30, May 2025, 102152].
SoftwareX
Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
2025 J jnl
Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies.
SoftwareX
Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
2025 J jnl
FM fact label.
Sci. Comput. Program.
José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides
2025 J jnl
Pragmatic random sampling of Kconfig-based systems: A unified approach.
J. Syst. Softw.
David Fernández-Amorós, Ruben Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes
2025 — conf
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem.
SPLC (A)
José Miguel Horcas, Chico Sundermann, Malte Grave, José A. Galindo, Thomas Thüm, Rick Rabiser, David Benavides
2025 — conf
UVL web-based editing and analysis with flamapy.ide.
VaMoS
Francisco Sebastian Benitez, José A. Galindo, David Romero-Organvidez, David Benavides
2025 — conf
UVL.js: Experiences on using UVL in the JavaScript Ecosystem.
VaMoS
Victor Lamas, María Isabel Limaylla Lunarejo, Miguel R. Luaces, David Romero-Organvidez, José A. Galindo, David Benavides
2025 J jnl
UVL: Feature modelling with the Universal Variability Language.
J. Syst. Softw.
David Benavides, Chico Sundermann, Kevin Feichtinger, José A. Galindo, Rick Rabiser, Thomas Thüm
2024 J jnl
Data visualization guidance using a software product line approach.
J. Syst. Softw.
David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides
2024 J jnl
E-SCORE: A web-based tool for security requirements engineering.
SoftwareX
Hiba Hnaini, Raúl Mazo, Joël Champeau, Paola Vallejo, José A. Galindo
2024 — conf
Kconfig metamodel: a first approach.
SPLC (B)
David Romero-Organvidez, Pablo Neira Ayuso, José A. Galindo, David Benavides
2024 — conf
Open Science principles in software product lines: The case of the UVL ecosystem.
SPLC (A)
José A. Galindo, David Romero-Organvidez, Megha Bhushan, José Miguel Horcas Aguilera, David Benavides
2024 — conf
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool.
SPLC (A)
David Fernández-Amorós, Ruben Heradio, José Miguel Horcas Aguilera, José A. Galindo, David Benavides, Lidia Fuentes
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (A)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (B)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 J jnl
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets.
CoRR
David Romero-Organvidez, José A. Galindo, David Benavides
2024 J jnl
UVLHub: A feature model data repository using UVL and open science principles.
J. Syst. Softw.
David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
2024 J jnl
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
Comput. Secur.
Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
2023 J jnl
A Monte Carlo tree search conceptual framework for feature model analyses.
J. Syst. Softw.
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
2023 A* conf
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis.
AAAI
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2023 — conf
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models.
SPLC (B)
José A. Galindo, José Miguel Horcas, Alexander Felfernig, David Fernández-Amorós, David Benavides
2023 J jnl
FastDiagP: An Algorithm for Parallelized Direct Diagnosis.
CoRR
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2023 — conf
Large Language Models to generate meaningful feature model instances.
SPLC (A)
José A. Galindo, Antonio J. Dominguez, Jules White, David Benavides
2023 — conf
Second Tutorial on the Universal Variability Language.
SPLC (A)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
2023 — conf
UVLParser: Extending UVL with Language Levels and Conversion Strategies.
SPLC (B)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
2022 — conf
24th International Workshop on Configuration (CONFWS'22).
SPLC (A)
Cipriano Forza, José A. Galindo, Martin Stettinger, Élise Vareilles
2022 — conf
Advisory: vulnerability analysis in software development project dependencies.
SPLC (B)
Antonio Germán Márquez, José A. Galindo, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, David Benavides
2022 J jnl
Correction to: Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng.
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
2022 — conf
Tutorial on the universal variability language.
SPLC (A)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
2022 J jnl
Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng.
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
2022 — conf
Variability in data visualization: a software product line approach.
SPLC (A)
José Miguel Horcas, José A. Galindo, David Benavides
2022 — conf
Variability-aware data migration tool.
SPLC (B)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
2021 — conf
A first prototype of a new repository for feature model exchange and knowledge sharing.
SPLC (B)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
2021 J jnl
Anytime Diagnosis for Reconfiguration.
CoRR
Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer
2021 — conf
DIRECTDEBUG: Automated Testing and Debugging of Feature Models.
ICSE (NIER)
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2021 J jnl
DirectDebug: A software package for the automated testing and debugging of feature models.
Softw. Impacts
Viet Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides, José A. Galindo
2021 J jnl
DirectDebug: Automated Testing and Debugging of Feature Models.
CoRR
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2021 J jnl
Discovering configuration workflows from existing logs using process mining.
Empir. Softw. Eng.
Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, José A. Galindo, María Teresa Gómez-López, David Benavides
2021 J jnl
Empirical Evidence of the Usage of Programming Languages in the Educational Process.
IEEE Trans. Educ.
Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, David Benavides
2021 — conf
Empirical software product line engineering: a systematic literature review. an IST journal publication.
SPLC (A)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez-Fernández, José A. Galindo, David Benavides
2021 J jnl
Explanations for over-constrained problems using QuickXPlain with speculative executions.
J. Intell. Inf. Syst.
Cristian Vidal, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
2021 — conf
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems.
ConfWS
José Miguel Horcas Aguilera, Antonio Germán Márquez, José A. Galindo, David Benavides
2021 — conf
Monte Carlo tree search for feature model analyses: a general framework for decision-making.
SPLC (A)
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
2020 C conf
A Parallelized Variant of Junker's QuickXPlain Algorithm.
ISMIS
Cristian Vidal Silva, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
2020 — conf
A Python framework for the automated analysis of feature models: A first step to integrate community efforts.
SPLC (B)
José A. Galindo, David Benavides
2020 — conf
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance.
ISMIS (Industrial Paper)
Cristian Vidal Silva, José A. Galindo, Jesús Giráldez-Cru, David Benavides
2020 J jnl
Empirical software product line engineering: A systematic literature review.
Inf. Softw. Technol.
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez, José A. Galindo, David Benavides
2020 — conf
Uniform and scalable SAT-sampling for configurable systems.
SPLC (A)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides