José A. Galindo
Orcid: 0000-0001-9293-9784Affiliations:
- University of Seville, Spain
According to our database1,
José A. Galindo
authored at least 81 papers
between 2010 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
2024
J. Syst. Softw., 2024
J. Syst. Softw., 2024
An ontological knowledge-based method for handling feature model defects due to dead feature.
Eng. Appl. Artif. Intell., 2024
CoRR, 2024
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
Comput. Secur., 2024
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024
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
J. Syst. Softw., 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
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
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Empir. Softw. Eng., 2022
Empir. Softw. Eng., 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
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
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
2021
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
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
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021
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
Inf. Softw. Technol., 2020
Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018.
IEEE Access, 2020
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
Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020
2019
J. Comput. Lang., 2019
Softw. Qual. J., 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
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
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
2017
J. Syst. Softw., 2017
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
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
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
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
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
J. Syst. Softw., 2015
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches.
Inf. Softw. Technol., 2015
Proceedings of the 34th International Conference of the Chilean Computer Science Society, 2015
2014
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
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the Safe and Secure Software Reuse, 2013
Proceedings of the 15th International Configuration Workshop, 2013
2012
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
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