José Miguel Horcas Aguilera
Español

Academic Supervision (19)

2029
⚠️ (On progress) Automated Synthesis and Security Verification of Highly Configurable Systems: A Focus on Cloud-Native Infrastructures
🧑‍🎓 Brian Alexander Flores López 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga
2027
⚠️ (On progress) Herramientas para el Cómputo del Backbone de un Modelo de Variabilidad
🧑‍🎓 Luis Cambelo 🧑‍🏫 Rubén Heradio, José Miguel Horcas
UNED • Universidad de Málaga
2026
Automatic generation of customized websites for scientific conferences
🎓 8.7
🧑‍🎓 Eric Stridh Fernández 🧑‍🏫 José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
Modelado y evaluación de configuraciones de seguridad en sistemas declarativos
🎓 9.5
🧑‍🎓 Brian Alexander Flores López 🧑‍🏫 José Antonio Álvarez Bermejo, José Miguel Horcas
Universidad de Almería 📚 Máster en Tecnologías y Aplicaciones en Ingeniería Informática
2025
Capturing and Exploiting Design Pattern Variability in Mobile Application Generation
🎓 9.6
🧑‍🎓 Ramón Alberto Peralta 🧑‍🏫 José Miguel Horcas
Universidad San Jorge 📚 Máster Universitario en Tecnologías Software Avanzadas para Dispositivos Móviles
📄 https://arxiv.org/abs/2607.15099
Aplicación móvil para la recomendación de destinos turísticos y actividades en la naturaleza
🎓 8.6
🧑‍🎓 Johan De La Cruz 🧑‍🏫 José Miguel Horcas
Universidad San Jorge 📚 Máster Universitario en Tecnologías Software Avanzadas para Dispositivos Móviles
Reverse engineering of variability models in a highly configurable commercial product line: Magic The Gathering
🎓 8.5
🧑‍🎓 Manuel Rubiales Sancho 🧑‍🏫 José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
Development of an open-source platform for bibliographic citation management
🎓 7.0
🧑‍🎓 Antonio Ortega Santaolalla 🧑‍🏫 José Miguel Horcas, Laura Panizo
Universidad de Málaga 📚 Grado en Ingeniería del Software
Análisis y desarrollo de aplicación móvil para la gestión de turnos
🎓 7.1
🧑‍🎓 Radeluis Ismael Sánchez de los Santos 🧑‍🏫 José Miguel Horcas
Universidad San Jorge 📚 Máster Universitario en Tecnologías Software Avanzadas para Dispositivos Móviles
2024
Automatic generation of configuration files for deploying services in Docker
🎓 9.0
🧑‍🎓 Marcos Domínguez Moreno 🧑‍🏫 José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
NutriRest: Web Application for Restaurant Menus with a Personalised Nutritional Approach
🎓 8.5
🧑‍🎓 Claudia Vega Rodríguez 🧑‍🏫 Laura Panizo, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería de la Salud
FM Fact Label 2.0: Development of advanced features for the visualization of feature models metrics
🎓 9.6
🧑‍🎓 Ángela Pérez de Guzmán de Miguel 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería del Software
📄 http://hdl.handle.net/10630/38233
Online repository and editor for variability models in UVL format
🎓 8.5
🧑‍🎓 Miguel Gómez Vera 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
Flavor Insights: Ingredient Evaluation for a Healthier Life
🎓 7.8
🧑‍🎓 Miguel Ángel Ruiz Villarrazo 🧑‍🏫 José Miguel Horcas, Laura Panizo
Universidad de Málaga 📚 Grado en Ingeniería de la Salud
Videos docentes para complementar el aprendizaje de C++ en los grados universitarios
🎓 5.5
🧑‍🎓 Álvaro Gómez García 🧑‍🏫 Lola Burgueño, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería en Tecnologías Industriales
2023
Biblioteca de transformaciones de modelos de características para gestionar la variabilidad de familias de productos software
🎓 9.6
🧑‍🎓 Adriana Novoa Hurtado 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería de la Salud
📄 http://hdl.handle.net/10630/30619
2021
Variability model generation with customized expressivity by model transformation
🎓 7.5
🧑‍🎓 Miguel de la Morena Pérez 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Máster en Ingeniería del Software e Inteligencia Artificial
2020
Green software with agile methods and its relationship with information technology services and regulated software
🎓 6.5
🧑‍🎓 Teresa de Jesús Narváez Narváez 🧑‍🏫 Mónica Pinto, José Miguel Horcas
Universidad de Málaga 📚 Máster en Ingeniería del Software e Inteligencia Artificial
2017
Dynamic and Ecoefficient Weaver for Android Code
🎓 9.5
🧑‍🎓 Ángel Jesús Cañete Valverde 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Máster Universitario en Ingeniería Informática