Author profile: Galindo Duarte, José Ángel
Institutional data
Name | Galindo Duarte, José Ángel |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Profesor Titular de Universidad |
Request | |
Statistics
-
No. publications
80
-
No. visits
9059
-
No. downloads
21703
Publications |
---|
Article
A Monte Carlo tree search conceptual framework for feature model analyses
(ElSevier, 2023)
Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0 expose highly variable systems ... |
Presentation
Variability-aware data migration tool
(ACM: Association for Computing Machinery, 2022)
Relational databases are widely present in the development of soft ware applications. A typical implementation can be seen ... |
Presentation
Advisory: vulnerability analysis in software development project dependencies
(ACM: Association for Computing Machinery, 2022)
ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ... |
Presentation
Variability in Data Visualization: a Software Product Line Approach
(ACM: Association for Computing Machinery, 2022)
Data visualization aims to effectively communicate quantitative information by understanding which techniques and displays ... |
Presentation
FM fact label: a configurable and interactive visualization of feature model characterizations
(ACM: Association for Computing Machinery, 2022)
Recognizing specific characteristics of feature models (FM) can be challenging due to the different nature and domains of ... |
Master's Final Project
Análisis de vulnerabilidades en las dependencias de proyectos de desarrollo software
(2022)
Security has become a crucial factor in the development of software systems. The number of dependencies in software systems ... |
Article
Uniform and scalable sampling of highly configurable systems
(Springer, 2022)
Many analyses on confgurable software systems are intractable when confronted with colossal and highly-constrained ... |
Article |
PhD Thesis
Configuration Analysis for Large Scale Feature Models: Towards Speculative-Based Solutions
(2021)
Los sistemas de alta variabilidad son sistemas de software en los que la gestión de la variabilidad es una actividad ... |
Article
Empirical Evidence of the Usage of Programming Languages in the Educational Process
(IEEE Computer Society, 2021)
Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ... |
Article
Discovering configuration workflows from existing logs using process mining
(Springer, 2021)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ... |
Presentation
A first prototype of a new repository for feature model exchange and knowledge sharing
(Association for Computing Machinery (ACM), 2021)
Feature models are the “de facto” standard for variability modelling and are used in both academia and industry. The MODEVAR ... |
Article
Classifying and resolving software product line redundancies using an ontological first-order logic rule based method
(Elsevier, 2021)
Software product line engineering improves software quality and diminishes development cost and time by efficiently ... |
Article
DirectDebug: Automated Testing and Debugging of Feature Models
(Cornell University, 2021)
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of ... |
Presentation
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La mayoría de los sistemas configurables describen un amplio espacio de soluciones que hacen intratable su exploración ... |
Presentation
Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making
(Association for Computing Machinery (ACM), 2021)
The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, ... |
Article
DirectDebug: A software package for the automated testing and debugging of feature models
(Elsevier, 2021)
Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of ... |
Presentation
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
(CEUR Workshop Proceedings (CEUR-WS.org), 2021)
Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to ... |
PhD Thesis
Enhancing the learning of programming using Scratch: a recommender-systems-based approach in non WEIRD communities
(2020)
In today’s world, there is a growing need for professionals with computer skills in general, and programming in particular. ... |
Article
Recommender Systems and Scratch: An integrated approach for enhancing computer programming learning
(IEEE Computer Society, 2020)
Learning computer programming is a challenging process. Among the current approaches for overcoming this challenge, visual ... |
Presentation
Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and ... |
Presentation
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020)
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those ... |
Article
Empirical software product line engineering: A systematic literature review
(Elsevier, 2020)
Context: The adoption of Software Product Line Engineering (SPLE) is usually only based on its theoretical benefits instead ... |
Article
Open Source Adoption Factors-A Systematic Literature Review
(IEEE Computer Society, 2020)
Nowadays, Free/Libre/OpenSource Software (FLOSS) is becoming a strategic option for many organizations in the public and ... |
Presentation
A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm
(Springer, 2020)
Conflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially ... |
Presentation
Configuration assisted through conversational agents (chatbots and voicebots)
(Università degli Studi di Padova, 2020)
|
Presentation
Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design
(Università degli Studi di Padova, 2020)
|
PhD Thesis
On the selection and analysis of software product line implementation components using intelligent techniques
(2019)
En los últimos años y con el creciente avance tecnológico, las empresas ya no se centran exclusivamente en diseñar un ... |
Presentation
Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs
(Association for Computing Machinery (ACM), 2019)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration ... |
Presentation
RESDEC: Online Management Tool for Implementation Components Selection in Software Product Lines Using Recommender Systems
(ACM: Association for Computing Machinery, 2019)
Software product lines (SPL) management is one of the most im portant activities for the software engineer and it represents ... |
Presentation
Variability Management in a Software Product Line Unaware Company: Towards a Real Evaluation
(ACM: Association for Computing Machinery, 2019)
Software Product Lines (SPL) enable systematic reuse within an organization thus, enabling the reduction of costs, efforts, ... |
Article
Modeling Variability in the Video Domain: Language and Experience Report
(Springer, 2019)
In an industrial project, we addressed the challenge of developing a software-based video generator such that consumers ... |
Article
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress
(IEEE Computer Society, 2019)
In software products line (SPL), there may be features which can be implemented by different components, which means there ... |
Presentation
Towards a New Repository for Feature Model Exchange
(ACM: Association for Computing Machinery, 2019)
Feature models are one of the most important contributions to the field of software product lines, feature oriented software ... |
Presentation
A general approach to Software Product Line testing
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm ... |
Article
Automated analysis of two-layered feature models with feature attributes
(Elsevier, 2019)
The proliferation of features and platforms in variability intensive systems, coupled with substantial technolo-gical ... |
Article
Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018
(IEEE Computer Society, 2019)
Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In ... |
Presentation
Variabilidad en visualización de datos: retos y posibilidades
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Los sistemas de visualización de la información nos permiten visualizar datos usando abstracciones de los mismos, por ... |
Article
Automated analysis of feature models: Quo vadis?
(Springer, 2018)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ... |
Presentation
MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Las líneas de producto software se usan para gestionar la producción de sistemas software con un alto grado de variabilidad ... |
Presentation
Automated analysis of feature models: current state and practices
(Association for Computing Machinery (ACM), 2018)
Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. ... |
Article
Selección de configuraciones de despliegue usando Sistemas de Recomendación en Android
(Scielo.org, 2018)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Gestionar ... |
Article
Anytime diagnosis for reconfiguration
(Springer, 2018)
Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time ... |
Presentation
RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de Recomendación
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto ... |
Presentation
VaryLATEX: Learning Paper Variants That Meet Constraints
(ACM: Association for Computing Machinery, 2018)
How to submit a research paper, a technical report, a grant pro posal, or a curriculum vitae that respect imposed constraints ... |
Article
Reverse engineering language product lines from existing DSL variants
(Elsevier, 2017)
The use of domain-specific languages (DSLs) has become a successful technique to develop complex sys tems. In this context, ... |
Presentation
Fostering a consistent SPL service ecosystem
(Association for Computing Machinery (ACM), 2017)
Nowadays, Software Product Line (SPL) researchers and practi tioners have a diversity of Automated Analysis of Feature ... |
Presentation
Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
Las líneas de producto software tienen como prioridad alcanzar la reutilización sistemática dentro de una organización ... |
Presentation
Exploiting the Enumeration of All Feature Model Configurations
(ACM, 2016)
.Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional ... |
Presentation
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages
(Springer, 2016)
The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems. ... |
Presentation
Using Machine Learning to Infer Constraints for Product Lines
(ACM, 2016)
Variability intensive systems may include several thousand features allowing for an enormous number of possible ... |
Presentation
El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Los modelos de características con atributos representan todos los productos de una línea de productos junto con información ... |
Article
Testing variability-intensive systems using automated analysis: an application to Android
(Springer, 2016)
Software product lines are used to develop a set of software products that, while being different, share a common set of ... |
Article
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review
(Elsevier, 2016)
The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems. ... |
Presentation
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
(Open Publishing Association., 2016)
Many project-specific languages, including in particular filtering languages, are defined using nonformal specifications ... |
Article
Traceability Analyses between Features and Assets in Software Product Lines
(MDPI, 2016)
In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between ... |
Presentation
Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Los sistemas de alta variabilidad son sistemas software cuyo comportamiento puede ser personalizado de acuerdo con las ... |
Presentation
Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs
(Springer, 2016)
The use of domain-specific languages (DSLs) is a successful technique in the development of complex systems. Indeed, the ... |
PhD Thesis
Evolution, testing and configuration of variability intensive systems
(2015)
One of the key characteristics of software is its ability to be adapted and configured to different scenarios. Recently, ... |
Presentation
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line
(ACM, 2015)
Feature-oriented programming (FOP) and aspect-oriented programming (AOP) focus on to modularize incremental classes behavior ... |
Article
An assessment of search-based techniques for reverse engineering feature models
(Elsevier, 2015)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ... |
Presentation
Hacia las pruebas en sistemas de alta variabilidad utilizando opiniones de los usuarios
(HAL-Inria, 2015)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Este elevado ... |
Presentation
Exploring the Synergies between Join Point Interfaces and Feature-Oriented Programming
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
Feature-oriented programming FOP, and aspect-oriented programming AOP have been used to develop modular software product ... |
Article
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches
(Elsevier, 2015)
Context In industrial settings products are developed by more than one organization. Software vendors and suppliers ... |
Presentation
JPI Feature Models: Exploring a JPI and FOP Symbiosis for Software Modeling
(IEEE Computer Society, 2015)
Looking for a complete modular software development paradigm, this article presents Join Point Interface JPI Feature Models, ... |
Presentation
Variability management in an unaware software product line company: an experience report (Slide)
(VaMOS Workshops, 2014)
|
Presentation
A Variability-Based Testing Approach for Synthesizing Video Sequences
(ACM, 2014)
A key problem when developing video processing software is the di culty to test di erent input combinations. In this paper, ... |
Presentation
Variability Management in an unaware software product line company: An experience report
(ACM, 2014)
Software product line adoption is a challenging task in software development organisations. There are some reports in the ... |
Article
Evolving feature model configurations in software product lines
(Elsevier, 2014)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software ... |
Presentation
ViViD: A Variability-Based Tool for Synthesizing Video Sequences
(ACM, 2014)
We present ViViD, a variability-based tool to synthesize variants of video sequences. ViViD is developed and used in the ... |
Presentation
Automated Analysis of Diverse Variability Models with Tool Support
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ... |
Presentation
Integrating Heterogeneous Variability Modeling Approaches with Invar [Tool Demonstration]
(ACM, 2013)
There have been several proposals to describe the variability of software product lines by using modeling languages. In ... |
Presentation
Towards Anomaly Explanation in Feature Models
(CEUR-WS, 2013)
Feature models are a wide-spread approach to variability and commonality management in software product lines. Due to the ... |
Presentation
Automated Analysis in Feature Modelling and Product Configuration
(Springer, 2013)
The automated analysis of feature models is one of the thriving topics of research in the software product line and ... |
Presentation
FaMa-OVM: A Tool for the Automated Analysis of OVMs
(ACM, 2012)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ... |
Presentation
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
(Springer, 2012)
Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ... |
Presentation
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(ACM, 2012)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ... |
Presentation
BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ... |
Presentation
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches
(IEEE Computer Society, 2011)
In industrial settings, products are rarely built by one organization alone. Software vendors and suppliers typically maintain ... |
Presentation
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis
(2010)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ... |