José Miguel Horcas Aguilera

Publicaciones (76)

2025
Pragmatic random sampling of Kconfig-based systems: A unified approach
(3/6) David Fernández-Amorós, Rubén Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes
J. Syst. Softw.
🗺️Dec 2025
Automated Synthesis of Kubernetes Variability from OpenAPI Schemas
(2/4) Brian Flores, José Miguel Horcas, Mercedes Amor, Lidia Fuentes
31th International Conference on Cooperative Information Systems (CoopIS)
🗺️Oct 2025Marbella, Spain
Ecosistema UVL: integración de herramientas para sistemas de alta variabilidad
(2/7) David Romero-Organvídez, José Miguel Horcas, Víctor Lamas, Miguel R. Luaces, Francisco Sebastián Benítez, Noelia López-Durán, David Benavides
XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Sep 2025Córdoba, Spain
Sintetización de la variabilidad en Kubernetes: Dos modelos de características complementarios
(1/3) José Miguel Horcas, Mercedes Amor Pinilla, Lidia Fuentes
XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Sep 2025Córdoba, Spain
FMSans: An efficient approach for constraints removal and parallel analysis of feature models
(1/4) José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes
J. Syst. Softw.
🗺️Sep 2025
Herramientas para el Cómputo del Backbone de un Modelo de Variabilidad
(3/4) Luis Cambelo, Rubén Heradio, José Miguel Horcas, David Fernández-Amorós
XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • short
🗺️Sep 2025Córdoba, Spain
UVengine: A Universal Variability Resolution Engine for Feature Models Using Template-Based Artifacts
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
29th ACM International Systems and Software Product Line Conference (SPLC) • Tool
🗺️Aug 2025A Coruña, Spain
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem
(1/7) José Miguel Horcas, Chico Sundermann, Malte Grave, José A. Galindo, Thomas Thüm, Rick Rabiser, David Benavides
29th ACM International Systems and Software Product Line Conference (SPLC) • Tutorial
🗺️Aug 2025A Coruña, Spain
Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
29th ACM International Systems and Software Product Line Conference (SPLC)
🗺️Aug 2025A Coruña, Spain
The Kubernetes variability model: Synthesizing variability from the K8s API Documentation: A case study
(1/3) José Miguel Horcas, Mercedes Amor Pinilla, Lidia Fuentes
19th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS)
🗺️Feb 2025Rennes, France
FM fact label
(1/4) José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides
Sci. Comput. Program.
🗺️Feb 2025
Leveraging belief uncertainty for informed decision making in software product line evolution
(1/3) José Miguel Horcas, Lola Burgueño, Jörg Kienzle
J. Syst. Softw.
🗺️Jan 2025
2024
UVLHub: A feature model data repository using UVL and open science principles
(4/5) David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
J. Syst. Softw.
🗺️Oct 2024
Open Science principles in software product lines: The case of the UVL ecosystem
(4/5) José A. Galindo, David Romero-Organvidez, Megha Bhushan, José Miguel Horcas, David Benavides
28th ACM International Systems and Software Product Line Conference (SPLC) • Tutorial
🗺️Sep 2024Dommeldange, Luxembourg
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool
(3/6) David Fernández-Amorós, Ruben Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes
28th ACM International Systems and Software Product Line Conference (SPLC)
🗺️Sep 2024Dommeldange, Luxembourg
Data visualization guidance using a software product line approach
(2/4) David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides
J. Syst. Softw.
🗺️Jul 2024
UVLHub: compartir modelos en UVL siguiendo principios de ciencia abierta
(4/5) David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Jun 2024A Coruña, Spain
Heurísticas para mejorar el rendimiento en la eliminación de restricciones en modelos de características
(1/4) José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Jun 2024A Coruña, Spain
Flama: un esfuerzo colaborativo para soportar de forma sostenible el análisis de modelos de variabilidad
(2/7) José A. Galindo, José Miguel Horcas, Viet-Man Le, Alexander Felfernig, Rubén Heradio, David Fernández-Amorós, David Benavides
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Jun 2024A Coruña, Spain
DiBDDme, una estrategia de división no disjunta para el análisis de Modelos de Variabilidad
(2/3) Joaquín Ballesteros, José Miguel Horcas, Lidia Fuentes
XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Jun 2024A Coruña, Spain
Variability in data transformation: towards data migration product lines
(3/4) David Romero-Organvidez, David Benavides, José Miguel Horcas, María Teresa Gómez-López
18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS)
🗺️Feb 2024Bern, Switzerland
2023
Transformo: a tool for data transformation using SPL techniques
(2/4) David Romero-Organvidez, José Miguel Horcas, María Teresa Gómez-López, David Benavides
XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Sep 2023Ciudad Real, Spain
Un analizador de modelos de variabilidad basado en el árbol de características
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Sep 2023Ciudad Real, Spain
Elimination of constraints for parallel analysis of feature models
(1/4) José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes
27th ACM International Systems and Software Product Line Conference (SPLC)
🗺️Aug 2023Tokyo, Japan
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models
(2/5) José A. Galindo, José Miguel Horcas, Alexander Felfernig, David Fernández-Amorós, David Benavides
27th ACM International Systems and Software Product Line Conference (SPLC) • Tool
🗺️Aug 2023Tokyo, Japan
Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs
(2/3) Lola Burgueño, José Miguel Horcas, Jörg Kienzle
27th ACM International Systems and Software Product Line Conference (SPLC) • short
🗺️Aug 2023Tokyo, Japan
A modular metamodel and refactoring rules to achieve software product line interoperability
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
J. Syst. Softw.
🗺️Mar 2023
We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration
(1/5) José Miguel Horcas, Daniel Strüber, Alexandru Burdusel, Jabier Martinez, Steffen Zschaler
IEEE Trans. Software Eng.
🗺️Mar 2023
Empirical analysis of the tool support for software product lines
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
Softw. Syst. Model.
🗺️Feb 2023
A Monte Carlo tree search conceptual framework for feature model analyses
(1/5) José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
J. Syst. Softw.
🗺️Jan 2023
2022
Variability-aware data migration tool
(3/4) David Romero, José A. Galindo, José Miguel Horcas, David Benavides
1st International Workshop on Technical Debt for Variability-intensive Systems (TD4ViS @ SPLC)
🗺️Sep 2022Graz, Austria
Acapulco: an extensible tool for identifying optimal and consistent feature model configurations
(3/5) Jabier Martinez, Daniel Strüber, José Miguel Horcas, Alexandru Burdusel, Steffen Zschaler
26th ACM International Systems and Software Product Line Conference (SPLC) • Tool
🗺️Sep 2022Graz, Austria
Una línea de productos software para la visualización de datos
(1/3) José Miguel Horcas, José A. Galindo, David Benavides
XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Sep 2022Santiago de Compostela, Spain
FM fact label: a configurable and interactive visualization of feature model characterizations
(1/5) José Miguel Horcas, José Angel Galindo, Mónica Pinto, Lidia Fuentes, David Benavides
26th ACM International Systems and Software Product Line Conference (SPLC) • Tool
🗺️Sep 2022Graz, Austria
Variability in data visualization: a software product line approach
(1/3) José Miguel Horcas, José A. Galindo, David Benavides
26th ACM International Systems and Software Product Line Conference (SPLC)
🗺️Sep 2022Graz, Austria
Combining multiple granularity variability in a software product line approach for web engineering
(1/4) José Miguel Horcas, Alejandro Cortiñas, Lidia Fuentes, Miguel R. Luaces
Inf. Softw. Technol.
🗺️Aug 2022
Aplicar técnicas de variabilidad para la migración de datos, un enfoque transformacional
(3/3) David Romero-Organvidez, David Benavides, José Miguel Horcas
II Jornadas de Investigación Predoctoral en Ingeniería Informática (JIPII) • PhD Consortium
🗺️Jun 2022Cádiz, Spain
2021
A first prototype of a new repository for feature model exchange and knowledge sharing
(3/4) David Romero, José A. Galindo, José Miguel Horcas, David Benavides
4th International Workshop on Languages for Modelling Variability (MODEVAR @ SPLC)
🗺️Sep 2021Leicester, United Kindom
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
(1/4) José Miguel Horcas, A. Germán Márquez, José A. Galindo, David Benavides
23rd International Configuration Workshop (ConfWS)
🗺️Sep 2021Vienna, Austria
Monte Carlo tree search for feature model analyses: a general framework for decision-making
(1/5) José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
25th ACM International Systems and Software Product Line Conference (SPLC)
🗺️Sep 2021Leicester, United Kindom (virtual)
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
(1/4) José Miguel Horcas, Antonio Germán Márquez, José A. Galindo, David Benavides
XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Sep 2021Málaga, Spain
2020
Extensible and modular abstract syntax for feature modeling based on language constructs
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
24th ACM International Systems and Software Product Line Conference (SPLC) • short
🗺️Oct 2020Montreal, Quebec, Canada
Automatic Evolution of Eco-Efficient Software Architectures with CVL Models
(1/2) José Miguel Horcas, Mónica Pinto
IEEE Latin America Trans.
🗺️Jul 2020
Energy efficient adaptation engines for android applications
(2/4) Angel Cañete, José Miguel Horcas, Inmaculada Ayala, Lidia Fuentes
Inf. Softw. Technol.
🗺️Feb 2020
2019
A goal-driven software product line approach for evolving multi-agent systems in the Internet of Things
(3/4) Inmaculada Ayala, Mercedes Amor, José Miguel Horcas, Lidia Fuentes
Knowl. Based Syst.
🗺️Nov 2019
Software product line engineering: a practical experience
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
23rd International Systems and Software Product Line Conference (SPLC)
🗺️Sep 2019Paris, France
Modelando la variabilidad de características complejas en líneas de productos software
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Sep 2019Cáceres, Spain
Context-aware energy-efficient applications for cyber-physical systems
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
Ad Hoc Networks
🗺️Jan 2019
2018
vEXgine: Extendiendo el motor de ejecución de CVL
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD) • tool
🗺️Sep 2018Seville, Spain
Integrating the common variability language with multilanguage annotations for web engineering
(1/4) José Miguel Horcas, Alejandro Cortiñas, Lidia Fuentes, Miguel R. Luaces
22nd International Systems and Software Product Line Conference (SPLC) • Industrial
🗺️Sep 2018Gothenburg, Sweden
Mecanismos de reconfiguración eco-eficiente de código en aplicaciones móviles Android
(2/3) Ángel Cañete, José Miguel Horcas, Lidia Fuentes
XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Sep 2018Seville, Spain
Model Driven Evolution of an Agent-Based Home Energy Management System
(3/4) Inmaculada Ayala, Mercedes Amor, José Miguel Horcas, Lidia Fuentes
17th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT)
🗺️Sep 2018Granada, Spain
WeaFQAs: A Software Product Line Approach for Customizing and Weaving Efficient Functional Quality Attributes
(1/1) José Miguel Horcas
🗺️Jul 2018Málaga, España
Context-dependent reconfiguration of autonomous vehicles in mixed traffic
(1/6) José Miguel Horcas, Julien Monteil, Mélanie Bouroche, Mónica Pinto, Lidia Fuentes, Siobhán Clarke
J. Softw. Evol. Process.
🗺️Apr 2018
Variability models for generating efficient configurations of functional quality attributes
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
Inf. Softw. Technol.
🗺️Mar 2018
2017
Self-Adaptive Energy-Efficent Applications: The HADAS Developing Approach
(1/4) José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Nadia Gámez
15th IEEE International Conference on Pervasive Intelligence and Computing (PICom)
🗺️Nov 2017Orlando, FL, USA
Extending the Common Variability Language (CVL) Engine: A practical tool
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
21st International Systems and Software Product Line Conference (SPLC) • tool
🗺️Sep 2017Sevilla, Spain
Green Configurations of Functional Quality Attributes
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
21st International Systems and Software Product Line Conference (SPLC) • short
🗺️Sep 2017Sevilla, Spain
Configuración eco-eficiente de atributos de calidad funcionales
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Jul 2017La Laguna, Tenerife, Spain
2016
Automatic Enforcement of Security Properties
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
13th International Conference On Trust, Privacy & Security In Digital Business (TrustBus)
🗺️Sep 2016Porto, Portugal
Product Line Architecture for Automatic Evolution of Multi-Tenant Applications
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
20th IEEE International Enterprise Distributed Object Computing Conference (EDOC)
🗺️Sep 2016Vienna, Austria
Evolución arquitectónica de servicios basada en modelos CVL con cardinalidad
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
🗺️Sep 2016Salamanca, Spain
Using Models at Runtime to Adapt Self-managed Agents for the IoT
(2/4) Inmaculada Ayala, José Miguel Horcas, Mercedes Amor, Lidia Fuentes
14th German Conference on Multiagent System Technologies (MATES)
🗺️Sep 2016Klagenfurt, Austria
An approach for deploying and monitoring dynamic security policies
(1/5) José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Wissam Mallouli, Edgardo Montes de Oca
Comput. Secur.
🗺️May 2016
Towards the dynamic reconfiguration of quality attributes
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
1st Workshop on Live Adaptation of Software SYstems (LASSY @ MODULARITY)
🗺️Mar 2016Málaga, Spain
Towards contractual interfaces for reusable functional quality attribute operationalisations
(1/4) José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Steffen Zschaler
1st International Modularity in Modelling Workshop (MOMO @ MODULARITY)
🗺️Mar 2016Málaga, Spain
An automatic process for weaving functional quality attributes using a software product line approach
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
J. Syst. Softw.
🗺️Feb 2016
2015
Dynamic Deployment and Monitoring of Security Policies
(1/5) José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Wissam Mallouli, Edgardo Montes de Oca
12th International Conference On Trust, Privacy & Security In Digital Business (TrustBus)
🗺️Sep 2015Valencia, Spain
Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks
(5/6) Mónica Pinto, Nadia Gámez, Lidia Fuentes, Mercedes Amor, José Miguel Horcas, Inmaculada Ayala
Sensors
🗺️Mar 2015
2014
Closing the Gap between the Specification and Enforcement of Security Policies
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
11th International Conference On Trust, Privacy & Security In Digital Business (TrustBus)
🗺️Sep 2014Munich, Germany
Runtime Enforcement of Dynamic Security Policies
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
8th European Conference on Software Architecture (ECSA)
🗺️Aug 2014Vienna, Austria
Injecting quality attributes into software architectures with the common variability language
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)
🗺️Jun 2014Lille, France
An Aspect-Oriented Model Transformation to Weave Security using CVL
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
🗺️Jan 2014Lisbon, Portugal
2013
How to develop secure applications with Aspect-Oriented Programming
(2/2) Mónica Pinto, José Miguel Horcas
8th International Conference on Risks and Security of Internet and Systems (CRiSIS) • tutorial
🗺️Oct 2013La Rochelle, France
Variability and Dependency Modeling of Quality Attributes
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
39th Euromicro Conference on Software Engineering and Advanced Applications (Euromicro SEAA) • short
🗺️Sep 2013Santander, Spain
Modeling of Quality Attributes using an Aspect-Oriented Software-Product Line approach
(1/1) José Miguel Horcas
7th European Conference on Software Architecture (ECSA), Doctoral Symposium: PhD Students Worshop • PhD Symposium
🗺️Jul 2013Montpellier, France