José Miguel Horcas

65 papers B 7C 3Journal 22Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Comparative Analysis of Backbone Algorithms for Configurable Software Systems. CoRR Luis Cambelo, Ruben Heradio, José Miguel Horcas, Dictino Chaos, David Fernández-Amorós
2025	B	`conf`	Automated Synthesis of Kubernetes Variability from OpenAPI Schemas. CoopIS Brian Flores, José Miguel Horcas, Mercedes Amor, Lidia Fuentes
2025	—	`conf`	Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry. SPLC (A) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2025	J	`jnl`	FM fact label. Sci. Comput. Program. José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides
2025	J	`jnl`	FMSans: An efficient approach for constraints removal and parallel analysis of feature models. J. Syst. Softw. José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes
2025	J	`jnl`	Leveraging belief uncertainty for informed decision making in software product line evolution. J. Syst. Softw. José Miguel Horcas, Lola Burgueño, Jörg Kienzle
2025	J	`jnl`	Pragmatic random sampling of Kconfig-based systems: A unified approach. J. Syst. Softw. David Fernández-Amorós, Ruben Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes
2025	—	`ed.`	Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A, SPLC-A 2025, A Coruña, Spain, September 1-5, 2025 SPLC (A) Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2025	—	`ed.`	Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B, SPLC-B 2025, A CoruñaSpain, September 1-5, 2025 SPLC (B) Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2025	—	`conf`	The Kubernetes variability model: Synthesizing variability from the K8s API Documentation: A case study. VaMoS José Miguel Horcas, Mercedes Amor Pinilla, Lidia Fuentes
2025	—	`conf`	Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem. SPLC (A) José Miguel Horcas, Chico Sundermann, Malte Grave, José A. Galindo, Thomas Thüm, Rick Rabiser, David Benavides
2025	—	`conf`	UVengine: A Universal Variability Resolution Engine for Feature Models Using Template-Based Artifacts. SPLC (B) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2024	J	`jnl`	Data visualization guidance using a software product line approach. J. Syst. Softw. David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides
2024	—	`ed.`	Proceedings of the 26th International Workshop on Configuration (ConfWS 2024) co-located with the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Girona, Spain, September 2-3, 2024. ConfWS Élise Vareilles, Chiara Grosso, José Miguel Horcas, Alexander Felfernig
2024	—	`ed.`	Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024 SPLC (A) 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
2024	—	`ed.`	Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024 SPLC (B) 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
2024	J	`jnl`	UVLHub: A feature model data repository using UVL and open science principles. J. Syst. Softw. David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
2024	—	`conf`	Variability in data transformation: towards data migration product lines. VaMoS David Romero-Organvidez, David Benavides, José Miguel Horcas, María Teresa Gómez-López
2023	J	`jnl`	A Monte Carlo tree search conceptual framework for feature model analyses. J. Syst. Softw. José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
2023	J	`jnl`	A modular metamodel and refactoring rules to achieve software product line interoperability. J. Syst. Softw. José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2023	—	`conf`	Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs. SPLC (A) Lola Burgueño, José Miguel Horcas, Jörg Kienzle
2023	—	`conf`	Elimination of constraints for parallel analysis of feature models. SPLC (A) José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes
2023	J	`jnl`	Empirical analysis of the tool support for software product lines. Softw. Syst. Model. José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2023	—	`conf`	FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. SPLC (B) José A. Galindo, José Miguel Horcas, Alexander Felfernig, David Fernández-Amorós, David Benavides
2023	—	`ed.`	Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), Málaga, Spain, September 6-7, 2023. ConfWS José Miguel Horcas, José Angel Galindo, Richard Comploi-Taupe, Lidia Fuentes
2023	J	`jnl`	We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration. IEEE Trans. Software Eng. José Miguel Horcas, Daniel Strüber, Alexandru Burdusel, Jabier Martinez, Steffen Zschaler
2022	—	`conf`	Acapulco: an extensible tool for identifying optimal and consistent feature model configurations. SPLC (B) Jabier Martinez, Daniel Strüber, José Miguel Horcas, Alexandru Burdusel, Steffen Zschaler
2022	J	`jnl`	Combining multiple granularity variability in a software product line approach for web engineering. Inf. Softw. Technol. José Miguel Horcas, Alejandro Cortiñas, Lidia Fuentes, Miguel R. Luaces
2022	—	`conf`	Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022). SPLC (A) José Miguel Horcas, Ángela Villota, David Benavides, Philippe Collet
2022	—	`ed.`	SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A SPLC (A) Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Wesley K. G. Assunção, Andreas A. Falkner, Maider Azanza, Miguel Á. Rodríguez Luaces, Megha Bhushan, Laura Semini, Xavier Devroey, Cláudia Maria Lima Werner, Christoph Seidl, Viet-Man Le, José Miguel Horcas
2022	—	`ed.`	SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume B SPLC (B) Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Wesley K. G. Assunção, Clément Quinton, Jianmei Guo, Klaus Schmid, Marianne Huchard, Inmaculada Ayala, José Miguel Rojas, Viet-Man Le, José Miguel Horcas
2022	—	`conf`	Variability in data visualization: a software product line approach. SPLC (A) José Miguel Horcas, José A. Galindo, David Benavides
2022	—	`conf`	Variability-aware data migration tool. SPLC (B) David Romero, José A. Galindo, José Miguel Horcas, David Benavides
2022	J	`jnl`	We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration. CoRR José Miguel Horcas, Daniel Strüber, Alexandru Burdusel, Jabier Martinez, Steffen Zschaler
2022	—	`conf`	We're not gonna break it!: consistency-preserving operators for efficient product line configuration. SPLC (A) José Miguel Horcas, Daniel Strüber, Alexandru Burdusel, Jabier Martinez, Steffen Zschaler
2021	—	`conf`	A first prototype of a new repository for feature model exchange and knowledge sharing. SPLC (B) David Romero, José A. Galindo, José Miguel Horcas, David Benavides
2021	—	`conf`	Monte Carlo tree search for feature model analyses: a general framework for decision-making. SPLC (A) José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
2020	J	`jnl`	Energy efficient adaptation engines for android applications. Inf. Softw. Technol. Angel Cañete, José Miguel Horcas, Inmaculada Ayala, Lidia Fuentes
2020	—	`conf`	Extensible and modular abstract syntax for feature modeling based on language constructs. SPLC (A) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2019	J	`jnl`	A goal-driven software product line approach for evolving multi-agent systems in the Internet of Things. Knowl. Based Syst. Inmaculada Ayala, Mercedes Amor, José Miguel Horcas, Lidia Fuentes
2019	J	`jnl`	Context-aware energy-efficient applications for cyber-physical systems. Ad Hoc Networks José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2019	—	`conf`	Software product line engineering: a practical experience. SPLC (A) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2018	J	`jnl`	Context-dependent reconfiguration of autonomous vehicles in mixed traffic. J. Softw. Evol. Process. José Miguel Horcas, Julien Monteil, Mélanie Bouroche, Mónica Pinto, Lidia Fuentes, Siobhán Clarke
2018	B	`conf`	Integrating the common variability language with multilanguage annotations for web engineering. SPLC José Miguel Horcas, Alejandro Cortiñas, Lidia Fuentes, Miguel R. Luaces
2018	C	`conf`	Model Driven Evolution of an Agent-Based Home Energy Management System. SoMeT Inmaculada Ayala, Mercedes Amor, José Miguel Horcas, Lidia Fuentes
2018	J	`jnl`	Variability models for generating efficient configurations of functional quality attributes. Inf. Softw. Technol. José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2017	—	`conf`	Extending the Common Variability Language (CVL) Engine: A practical tool. SPLC (B) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2017	—	`conf`	Green Configurations of Functional Quality Attributes. SPLC (A) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2017	—	`conf`	Self-Adaptive Energy-Efficent Applications: The HADAS Developing Approach. DASC/PiCom/DataCom/CyberSciTech José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Nadia Gámez
2016	J	`jnl`	A green program lifecycle supporting energy-efficient applications. CoRR Nadia Gámez, José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2016	J	`jnl`	An approach for deploying and monitoring dynamic security policies. Comput. Secur. José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Wissam Mallouli, Edgardo Montes de Oca
2016	J	`jnl`	An automatic process for weaving functional quality attributes using a software product line approach. J. Syst. Softw. José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2016	B	`conf`	Automatic Enforcement of Security Properties. TrustBus José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2016	B	`conf`	Product Line Architecture for Automatic Evolution of Multi-Tenant Applications. EDOC José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2016	—	`conf`	Towards contractual interfaces for reusable functional quality attribute operationalisations. MODULARITY (Companion) José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Steffen Zschaler
2016	—	`conf`	Towards the dynamic reconfiguration of quality attributes. MODULARITY (Companion) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2016	—	`conf`	Using Models at Runtime to Adapt Self-managed Agents for the IoT. MATES Inmaculada Ayala, José Miguel Horcas, Mercedes Amor, Lidia Fuentes
2015	B	`conf`	Dynamic Deployment and Monitoring of Security Policies. TrustBus José Miguel Horcas, Mónica Pinto, Lidia Fuentes, Wissam Mallouli, Edgardo Montes de Oca
2015	J	`jnl`	Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks. Sensors Mónica Pinto, Nadia Gámez, Lidia Fuentes, Mercedes Amor, José Miguel Horcas, Inmaculada Ayala
2014	C	`conf`	An Aspect-Oriented Model Transformation to Weave Security using CVL. MODELSWARD José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2014	B	`conf`	Closing the Gap between the Specification and Enforcement of Security Policies. TrustBus José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2014	—	`conf`	Injecting quality attributes into software architectures with the common variability language. CBSE José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2014	B	`conf`	Runtime Enforcement of Dynamic Security Policies. ECSA José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2013	C	`conf`	How to develop secure applications with Aspect-Oriented Programming. CRiSIS Mónica Pinto, José Miguel Horcas
2013	—	`conf`	Variability and Dependency Modeling of Quality Attributes. EUROMICRO-SEAA José Miguel Horcas, Mónica Pinto, Lidia Fuentes