Óscar
Rodríguez Polo
Profesor/a Titular Universidad
Tesi doctoral
-
Generador automático de código para sistemas de control en tiempo real basado en la metodología room 2003
Universidad Complutense de Madrid
Tesis dirigides (3)
-
Proceso de verificación y validación de software embarcado en satélite: una estrategia basada en propiedades de composición 2016
Universidad de Alcalá
FERNÁNDEZ SALGADO, JAVIER
-
Integración de tecnologías de desarrollo y análisis basadas en componentes bajo un enfoque multi-plataforma 2012
Universidad de Alcalá
-
Aportaciones al diseño de unidades de procesamiento de datos para aplicaciones espaciales mediante el empleo FPGAs 2012
Universidad de Alcalá
GUZMÁN GARCÍA, DAVID
Tribunals de tesi (4)
-
Vocal del tribunal
Integrated system architecture for internet of things model-driven design with applications in medicine 2021Universidad Complutense de Madrid
Henares Vilaboa, Kevin
-
Secretari del tribunal
Nuevas técnicas de inyección de fallos en sistemas embebidos mediante el uso de modelos virtuales descritos en el nivel de transacción 2015Universidad de Alcalá
-
Vocal del tribunal
Reducción del consumo de potencia en unidades funcionales mediante cotejo de códigos de operación 2009Universidad Complutense de Madrid
Miñana, Guadalupe
-
Secretari del tribunal
Método de diseño y priorización de casos de pruebas a partir de especificaciones UML 2007Universidad de Alcalá
Lara Bercial, Pedro José