Publications (76)
2025
Pragmatic random sampling of Kconfig-based systems: A unified approach
J. Syst. Softw.
Automated Synthesis of Kubernetes Variability from OpenAPI Schemas
31th International Conference on Cooperative Information Systems (CoopIS)
Ecosistema UVL: integración de herramientas para sistemas de alta variabilidad
XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
Sintetización de la variabilidad en Kubernetes: Dos modelos de características complementarios
XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
FMSans: An efficient approach for constraints removal and parallel analysis of feature models
J. Syst. Softw.
Herramientas para el Cómputo del Backbone de un Modelo de Variabilidad
XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • short
UVengine: A Universal Variability Resolution Engine for Feature Models Using Template-Based Artifacts
29th ACM International Systems and Software Product Line Conference (SPLC) • Tool
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem
29th ACM International Systems and Software Product Line Conference (SPLC) • Tutorial
Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry
29th ACM International Systems and Software Product Line Conference (SPLC)
The Kubernetes variability model: Synthesizing variability from the K8s API Documentation: A case study
19th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS)
FM fact label
Sci. Comput. Program.
Leveraging belief uncertainty for informed decision making in software product line evolution
J. Syst. Softw.
2024
UVLHub: A feature model data repository using UVL and open science principles
J. Syst. Softw.
Open Science principles in software product lines: The case of the UVL ecosystem
28th ACM International Systems and Software Product Line Conference (SPLC) • Tutorial
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool
28th ACM International Systems and Software Product Line Conference (SPLC)
Data visualization guidance using a software product line approach
J. Syst. Softw.
UVLHub: compartir modelos en UVL siguiendo principios de ciencia abierta
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
Heurísticas para mejorar el rendimiento en la eliminación de restricciones en modelos de características
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
Flama: un esfuerzo colaborativo para soportar de forma sostenible el análisis de modelos de variabilidad
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
DiBDDme, una estrategia de división no disjunta para el análisis de Modelos de Variabilidad
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
Variability in data transformation: towards data migration product lines
18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS)
2023
Transformo: a tool for data transformation using SPL techniques
XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
Un analizador de modelos de variabilidad basado en el árbol de características
XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
Elimination of constraints for parallel analysis of feature models
27th ACM International Systems and Software Product Line Conference (SPLC)
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models
27th ACM International Systems and Software Product Line Conference (SPLC) • Tool
Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs
27th ACM International Systems and Software Product Line Conference (SPLC) • short
A modular metamodel and refactoring rules to achieve software product line interoperability
J. Syst. Softw.
We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration
IEEE Trans. Software Eng.
Empirical analysis of the tool support for software product lines
Softw. Syst. Model.
A Monte Carlo tree search conceptual framework for feature model analyses
J. Syst. Softw.
2022
Variability-aware data migration tool
1st International Workshop on Technical Debt for Variability-intensive Systems (TD4ViS @ SPLC)
Acapulco: an extensible tool for identifying optimal and consistent feature model configurations
26th ACM International Systems and Software Product Line Conference (SPLC) • Tool
Una línea de productos software para la visualización de datos
XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
FM fact label: a configurable and interactive visualization of feature model characterizations
26th ACM International Systems and Software Product Line Conference (SPLC) • Tool
Variability in data visualization: a software product line approach
26th ACM International Systems and Software Product Line Conference (SPLC)
Combining multiple granularity variability in a software product line approach for web engineering
Inf. Softw. Technol.
Aplicar técnicas de variabilidad para la migración de datos, un enfoque transformacional
II Jornadas de Investigación Predoctoral en Ingeniería Informática (JIPII) • PhD Consortium
2021
A first prototype of a new repository for feature model exchange and knowledge sharing
4th International Workshop on Languages for Modelling Variability (MODEVAR @ SPLC)
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
23rd International Configuration Workshop (ConfWS)
Monte Carlo tree search for feature model analyses: a general framework for decision-making
25th ACM International Systems and Software Product Line Conference (SPLC)
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
2020
Extensible and modular abstract syntax for feature modeling based on language constructs
24th ACM International Systems and Software Product Line Conference (SPLC) • short
Automatic Evolution of Eco-Efficient Software Architectures with CVL Models
IEEE Latin America Trans.
Energy efficient adaptation engines for android applications
Inf. Softw. Technol.
2019
A goal-driven software product line approach for evolving multi-agent systems in the Internet of Things
Knowl. Based Syst.
Software product line engineering: a practical experience
23rd International Systems and Software Product Line Conference (SPLC)
Modelando la variabilidad de características complejas en líneas de productos software
XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
Context-aware energy-efficient applications for cyber-physical systems
Ad Hoc Networks
2018
vEXgine: Extendiendo el motor de ejecución de CVL
XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
Integrating the common variability language with multilanguage annotations for web engineering
22nd International Systems and Software Product Line Conference (SPLC) • Industrial
Mecanismos de reconfiguración eco-eficiente de código en aplicaciones móviles Android
XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
Model Driven Evolution of an Agent-Based Home Energy Management System
17th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT)
WeaFQAs: A Software Product Line Approach for Customizing and Weaving Efficient Functional Quality Attributes
Context-dependent reconfiguration of autonomous vehicles in mixed traffic
J. Softw. Evol. Process.
Variability models for generating efficient configurations of functional quality attributes
Inf. Softw. Technol.
2017
Self-Adaptive Energy-Efficent Applications: The HADAS Developing Approach
15th IEEE International Conference on Pervasive Intelligence and Computing (PICom)
Extending the Common Variability Language (CVL) Engine: A practical tool
21st International Systems and Software Product Line Conference (SPLC) • tool
Green Configurations of Functional Quality Attributes
21st International Systems and Software Product Line Conference (SPLC) • short
Configuración eco-eficiente de atributos de calidad funcionales
XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
2016
Automatic Enforcement of Security Properties
13th International Conference On Trust, Privacy & Security In Digital Business (TrustBus)
Product Line Architecture for Automatic Evolution of Multi-Tenant Applications
20th IEEE International Enterprise Distributed Object Computing Conference (EDOC)
Evolución arquitectónica de servicios basada en modelos CVL con cardinalidad
XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
Using Models at Runtime to Adapt Self-managed Agents for the IoT
14th German Conference on Multiagent System Technologies (MATES)
An approach for deploying and monitoring dynamic security policies
Comput. Secur.
Towards the dynamic reconfiguration of quality attributes
1st Workshop on Live Adaptation of Software SYstems (LASSY @ MODULARITY)
Towards contractual interfaces for reusable functional quality attribute operationalisations
1st International Modularity in Modelling Workshop (MOMO @ MODULARITY)
An automatic process for weaving functional quality attributes using a software product line approach
J. Syst. Softw.
2015
Dynamic Deployment and Monitoring of Security Policies
12th International Conference On Trust, Privacy & Security In Digital Business (TrustBus)
Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks
Sensors
2014
Closing the Gap between the Specification and Enforcement of Security Policies
11th International Conference On Trust, Privacy & Security In Digital Business (TrustBus)
Runtime Enforcement of Dynamic Security Policies
8th European Conference on Software Architecture (ECSA)
Injecting quality attributes into software architectures with the common variability language
17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)
An Aspect-Oriented Model Transformation to Weave Security using CVL
2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
2013
How to develop secure applications with Aspect-Oriented Programming
8th International Conference on Risks and Security of Internet and Systems (CRiSIS) • tutorial
Variability and Dependency Modeling of Quality Attributes
39th Euromicro Conference on Software Engineering and Advanced Applications (Euromicro SEAA) • short
Modeling of Quality Attributes using an Aspect-Oriented Software-Product Line approach
7th European Conference on Software Architecture (ECSA), Doctoral Symposium: PhD Students Worshop • PhD Symposium