default search action
José A. Galindo
Person information
- affiliation: University of Seville, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j31]José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides:
FM fact label. Sci. Comput. Program. 240: 103214 (2025) - 2024
- [j30]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: 103669 (2024) - [j29]Megha Bhushan, José Ángel Galindo Duarte, Arun Negi, Piyush Samant:
An ontological knowledge-based method for handling feature model defects due to dead feature. Eng. Appl. Artif. Intell. 136: 109000 (2024) - [j28]David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides:
Data visualization guidance using a software product line approach. J. Syst. Softw. 213: 112029 (2024) - [j27]David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides:
UVLHub: A feature model data repository using UVL and open science principles. J. Syst. Softw. 216: 112150 (2024) - [j26]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: 101704 (2024) - [c51]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: 24-35 - [c50]David Romero-Organvidez, Pablo Neira Ayuso, José A. Galindo, David Benavides:
Kconfig metamodel: a first approach. SPLC (B) 2024: 55-60 - [c49]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: 223 - [e3]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e2]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [i4]David Romero-Organvidez, José A. Galindo, David Benavides:
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets. CoRR abs/2403.18482 (2024) - 2023
- [j25]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: 111551 (2023) - [c48]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: 6442-6449 - [c47]Mathieu Acher, José Ángel Galindo Duarte, Jean-Marc Jézéquel:
On Programming Variability with Large Language Model-based Assistant. SPLC (A) 2023: 8-14 - [c46]José A. Galindo, Antonio J. Dominguez, Jules White, David Benavides:
Large Language Models to generate meaningful feature model instances. SPLC (A) 2023: 15-26 - [c45]José A. Galindo, José Miguel Horcas, Alexander Felfernig, 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: 16-19 - [c44]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: 39-42 - [c43]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: 273 - [e1]José Miguel Horcas, José Angel Galindo, Richard Comploi-Taupe, Lidia Fuentes:
Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), Málaga, Spain, September 6-7, 2023. CEUR Workshop Proceedings 3509, CEUR-WS.org 2023 [contents] - [i3]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 abs/2305.06951 (2023) - 2022
- [j24]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): 44 (2022) - [j23]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): 57 (2022) - [c42]José Miguel Horcas, José Angel Galindo, Mónica Pinto, Lidia Fuentes, David Benavides:
FM fact label: a configurable and interactive visualization of feature model characterizations. SPLC (B) 2022: 42-45 - [c41]José Miguel Horcas, José A. Galindo, David Benavides:
Variability in data visualization: a software product line approach. SPLC (A) 2022: 55-66 - [c40]David Romero, José A. Galindo, José Miguel Horcas, David Benavides:
Variability-aware data migration tool. SPLC (B) 2022: 78-81 - [c39]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: 99-102 - [c38]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: 260 - [c37]Cipriano Forza, José A. Galindo, Martin Stettinger, Élise Vareilles:
24th International Workshop on Configuration (CONFWS'22). SPLC (A) 2022: 261 - 2021
- [j22]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): 11 (2021) - [j21]Megha Bhushan, José Ángel Galindo Duarte, Piyush Samant, Ashok Kumar, Arun Negi:
Classifying and resolving software product line redundancies using an ontological first-order logic rule based method. Expert Syst. Appl. 168: 114167 (2021) - [j20]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): 491-508 (2021) - [j19]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: 100085 (2021) - [j18]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): 213-222 (2021) - [c36]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: 37-44 - [c35]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: 81-85 - [c34]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: 80-85 - [c33]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: 113 - [c32]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: 190-201 - [i2]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 abs/2102.05949 (2021) - [i1]Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer:
Anytime Diagnosis for Reconfiguration. CoRR abs/2102.09880 (2021) - 2020
- [j17]Margarita Cruz, Beatriz Bernárdez, Amador Durán, José Angel Galindo, Antonio Ruiz-Cortés:
Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018. IEEE Access 8: 26773-26791 (2020) - [j16]Víctor Rea Sánchez, Pablo Neira Ayuso, José Angel Galindo, David Benavides:
Open Source Adoption Factors - A Systematic Literature Review. IEEE Access 8: 94594-94609 (2020) - [j15]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: 106389 (2020) - [j14]Jesennia Cárdenas-Cobo, Amilkar Puris, Pavel Novoa-Hernández, José Angel Galindo, David Benavides:
Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning. IEEE Trans. Learn. Technol. 13(2): 387-403 (2020) - [c31]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: 107-117 - [c30]Cristian Vidal Silva, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides:
A Parallelized Variant of Junker's QuickXPlain Algorithm. ISMIS 2020: 457-468 - [c29]Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides:
Uniform and scalable SAT-sampling for configurable systems. SPLC (A) 2020: 17:1-17:11 - [c28]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: 52-55
2010 – 2019
- 2019
- [j13]Jorge Rodas-Silva, José Angel Galindo, Jorge García-Gutiérrez, David Benavides:
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress. IEEE Access 7: 69226-69245 (2019) - [j12]José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés:
Automated analysis of feature models: Quo vadis? Computing 101(5): 387-433 (2019) - [j11]Mauricio Alférez, Mathieu Acher, José Angel Galindo, Benoit Baudry, David Benavides:
Modeling variability in the video domain: language and experience report. Softw. Qual. J. 27(1): 307-347 (2019) - [j10]Michael Lettner, Jorge Rodas-Silva, José Angel Galindo, David Benavides:
Automated analysis of two-layered feature models with feature attributes. J. Comput. Lang. 51: 154-172 (2019) - [c27]Ana Eva Chacón-Luna, Elvira García Ruiz, José Angel Galindo, David Benavides:
Variability management in a software product line unaware company: towards a real evaluation. SPLC (B) 2019: 1-8 - [c26]Ángel Jesús Varela-Vaca, José Angel Galindo, Belén Ramos-Gutiérrez, María Teresa Gómez-López, David Benavides:
Process mining to unleash variability management: discovering configuration workflows using logs. SPLC (A) 2019: 37:1-37:12 - [c25]José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés:
Automated analysis of feature models: quo vadis? SPLC (A) 2019: 40:1 - [c24]Jorge Rodas-Silva, José Angel Galindo, Jorge García-Gutiérrez, David Benavides:
RESDEC: online management tool for implementation components selection in software product lines using recommender systems. SPLC (B) 2019: 63:1-63:4 - [c23]José Angel Galindo, David Benavides:
Towards a new repository for feature model exchange. SPLC (B) 2019: 85:1-85:4 - 2018
- [j9]Alexander Felfernig, Rouven Walter, José Angel Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas, Stefan Reiterer:
Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51(1): 161-182 (2018) - [c22]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoît Baudry:
Reverse engineering language product lines from existing DSL variants. SPLC 2018: 248 - [c21]David Benavides, José Angel Galindo:
Automated analysis of feature models: current state and practices. SPLC 2018: 298 - [c20]Mathieu Acher, Paul Temple, Jean-Marc Jézéquel, José Angel Galindo, Jabier Martinez, Tewfik Ziadi:
VaryLATEX: Learning Paper Variants That Meet Constraints. VaMoS 2018: 83-88 - 2017
- [j8]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry:
Reverse engineering language product lines from existing DSL variants. J. Syst. Softw. 133: 145-158 (2017) - [c19]José Angel Galindo, Pablo Fernandez:
Fostering a consistent SPL service ecosystem. SPLC (A) 2017: 250 - 2016
- [j7]David Méndez-Acuña, José Angel Galindo, Thomas Degueule, Benoît Combemale, Benoit Baudry:
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review. Comput. Lang. Syst. Struct. 46: 206-235 (2016) - [j6]Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh:
Traceability Analyses between Features and Assets in Software Product Lines. Entropy 18(8): 269 (2016) - [j5]Cristian Vidal, David Benavides, Paul Leger, José Angel Galindo, Hiroaki Fukuda:
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. EAI Endorsed Trans. Scalable Inf. Syst. 3(10): e2 (2016) - [j4]José Angel Galindo, Hamilton A. Turner, David Benavides, Jules White:
Testing variability-intensive systems using automated analysis: an application to Android. Softw. Qual. J. 24(2): 365-405 (2016) - [c18]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic:
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. ICSR 2016: 368-383 - [c17]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry:
Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs. ICSR 2016: 393-396 - [c16]José Angel Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides:
Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. SPLC 2016: 74-78 - [c15]Paul Temple, José Angel Galindo, Mathieu Acher, Jean-Marc Jézéquel:
Using machine learning to infer constraints for product lines. SPLC 2016: 209-218 - [c14]Gurvan Le Guernic, Benoît Combemale, José Angel Galindo:
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. F-IDE@FM 2016: 38-52 - 2015
- [b1]José Ángel Galindo Duarte:
Evolution, testing and configuration of variability systems intensive. (Evolution, test et configuration des systèmes à forte variabilité). University of Rennes 1, France, 2015 - [j3]José Angel Galindo, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, Paul Grünbacher:
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches. Inf. Softw. Technol. 62: 78-100 (2015) - [j2]Roberto Erick Lopez-Herrejon, Lukas Linsbauer, José Angel Galindo, José Antonio Parejo, David Benavides, Sergio Segura, Alexander Egyed:
An assessment of search-based techniques for reverse engineering feature models. J. Syst. Softw. 103: 353-369 (2015) - [c13]Cristian Vidal, David Benavides, Paul Leger, José Angel Galindo, Hiroaki Fukuda:
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. BICT 2015: 433-437 - [c12]Cristian Vidal Silva, José Angel Galindo, Rodolfo Villarroel, David Benavides, Paul Leger, Sebastián Valenzuela:
JPI feature models - Exploring a JPI and FOP symbiosis for software modeling. SCCC 2015: 1-6 - 2014
- [j1]Jules White, José Angel Galindo, Tripti Saxena, Brian Dougherty, David Benavides, Douglas C. Schmidt:
Evolving feature model configurations in software product lines. J. Syst. Softw. 87: 119-136 (2014) - [c11]José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides:
A variability-based testing approach for synthesizing video sequences. ISSTA 2014: 293-303 - [c10]Mathieu Acher, Mauricio Alférez, José Angel Galindo, Pierre Romenteau, Benoit Baudry:
ViViD: a variability-based tool for synthesizing video sequences. SPLC Workshops 2014: 143-147 - [c9]David Benavides, José Angel Galindo:
Variability management in an unaware software product line company: an experience report. VaMoS 2014: 5:1-5:6 - 2013
- [c8]Alexander Felfernig, David Benavides, José Angel Galindo, Florian Reinfrank:
Towards Anomaly Explanation in Feature Models. Configuration Workshop 2013: 117-124 - [c7]David Benavides, Alexander Felfernig, José Angel Galindo, Florian Reinfrank:
Automated Analysis in Feature Modelling and Product Configuration. ICSR 2013: 160-175 - [c6]Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Angel Galindo:
Integrating heterogeneous variability modeling approaches with invar. VaMoS 2013: 8:1-8:5 - 2012
- [c5]Fabricia Roos-Frantz, José Angel Galindo, David Benavides, Antonio Ruiz Cortés:
FaMa-OVM: a tool for the automated analysis of OVMs. SPLC (2) 2012: 250-254 - [c4]Roberto Erick Lopez-Herrejon, José Angel Galindo, David Benavides, Sergio Segura, Alexander Egyed:
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. SSBSE 2012: 168-182 - [c3]Sergio Segura, José Angel Galindo, David Benavides, José Antonio Parejo, Antonio Ruiz Cortés:
BeTTy: benchmarking and testing on the automated analysis of feature models. VaMoS 2012: 63-71 - 2011
- [c2]Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Angel Galindo:
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. SPLC 2011: 120-129 - 2010
- [c1]José Angel Galindo, David Benavides, Sergio Segura:
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. ACoTA 2010: 29-34
Coauthor Index
aka: José Miguel Horcas Aguilera
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint