José A. Galindo

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 37

Top Topics

Satisfiability Modulo Theories

Data Visualization

Literature Review

Top Venues

Empir. Softw. Eng.

Publications

David Romero-Organvidez, José A. Galindo, David Benavides
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets. CoRR (2024)
A. Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT). Comput. Secur. 139 (2024)
José A. Galindo, David Romero-Organvidez, Megha Bhushan, José Miguel Horcas Aguilera, David Benavides
Open Science principles in software product lines: The case of the UVL ecosystem. SPLC (A) (2024)
David Romero-Organvidez, Pablo Neira Ayuso, José A. Galindo, David Benavides
Kconfig metamodel: a first approach. SPLC (B) (2024)
David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides
Data visualization guidance using a software product line approach. J. Syst. Softw. 213 (2024)
Hiba Hnaini, Raúl Mazo, Joël Champeau, Paola Vallejo, José A. Galindo
E-SCORE: A web-based tool for security requirements engineering. SoftwareX 26 (2024)
David Fernández-Amorós, Ruben Heradio, José Miguel Horcas Aguilera, José A. Galindo, David Benavides, Lidia Fuentes
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool. SPLC (A) (2024)
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis. AAAI (2023)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
Second Tutorial on the Universal Variability Language. SPLC (A) (2023)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
UVLParser: Extending UVL with Language Levels and Conversion Strategies. SPLC (B) (2023)
José A. Galindo, José Miguel Horcas, Alexander Felfering, David Fernández-Amorós, David Benavides
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. SPLC (B) (2023)
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
A Monte Carlo tree search conceptual framework for feature model analyses. J. Syst. Softw. 195 (2023)
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
FastDiagP: An Algorithm for Parallelized Direct Diagnosis. CoRR (2023)
José A. Galindo, Antonio J. Dominguez, Jules White, David Benavides
Large Language Models to generate meaningful feature model instances. SPLC (A) (2023)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27 (2) (2022)
Cipriano Forza, José A. Galindo, Martin Stettinger, Élise Vareilles
24th International Workshop on Configuration (CONFWS'22). SPLC (A) (2022)
José Miguel Horcas, José A. Galindo, David Benavides
Variability in data visualization: a software product line approach. SPLC (A) (2022)
A. Germán Márquez, José A. Galindo, Ángel Jesús Varela-Vaca, María Teresa Gómez López, David Benavides
Advisory: vulnerability analysis in software development project dependencies. SPLC (B) (2022)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
Correction to: Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27 (2) (2022)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
Tutorial on the universal variability language. SPLC (A) (2022)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
Variability-aware data migration tool. SPLC (B) (2022)
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
Monte Carlo tree search for feature model analyses: a general framework for decision-making. SPLC (A) (2021)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez-Fernández, José A. Galindo, David Benavides
Empirical software product line engineering: a systematic literature review. an IST journal publication. SPLC (A) (2021)
Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, José A. Galindo, María Teresa Gómez López, David Benavides
Discovering configuration workflows from existing logs using process mining. Empir. Softw. Eng. 26 (1) (2021)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
A first prototype of a new repository for feature model exchange and knowledge sharing. SPLC (B) (2021)
Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, David Benavides
Empirical Evidence of the Usage of Programming Languages in the Educational Process. IEEE Trans. Educ. 64 (3) (2021)
Viet Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides, José A. Galindo
DirectDebug: A software package for the automated testing and debugging of feature models. Softw. Impacts 9 (2021)
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
DIRECTDEBUG: Automated Testing and Debugging of Feature Models. ICSE (NIER) (2021)
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
DirectDebug: Automated Testing and Debugging of Feature Models. CoRR (2021)
José Miguel Horcas Aguilera, A. Germán Márquez, José A. Galindo, David Benavides
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems. ConfWS (2021)
Cristian Vidal, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
Explanations for over-constrained problems using QuickXPlain with speculative executions. J. Intell. Inf. Syst. 57 (3) (2021)
Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer
Anytime Diagnosis for Reconfiguration. CoRR (2021)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides
Uniform and scalable SAT-sampling for configurable systems. SPLC (A) (2020)
Cristian Vidal Silva, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
A Parallelized Variant of Junker's QuickXPlain Algorithm. ISMIS (2020)
José A. Galindo, David Benavides
A Python framework for the automated analysis of feature models: A first step to integrate community efforts. SPLC (B) (2020)
Cristian Vidal Silva, José A. Galindo, Jesús Giráldez-Cru, David Benavides
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. ISMIS (Industrial Paper) (2020)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez, José A. Galindo, David Benavides
Empirical software product line engineering: A systematic literature review. Inf. Softw. Technol. 128 (2020)