Academic Supervision (21)
2029
⚠️ (On progress)
Automated Synthesis and Security Verification of Highly Configurable Systems: A Focus on Cloud-Native Infrastructures
2027
⚠️ (On progress)
Herramientas para el Cómputo del Backbone de un Modelo de Variabilidad
2026
Implementation of MCP servers for generation and validation of UVL variability models using LLMs
🎓
9.5
FacturAI: Accounting Process Automation using Artificial Intelligence
🎓
9.0
Automatic generation of customized websites for scientific conferences
🎓
8.7
Modelado y evaluación de configuraciones de seguridad en sistemas declarativos
🎓
9.5
2025
Capturing and Exploiting Design Pattern Variability in Mobile Application Generation
🎓
9.6
Aplicación móvil para la recomendación de destinos turísticos y actividades en la naturaleza
🎓
8.6
Reverse engineering of variability models in a highly configurable commercial product line: Magic The Gathering
🎓
8.5
Development of an open-source platform for bibliographic citation management
🎓
7.0
Análisis y desarrollo de aplicación móvil para la gestión de turnos
🎓
7.1
2024
Automatic generation of configuration files for deploying services in Docker
🎓
9.0
NutriRest: Web Application for Restaurant Menus with a Personalised Nutritional Approach
🎓
8.5
FM Fact Label 2.0: Development of advanced features for the visualization of feature models metrics
🎓
9.6
Online repository and editor for variability models in UVL format
🎓
8.5
Flavor Insights: Ingredient Evaluation for a Healthier Life
🎓
7.8
Videos docentes para complementar el aprendizaje de C++ en los grados universitarios
🎓
5.5
2023
Biblioteca de transformaciones de modelos de características para gestionar la variabilidad de familias de productos software
🎓
9.6
2021
Variability model generation with customized expressivity by model transformation
🎓
7.5
2020
Green software with agile methods and its relationship with information technology services and regulated software
🎓
6.5
2017
Dynamic and Ecoefficient Weaver for Android Code
🎓
9.5