How to develop secure applications with Aspect-Oriented Programming. - Mónica Pinto; José Miguel Horcas (CRiSIS, 2013)

Variability and Dependency Modeling of Quality Attributes. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (EUROMICRO-SEAA, 2013)

Injecting quality attributes into software architectures with the common variability language. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (CBSE, 2014)

Runtime Enforcement of Dynamic Security Policies. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (ECSA, 2014)

An Aspect-Oriented Model Transformation to Weave Security using CVL. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (MODELSWARD, 2014)

Closing the Gap between the Specification and Enforcement of Security Policies. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (TrustBus, 2014)

Dynamic Deployment and Monitoring of Security Policies. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes; Wissam Mallouli; Edgardo Montes de Oca (TrustBus, 2015)

Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks. - Mónica Pinto; Nadia Gámez; Lidia Fuentes; Mercedes Amor; José Miguel Horcas; Inmaculada Ayala (Sensors, 2015)

Addendum: Pinto, M.; Gámez, N.; Fuentes, L.; Amor, M.; Horcas, J.M.; Ayala, I. Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks. Sensors 2015, 15, 5251-5280. - Mónica Pinto; Nadia Gámez; Lidia Fuentes; Mercedes Amor; José Miguel Horcas; Inmaculada Ayala (Sensors, 2015)

Towards the dynamic reconfiguration of quality attributes. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (MODULARITY (Companion), 2016)

Towards contractual interfaces for reusable functional quality attribute operationalisations. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes; Steffen Zschaler (MODULARITY (Companion), 2016)

Product Line Architecture for Automatic Evolution of Multi-Tenant Applications. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (EDOC, 2016)

Using Models at Runtime to Adapt Self-managed Agents for the IoT. - Inmaculada Ayala; José Miguel Horcas; Mercedes Amor; Lidia Fuentes (MATES, 2016)

Automatic Enforcement of Security Properties. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (TrustBus, 2016)

An approach for deploying and monitoring dynamic security policies. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes; Wissam Mallouli; Edgardo Montes de Oca (Comput. Secur., 2016)

A green program lifecycle supporting energy-efficient applications. - Nadia Gámez; José Miguel Horcas; Mónica Pinto; Lidia Fuentes (CoRR, 2016)

An automatic process for weaving functional quality attributes using a software product line approach. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (J. Syst. Softw., 2016)

Self-Adaptive Energy-Efficent Applications: The HADAS Developing Approach. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes; Nadia Gámez (DASC/PiCom/DataCom/CyberSciTech, 2017)

Green Configurations of Functional Quality Attributes. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (SPLC (A), 2017)

Extending the Common Variability Language (CVL) Engine: A practical tool. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (SPLC (B), 2017)

Model Driven Evolution of an Agent-Based Home Energy Management System. - Inmaculada Ayala; Mercedes Amor; José Miguel Horcas; Lidia Fuentes (SoMeT, 2018)

Integrating the common variability language with multilanguage annotations for web engineering. - José Miguel Horcas; Alejandro Cortiñas 001; Lidia Fuentes; Miguel R. Luaces (SPLC, 2018)

Variability models for generating efficient configurations of functional quality attributes. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (Inf. Softw. Technol., 2018)

Context-dependent reconfiguration of autonomous vehicles in mixed traffic. - José Miguel Horcas; Julien Monteil; Mélanie Bouroche; Mónica Pinto; Lidia Fuentes; Siobhán Clarke (J. Softw. Evol. Process., 2018)

Software product line engineering: a practical experience. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (SPLC (A), 2019)

Context-aware energy-efficient applications for cyber-physical systems. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (Ad Hoc Networks, 2019)

A goal-driven software product line approach for evolving multi-agent systems in the Internet of Things. - Inmaculada Ayala; Mercedes Amor; José Miguel Horcas; Lidia Fuentes (Knowl. Based Syst., 2019)

Extensible and modular abstract syntax for feature modeling based on language constructs. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (SPLC (A), 2020)

Energy efficient adaptation engines for android applications. - Angel Cañete; José Miguel Horcas; Inmaculada Ayala; Lidia Fuentes (Inf. Softw. Technol., 2020)

Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems. - José Miguel Horcas Aguilera; Antonio Germán Márquez; José A. Galindo; David Benavides 001 (ConfWS, 2021)

Monte Carlo tree search for feature model analyses: a general framework for decision-making. - José Miguel Horcas; José A. Galindo; Ruben Heradio; David Fernández-Amorós; David Benavides 001 (SPLC (A), 2021)

A first prototype of a new repository for feature model exchange and knowledge sharing. - David Romero 002; José A. Galindo; José Miguel Horcas; David Benavides 001 (SPLC (B), 2021)

We're not gonna break it!: consistency-preserving operators for efficient product line configuration. - José Miguel Horcas; Daniel Strüber 001; Alexandru Burdusel; Jabier Martinez; Steffen Zschaler (SPLC (A), 2022)

Variability in data visualization: a software product line approach. - José Miguel Horcas; José A. Galindo; David Benavides 001 (SPLC (A), 2022)

FM fact label: a configurable and interactive visualization of feature model characterizations. - José Miguel Horcas; José Angel Galindo; Mónica Pinto; Lidia Fuentes; David Benavides 001 (SPLC (B), 2022)

Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022). - José Miguel Horcas; Ángela Villota; David Benavides 001; Philippe Collet (SPLC (A), 2022)

Acapulco: an extensible tool for identifying optimal and consistent feature model configurations. - Jabier Martinez; Daniel Strüber 001; José Miguel Horcas; Alexandru Burdusel; Steffen Zschaler (SPLC (B), 2022)

Variability-aware data migration tool. - David Romero 002; José A. Galindo; José Miguel Horcas; David Benavides 001 (SPLC (B), 2022)

Combining multiple granularity variability in a software product line approach for web engineering. - José Miguel Horcas; Alejandro Cortiñas 001; Lidia Fuentes; Miguel R. Luaces (Inf. Softw. Technol., 2022)

Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs. - Lola Burgueño; José Miguel Horcas; Jörg Kienzle (SPLC (A), 2023)

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. - José A. Galindo; José Miguel Horcas; Alexander Felfernig; David Fernández-Amorós; David Benavides 001 (SPLC (B), 2023)

Elimination of constraints for parallel analysis of feature models. - José Miguel Horcas; Joaquín Ballesteros; Mónica Pinto; Lidia Fuentes (SPLC (A), 2023)

A Monte Carlo tree search conceptual framework for feature model analyses. - José Miguel Horcas; José A. Galindo; Ruben Heradio; David Fernández-Amorós; David Benavides 001 (J. Syst. Softw., 2023)

A modular metamodel and refactoring rules to achieve software product line interoperability. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (J. Syst. Softw., 2023)

Empirical analysis of the tool support for software product lines. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (Softw. Syst. Model., 2023)

FMSans artifact. - José Miguel Horcas; Joaquín Ballesteros; Mónica Pinto; Lidia Fuentes (Zenodo, 2023)

Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool. - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas Aguilera; José A. Galindo; David Benavides 001; Lidia Fuentes (SPLC (A), 2024)

Open Science principles in software product lines: The case of the UVL ecosystem. - José A. Galindo; David Romero-Organvidez; Megha Bhushan; José Miguel Horcas Aguilera; David Benavides 001 (SPLC (A), 2024)

Variability in data transformation: towards data migration product lines. - David Romero-Organvidez; David Benavides 001; José Miguel Horcas; María Teresa Gómez-López (VaMoS, 2024)

UVLHub: A feature model data repository using UVL and open science principles. - David Romero-Organvidez; José A. Galindo; Chico Sundermann; José Miguel Horcas; David Benavides 001 (J. Syst. Softw., 2024)

Data visualization guidance using a software product line approach. - David Romero-Organvidez; José Miguel Horcas; José A. Galindo; David Benavides 001 (J. Syst. Softw., 2024)

Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool". - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas; José A. Galindo; David Benavides 001; Lidia Fuentes (Zenodo, 2024)

Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool". - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas; José A. Galindo; David Benavides 001; Lidia Fuentes (Zenodo, 2024)

jmhorcas/fm_characterization: FM Fact Label v1.0.0. - José Miguel Horcas; José A. Galindo; Lidia Fuentes; David Benavides 001 (Zenodo, 2024)

KubernetesFM v1.0.0. - José Miguel Horcas Aguilera; María Mercedes Amor Pinilla; Lidia Fuentes (Zenodo, 2024)

Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (SPLC (A), 2025)

UVengine: A Universal Variability Resolution Engine for Feature Models Using Template-Based Artifacts. - José Miguel Horcas; Mónica Pinto; Lidia Fuentes (SPLC (B), 2025)

Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem. - José Miguel Horcas; Chico Sundermann; Malte Grave; José A. Galindo; Thomas Thüm; Rick Rabiser; David Benavides 001 (SPLC (A), 2025)

The Kubernetes variability model: Synthesizing variability from the K8s API Documentation: A case study. - José Miguel Horcas; Mercedes Amor Pinilla; Lidia Fuentes (VaMoS, 2025)

Pragmatic random sampling of Kconfig-based systems: A unified approach. - David Fernández-Amorós; Ruben Heradio; José Miguel Horcas; José A. Galindo; David Benavides 001; Lidia Fuentes (J. Syst. Softw., 2025)

Leveraging belief uncertainty for informed decision making in software product line evolution. - José Miguel Horcas; Lola Burgueño; Jörg Kienzle (J. Syst. Softw., 2025)

FMSans: An efficient approach for constraints removal and parallel analysis of feature models. - José Miguel Horcas; Joaquín Ballesteros; Mónica Pinto; Lidia Fuentes (J. Syst. Softw., 2025)

FM fact label. - José Miguel Horcas; José A. Galindo; Lidia Fuentes; David Benavides 001 (Sci. Comput. Program., 2025)