Skip to content

Jos Miguel Horcas

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

29

Venues

9

Active years

2013–2025

Best venue rank

B

Where they publish

Papers

29 indexed papers, newest first.

YearVenueTitleAuthors
2025CoopISAutomated Synthesis of Kubernetes Variability from OpenAPI Schemas.Brian Flores, Jos Miguel Horcas, Mercedes Amor, Lidia Fuentes
2025SPLCExploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2025SPLCUVengine: A Universal Variability Resolution Engine for Feature Models Using Template-Based Artifacts.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2025SPLCThird Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem.Jos Miguel Horcas, Chico Sundermann, Malte Grave, Jos A. Galindo, Thomas Thm, Rick Rabiser, David Benavides
2023SPLCDevelopment and Evolution of Software Product Lines Driven by Stakeholder Beliefs.Lola Burgueo, Jos Miguel Horcas, Jrg Kienzle
2023SPLCFLAMA: A collaborative effort to build a new framework for the automated analysis of feature models.Jos A. Galindo, Jos Miguel Horcas, Alexander Felfernig, David Fernndez-Amors, David Benavides
2023SPLCElimination of constraints for parallel analysis of feature models.Jos Miguel Horcas, Joaqun Ballesteros, Mnica Pinto, Lidia Fuentes
2022SPLCWe're not gonna break it!: consistency-preserving operators for efficient product line configuration.Jos Miguel Horcas, Daniel Strber, Alexandru Burdusel, Jabier Martinez, Steffen Zschaler
2022SPLCVariability in data visualization: a software product line approach.Jos Miguel Horcas, Jos A. Galindo, David Benavides
2022SPLCUntitled recordJos Miguel Horcas, Jos Angel Galindo, Mnica Pinto, Lidia Fuentes, David Benavides
2022SPLCFifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022).Jos Miguel Horcas, ngela Villota, David Benavides, Philippe Collet
2022SPLCAcapulco: an extensible tool for identifying optimal and consistent feature model configurations.Jabier Martinez, Daniel Strber, Jos Miguel Horcas, Alexandru Burdusel, Steffen Zschaler
2022SPLCVariability-aware data migration tool.David Romero, Jos A. Galindo, Jos Miguel Horcas, David Benavides
2021SPLCMonte Carlo tree search for feature model analyses: a general framework for decision-making.Jos Miguel Horcas, Jos A. Galindo, Ruben Heradio, David Fernndez-Amors, David Benavides
2021SPLCA first prototype of a new repository for feature model exchange and knowledge sharing.David Romero, Jos A. Galindo, Jos Miguel Horcas, David Benavides
2020SPLCExtensible and modular abstract syntax for feature modeling based on language constructs.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2019SPLCSoftware product line engineering: a practical experience.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2018SoMeTModel Driven Evolution of an Agent-Based Home Energy Management System.Inmaculada Ayala, Mercedes Amor, Jos Miguel Horcas, Lidia Fuentes
2018SPLCIntegrating the common variability language with multilanguage annotations for web engineering.Jos Miguel Horcas, Alejandro Cortias, Lidia Fuentes, Miguel R. Luaces
2017DASCSelf-Adaptive Energy-Efficent Applications: The HADAS Developing Approach.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes, Nadia Gmez
2017SPLCGreen Configurations of Functional Quality Attributes.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2017SPLCExtending the Common Variability Language (CVL) Engine: A practical tool.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2016EDOCProduct Line Architecture for Automatic Evolution of Multi-Tenant Applications.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2016TrustBusAutomatic Enforcement of Security Properties.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2015TrustBusDynamic Deployment and Monitoring of Security Policies.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes, Wissam Mallouli, Edgardo Montes de Oca
2014ECSARuntime Enforcement of Dynamic Security Policies.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2014MODELSWARDAn Aspect-Oriented Model Transformation to Weave Security using CVL.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2014TrustBusClosing the Gap between the Specification and Enforcement of Security Policies.Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes
2013CRiSISHow to develop secure applications with Aspect-Oriented Programming.Mnica Pinto, Jos Miguel Horcas