José A. Galindo

Orcid: 0000-0001-9293-9784

Affiliations:
  • University of Seville, Spain


According to our database1, José A. Galindo authored at least 81 papers between 2010 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
FM fact label.
Sci. Comput. Program., 2025

2024
E-SCORE: A web-based tool for security requirements engineering.
SoftwareX, 2024

Data visualization guidance using a software product line approach.
J. Syst. Softw., 2024

UVLHub: A feature model data repository using UVL and open science principles.
J. Syst. Softw., 2024

An ontological knowledge-based method for handling feature model defects due to dead feature.
Eng. Appl. Artif. Intell., 2024

UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets.
CoRR, 2024

Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
Comput. Secur., 2024

Kconfig metamodel: a first approach.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

Open Science principles in software product lines: The case of the UVL ecosystem.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

2023
A Monte Carlo tree search conceptual framework for feature model analyses.
J. Syst. Softw., 2023

UVLParser: Extending UVL with Language Levels and Conversion Strategies.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Second Tutorial on the Universal Variability Language.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Large Language Models to generate meaningful feature model instances.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

On Programming Variability with Large Language Model-based Assistant.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Correction to: Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng., 2022

Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng., 2022

Tutorial on the universal variability language.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Variability-aware data migration tool.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Advisory: vulnerability analysis in software development project dependencies.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

<i>FM fact label</i>: a configurable and interactive visualization of feature model characterizations.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Variability in data visualization: a software product line approach.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

24th International Workshop on Configuration (CONFWS'22).
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

2021
Empirical Evidence of the Usage of Programming Languages in the Educational Process.
IEEE Trans. Educ., 2021

DirectDebug: A software package for the automated testing and debugging of feature models.
Softw. Impacts, 2021

Explanations for over-constrained problems using QuickXPlain with speculative executions.
J. Intell. Inf. Syst., 2021

Classifying and resolving software product line redundancies using an ontological first-order logic rule based method.
Expert Syst. Appl., 2021

Discovering configuration workflows from existing logs using process mining.
Empir. Softw. Eng., 2021

A first prototype of a new repository for feature model exchange and knowledge sharing.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Monte Carlo tree search for feature model analyses: a general framework for decision-making.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Empirical software product line engineering: a systematic literature review. an IST journal publication.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

DIRECTDEBUG: Automated Testing and Debugging of Feature Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems.
Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

2020
Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning.
IEEE Trans. Learn. Technol., 2020

Empirical software product line engineering: A systematic literature review.
Inf. Softw. Technol., 2020

Open Source Adoption Factors - A Systematic Literature Review.
IEEE Access, 2020

Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018.
IEEE Access, 2020

Uniform and scalable SAT-sampling for configurable systems.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

A Python framework for the automated analysis of feature models: A first step to integrate community efforts.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance.
Proceedings of the Intelligent Systems in Industrial Applications, 2020

A Parallelized Variant of Junker's QuickXPlain Algorithm.
Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

2019
Automated analysis of two-layered feature models with feature attributes.
J. Comput. Lang., 2019

Modeling variability in the video domain: language and experience report.
Softw. Qual. J., 2019

Automated analysis of feature models: Quo vadis?
Computing, 2019

Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress.
IEEE Access, 2019

Process mining to unleash variability management: discovering configuration workflows using logs.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

RESDEC: online management tool for implementation components selection in software product lines using recommender systems.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards a new repository for feature model exchange.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Variability management in a software product line unaware company: towards a real evaluation.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

2018
Anytime diagnosis for reconfiguration.
J. Intell. Inf. Syst., 2018

VaryLATEX: Learning Paper Variants That Meet Constraints.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Automated analysis of feature models: current state and practices.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

2017
Reverse engineering language product lines from existing DSL variants.
J. Syst. Softw., 2017

Fostering a consistent SPL service ecosystem.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

2016
Testing variability-intensive systems using automated analysis: an application to Android.
Softw. Qual. J., 2016

Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line.
EAI Endorsed Trans. Scalable Inf. Syst., 2016

Traceability Analyses between Features and Assets in Software Product Lines.
Entropy, 2016

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review.
Comput. Lang. Syst. Struct., 2016

Using machine learning to infer constraints for product lines.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

2015
Evolution, testing and configuration of variability systems intensive. (Evolution, test et configuration des systèmes à forte variabilité).
PhD thesis, 2015

An assessment of search-based techniques for reverse engineering feature models.
J. Syst. Softw., 2015

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches.
Inf. Softw. Technol., 2015

JPI feature models - Exploring a JPI and FOP symbiosis for software modeling.
Proceedings of the 34th International Conference of the Chilean Computer Science Society, 2015

2014
Evolving feature model configurations in software product lines.
J. Syst. Softw., 2014

Variability management in an unaware software product line company: an experience report.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

ViViD: a variability-based tool for synthesizing video sequences.
Proceedings of the 18th International Software Product Lines Conference, 2014

A variability-based testing approach for synthesizing video sequences.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Integrating heterogeneous variability modeling approaches with invar.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Automated Analysis in Feature Modelling and Product Configuration.
Proceedings of the Safe and Secure Software Reuse, 2013

Towards Anomaly Explanation in Feature Models.
Proceedings of the 15th International Configuration Workshop, 2013

2012
BeTTy: benchmarking and testing on the automated analysis of feature models.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

FaMa-OVM: a tool for the automated analysis of OVMs.
Proceedings of the 16th International Software Product Line Conference, 2012

2011
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches.
Proceedings of the Software Product Lines - 15th International Conference, 2011

2010
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010


  Loading...