Ph.D. in Software and Systems

Research

Research Groups and Lines

The lines of research supporting this programme, including the Master and PhD in Software and Systems, are lines that are being pursued by the research groups of which programme academic personnel are members. All these research groups, listed below, are long-term initiatives and have been officially recognized by the UPM.

Theses defended as part of Department PhD programmes

2015

Theses defended as part of the Department PhD programme in 2015
Title Author Supervisor/s
Extending the Expressivennes of Fuzzy Logic Languages PABLOS CERUELO, Víctor MUÑOZ HERNÁNDEZ, Susana
Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Cocurrent Data Structures SÁNCHEZ, Alejandro SÁNCHEZ SÁNCHEZ, César
Estudios y Herramientas para la Evaluación y la Mejora de la Motivación en la Ingeniería del Software LÓPEZ FERNÁNDEZ, Daniel ALARCÓN CAVERO, Pedro Pablo;
TOVAR CARO, Edmundo

2014

Theses defended as part of the Department PhD programme in 2014
Title Author Supervisor/s
Identificación Empírica de Beneficios de Usabilidad AVELEDO MAYZ, Marianella MORENO SÁNCHEZ-CAPUCHINO, Ana María
Metamodelo para la Definición de Metodologías de Desarrollo Software Centradas en Documentos y la Mejora de la Calidad de la Documentación Software BOLLAÍN PÉREZ, Manuel CALVO-MANZANO VILLALÓN, José Antonio;
ALARCÓN CAVERO, Pedro Pablo
Conceptualización e Infraestructura para la Investigación Experimental en Ingeniería del Software FONSECA CARRERA, Efraín Rodrigo DIESTE TUBÍO, Óscar;
JURISTO JUZGADO, Natalia
Operational Aspects of Full-Reduction in Lambda Calculi GARCÍA PÉREZ, Álvaro MORENO NAVARRO, Juan José;
NOGUEIRA IGLESIAS, Pablo
Gestión de Configuración y Línea de Productos para Mejorar el Proceso Experimental en Ingeniería del Software ESPINOSA GALLARDO, Edison Gonzalo JURISTO JUZGADO, Natalia
Approximate Relational Reasoning for Probabilistic Programs OLMEDO, Federico BARTHE, Gilles
Evaluación para el Aprendizaje en la Asignatura Sistemas Operativos en Modalidad Online: Un Estudio Cualitativo Basado en la Taxonomía de Bloom PAMPLONA ROCHE, Sonia MEDINILLA MARTÍNEZ, Nelson
Obtención y Uso de Patrones para la Implementación de Funcionalidades de Usabilidad en Aplicaciones Web RODRÍGUEZ TIBOCHA, Francy Diomar JURISTO JUZGADO, Natalia;
ACUÑA CASTILLO, Silvia Teresita
Propuesta de una Metodología para Provisión de Servicios de Outsourcing de TI SÁENZ MARCILLA, Javier CALVO-MANZANO VILLALÓN, José Antonio
Caracterización de Sistemas Intensivos en Software desde un Punto de Vista de Innovación (Characterizing Software-Intensive Systems from the Innovation Point of View) YAGÜE PANADERO, Agustín GARBAJOSA SOPEÑA, Juan
Identificación Empírica de Beneficios de Usabilidad AVELEDO MAYZ, Marianella MORENO SÁNCHEZ-CAPUCHINO, Ana María
Propuesta de una Metodología para Provisión de Servicios de Outsourcing de TI SÁENZ MARCILLA, Francisco Javier CALVO-MANZANO VILLALÓN, Josá Antonio
Evaluación para el Aprendizaje en la Asignatura Sistemas Operativos en Modalidad Online: Un Estudio Cualitativo Basado en la Taxonomia De Bloom PAMPLONA ROCHE, Sonia MEDINILLA MARTÍNEZ, Nelson
Extending the Expressivennes of Fuzzy Logic Languages PABLOS CERUELO, Víctor MUÑOZ HERNÁNDEZ, Susana
Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Cocurrent Data Structures SÁNCHEZ, Alejandro SÁNCHEZ SÁNCHEZ, César
Estudios y Herramientas para la Evaluación y la Mejora de la Motivación en la Ingeniería Del Software LÓPEZ FERNÁNDEZ, Daniel ALARCÓN CAVERO, Pedro Pablo;
TOVAR CARO, Edmundo

2013

Theses defended as part of the Department PhD programme in 2013
Title Author Supervisor/s
Estructuras, Procesos e Indicadores para Gestionar el Proceso de la Demanda Estratégica en las TI AGUILAR ALONSO, Igor Jovino CARRILLO VERDÚN, José Domingo
Algoritmos de Agrupación para Flujos de Datos en Entornos Centralizados y Distribuidos CALLAU ZORI, María del Mar JIMÉNEZ PERIS, Ricardo
Tolerancia a fallos en Cloud computing para Sistemas Críticos DÍEZ GONZÁLEZ, Óscar Manuel SILVA VÁZQUEZ, Andrés
Un Modelo de Encaminamiento en Redes Móviles Ad-Hoc con QoS ENCISO QUISPE, Liliana Elvira MENGUAL GALÁN, Luis
Marco de Gobernanza de TI para Empresas PYMES - SMESITGF GARBARINO ALBERTI, Helena CARRILLO VERDÚN, José Domingo;
COLOMO PALACIOS, Ricardo
Metamodelo para la Definición, Implantación y Mejora de los Procesos de Gestión de Proyectos GARCÍA PACHECO, Iván Antonio CALVO-MANZANO VILLALÓN, José Antonio;
SAN FELIU GILABERT, Tomás
A Decision Model for it Supplier Selection GONCALVES GROSSI, Lucas CALVO-MANZANO VILLALÓN, José Antonio
Analysis of Service-Oriented Computing Systems IVANOVIC, Dragan CARRO LIÑARES, Manuel
Termination and Cost Analysis: Complexity and Precision Issues Md. Abu Naser, Masud PUEBLA SANCHEZ, Álvaro Germán;
GENAIM, Samir
Generación de Casos de Prueba en Programación Orientada a Objetos ROJAS SILES, José Miguel ALBERT ALBIOL, Elvira;
GÓMEZ-ZAMALLOA GIL, Miguel
Improving Collaborative Filtering Based Recommender Systems Using Pareto Dominance SÁNCHEZ SÁNCHEZ, José Luis BOBADILLA SANCHO, Jesús
Metamodelo para la mejora del proceso de Gestión de Requisitos SERRANO RICO, Edgar Ariel CUEVAS AGUSTÍN, Gonzalo;
CALVO-MANZANO VILLALÓN, José Antonio
Medidas de Calidad para Software Orientado a Agentes SOZA POLLMAN, Héctor Juan FUERTES CASTRO, José Luis;
MARTÍNEZ NORMAND, Loïc A.
Una Arquitectura Cognitiva para Agentes Sociales en Entornos Cooperativos Complejos SPINOLA DE FREITAS, Jackeline IMBERT PAREDES, Ricardo
Metodología para el Aseguramiento de la Calidad en la Adquisición del Software (Proceso y Producto) y Servicios Correlacionados. (MACAS-PP) VEGA ZEPEDA, Vianca Rosa CALVO-MANZANO VILLALÓN, José Antonio

2012

Theses defended as part of the Department PhD programme in 2012
Title Author Supervisor/s
Procesamiento y Almacenamiento Distribuido de Imágenes Basados en Grafos: Aplicación para Recuperación de Información en Imágenes Muy Grandes ALONSO CALVO, Raúl CRESPO DEL ARCO, José
Usability-Oriented Software Development Process CARVAJAL GARCÍA, Laura Elena MORENO SÁNCHEZ-CAPUCHINO, Ana María;
SÁNCHEZ SEGURA, Mª Isabel
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos CHICO DE GUZMAN HUERTA, Pablo CARRO LIÑARES, Manuel;
DE HERMENEGILDO SALINAS, Manuel
Agile Construction and Evolution of Product-Line Architectures DIAZ FERNÁNDEZ, Yésica GARBAJOSA SOPEÑA, Juan;
PÉREZ BENEDÍ, Jenifer
Relational and Allegorical Semantics for Constraint Logic Programming GALLEGO ARIAS, Emilo Jesús MARIÑO CARBALLO, Julio;
LIPTON, James
Tipología de Replicaciones para la Síntesis de Experimentos en Ingeniería del Software GÓMEZ GÓMEZ, Omar Salvador JURISTO JUZGADO, Natalia;
VEGAS HERNÁNDEZ, Sira
Streamcloud: An Elastic Parallel-Distributed Stream Processing Engine GULISANO, Vincenzo Massimiliano JIMENEZ PERIS , Ricardo;
VALDURIEZ, Patrick
Técnicas para la Estimación y Planificación de Proyectos de Software con Ciclos de Vida Incremental y Paradigma Orientado a Objetos POW SANG PORTILLO, José Antonio IMBERT PAREDES, Ricardo;
MORENO SÁNCHEZ-CAPUCHINO, Ana María
Advanced Topics en Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity ROMÁN DÍEZ, Guillermo PUEBLA SÁNCHEZ, Álvaro Germán;
ALBERT ALBIOL, Elvira
Algoritmos de Cálculo de Vectores de Prioridad a partir de Matrices de Comparación por Pares Imprecisas RUIZ-TAGLE MOLINA, Jorge Mauricio DOPAZO GONZÁLEZ, Esther
Propuesta de Paquete de Laboratorio para Experimentos de Ingeniería de Software SOLARI BUELA, Martín VEGAS HERNÁNDEZ, Sira;
JURISTO JUZGADO, Natalia
Contribución a los Modelos de Gestión de las Redes Móviles Ad Hoc TORRES TANDAZO, Rommel MENGUAL GALÁN, Luis
Mejora del Autocuidado de Pacientes Diabéticos en Zonas Rurales de Panamá a través de Tecnologías TIC VARGAS LOMBARDO, Miguel MENASALVAS RUIZ, Ernestina;
VILLALBA MORA, Elena
Adapting Autonomously Classification Data Mining Algorithms for Ubiquitous Devices ZANDA, Andrea MENASALVAS RUIZ, Ernestina;
EIBE GARCÍA, Santiago

2011

Theses defended as part of the Department PhD programme in 2011
Title Author Supervisor/s
Learning Recurring Concepts From Data Streams In Ubiquitous BÁRTOLO GOMES, João MENASALVAS RUIZ, Ernestina;
COSTA SOUSA, Pedro Alexandre
MEDEPRO: Método para el Despliegue Eficiente de Procesos Definidos y Medidos en Múltiples Organizaciones con CMMI BAYONA ORÉ, Luz Sussy GONZALO CUEVAS, Agustín;
SAN FELIÚ GILABERT, Tomás
Una Propuesta de Modelado del Estudiante Basada en Ontologías y Diagnóstico Pedagógico-Cognitivo No Monótono CLEMENTE PÁRRAGA, Julia Mª DE ANTONIO JIMÉNEZ, Angélica;
RAMÍREZ RODRÍGUEZ, Jaime
Propuesta de Formalismos para la Creación de un Sistema de Composición Semántico Centrado en el Usuario para el Desarrollo de Aplicaciones Composicionales Basadas en Servicios FERNÁNDEZ GALLEGO, Rafael LÓPEZ GÓMEZ, Genoveva;
SORIANO CAMINO, Francisco Javier
An Object-Oriented Formal Notation: Executable Specifications in Clay HERRANZ NIEVA, Ángel MARIÑO CARBALLO, Julio
Marco de Descubrimiento de Conocimiento para Datos Estructuralmente Complejos con Énfasis en el Ánalisis de Eventos en Series Temporales LARA TORRALBO, Juan Alfonso PÉREZ PÉREZ, Aurora;
CARAÇA-VALENTE HERNÁNDEZ, Juan Pedro
Efficient Information Reconciliation for Quantum Key Distribution MARTÍNEZ MATEO, Jesús MARTÍN AYUSO, Vicente
Un Proceso para la Evaluación del Entrenamiento Organizacional MATALONGA MOTTA, Santiago SAN FELIU GILABERT, Tomás
Modular and Field-Sensitive Termination Analysis of Java Bytecode RAMIREZ DEANTES, Diana Vanessa PUEBLA SÁNCHEZ, Álvaro Germán
Arquitectura Híbrida para Sistemas Cognitivos Artificiales con Comportamiiento Emergente, Adaptativo y Auto-Organizado ROMERO LÓPEZ, Óscar Javier DE ANTONIO JIMÉNEZ, Angélica
Modelo de Descubrimiento de Conocimiento para Series Temporales Numéricas Aplicando Métodos Simbólicos SANTAMARÍA FALCÓN, Agustín CARAÇA-VALENTE HERNÁNDEZ, Juan Pedro;
PÉREZ PÉREZ, Aurora
Propuesta de Adaptacion para las Interfaces de Usuario Mediante Computación Evolutiva VÉLEZ LANGS, Oswaldo Enrique DE ANTONIO JIMÉNEZ, Angélica

2010

Theses defended as part of the Department PhD programme in 2010
Title Author Supervisor/s
Metodología de Gestión de Riesgos para la Adquisición de Software en Pequeños Entornos: MEGRIAD GASCA HURTADO, Gloria GONZALO CUEVAS, Agustín;
SAN FELIÚ GILABERT, Tomás
Formalización del Paradigma de Desarrollo de Soluciones Software por sus Usuarios Finales LIZCANO CASAS, David ALONSO AMO, Fernando;
SORIANO CAMINO, Francisco Javier
Propuesta de Arquitectura para Incluir a las Simulaciones en los Sistemas de E-Learning: Una Extensión al Modelo SCORM MADRIGAL ALFARO, Dª Zayra DE ANTONIO JIMÉNEZ, Angélica;
RAMÍREZ RODRÍGUEZ, Jaime
Modelo para la Gestión del Conocimiento y la Experiencia Integrada a las Practicas y Procesos de Desarrollo Software MATTURRO MAZONI, Gerardo SILVA VÁZQUEZ, Andrés
Marco para el Gobierno de la Externalización del Proceso de Desarrollo del Software a Través de la Ingeniería del Contrato MEJÍA MIRANDA, Jezreel CUEVAS AGUSTÍN, Gonzalo;
CALVO-MANZANO VILLALÓN, José Antonio
Advanced Compilation Techniques for Logic Programming MORALES CABALLERO, José Francisco CARRO LIÑARES, Manuel;
HERMENEGILDO SALINAS, Manuel
MIGME-RCC: Metodología para la Implementación Gradual de Mejoras, con un Enfoque en la Reducción de la Resistencia al Cambio: Aplicación a la Gestión de Proyectos MUÑOZ MATA, Mirna Ariadna GONZALO CUEVAS, Agustín;
SAN FELIÚ GILABERT, Tomás
Modelo de Aprendizaje para Entornos Distribuidos Colaborativos PALETTA NANNARONE, Mauricio HERRERO MARTÍN, Pilar
CAM-ODL: A Semantic Collaborative Awareness Model for Web Agents SALVADORES OLAIZOLA, Manuel HERRERO MARTÍN, Pilar
High Performance and High Available Database Replication SERRANO GARCÍA, Damián PATIÑO MARTÍNEZ, Marta

2009

Theses defended as part of the Department PhD programme in 2009
Title Author Supervisor/s
Marco para la Sección de Técnicas de Educción de Requisitos CARRIZO MORENO, Dante Hugo JURISTO JUZGADO, Natalia;
DIESTE TUBÍO, Óscar
An Advanced Traceability Schema as a Baseline to Improve Supporting Lifecycle Processes ) ESPINOZA LIMÓN, Angelina GARBAJOSA SOPEÑA, Juan
Metodología para la Definición de Requisitos en Proyectos de Data Mining (ER-DM) GALLARDO ARANCIBIA, José Alberto MARBAN GARCÍA, Oscar
Propuesta de Formalismos para la Especificación y Automatización de Adaptaciones de Aplicaciones Web Móviles en base al Contexto JIMÉNEZ GAÑÁN, Miguel SORIANO CAMINO, Francisco Javier;
LÓPEZ GÓMEZ, Genoveva
La Conciencia: Modelado de sus funciones cognitivas para entidades artificiales mediante redes neuronales modulares MARTÍNEZ LUACES, Milton RODRIGUEZ PATON, Alfonso
Modelo para Detectar la Colaboración en Entornos 3D orientado a la Mejora de la Enseñanza Basada en un Tutor Virtual PEÑA PÉREZ NEGRÓN, Adriana DE ANTONIO JIMÉNEZ, Angélica
Middleware for High-Available and Scalable Multi-Tier and Service-Oriented Architectures PÉREZ SORROSAL, Francisco PATIÑO MARTÍNEZ, Marta
Inclusión de Información de Dominio en Modelos de Clustering Basados en Densidad para Datos Estáticos y Data Streams RUIZ MORENO, Carlos MENASALVAS RUIZ, Ernestina;
SPILIOPOULOU, Myra

2008

Theses defended as part of the Department PhD programme in 2008
Title Author Supervisor/s
Entrenamiento de Grupos: Una estrategia Asistida por Entornos Virtuales Inteligentes AGUILAR VERA, Raúl Antonio ANTONIO JIMÉNEZ, Angélica de
Especificación de un Modelo de Interacción Aplicable a Procesos de Desarrollo y Operaciones de Sistemas con Software ALARCÓN CAVERO, Pedro Pablo GARBAJOSA SOPEÑA, Juan
Analysis and Verification of Modular Programs CORREAS FERNANDEZ, Jesús PUEBLA SÁNCHEZ, Germán
Elementos para el Análisis de Métodos de Ingeniería del Software según su Complejidad de Incertidumbre MEDINILLA MARTÍNEZ, Nelson FERRE GRAU, Xavier
Una Arquitectura Software basada en Agentes y Recomendaciones Metodológicas para el Desarrollo de Entornos Visuales de Entrenamiento con Tutoría Inteligente MÉNDEZ POZO, Gonzalo DE ANTONIO JIMÉNEZ, Angélica
Replicación Autonómica de Bases de Datos MILÁN FRANCO, Jesús Manuel JIMÉNEZ PERIS, Ricardo;
KEMME, Bettina
Techniques for Efficient Event Routing QUERZONI, Leonardo JIMÉNEZ PERIS, Ricardo;
BALDONI, Roberto
Interpolación de Formas en Imágenes Usando Morfología Matemática VIDAL VALENZUELA, Javier Enrique CRESPO DEL ARCO, José

2007

Theses defended as part of the Department PhD programme in 2007
Title Author Supervisor/s
Poly-Controlled Partial Evaluation and its Application to Resource-Aware Program Specialization) GABRIEL OCHOA, Claudio Julio PUEBLA SÁNCHEZ, Germán
Técnicas de Reconstrucción en la Segmentación de Imágenes: Análisis y Aplicaciones VARGAS VÁZQUEZ, Damián CRESPO DEL ARCO, José

2006

Theses defended as part of the Department PhD programme in 2006
Title Author Supervisor/s
Construcción de un Marco para la Evaluación de Competencias para Ingenieros del Software en las Organizaciones COLOMO PALACIOS, Ricardo TOVAR CARÓ, Edmundo
Modelos automatizables de estimación muy temprana del tiempo y esfuerzo de desarrollo de sistemas de información SALVETTO DE LEÓN, Pedro SEGOVIA PÉREZ, Javier

2005

Theses defended as part of the Department PhD programme in 2005
Title Author Supervisor/s
AMEVI: Marco Metodológico para el Desarrollo de Entornos Virtuales en Internet Una Solución basada en Problemas de Usabilidad en la Carga y Construcción CASTÁN RODRÍGUEZ, Héctor José SEGOVIA PÉREZ, Francisco Javier;
JOYANES AGUILAR, Luis
Generación de Métodos Basados en Inteligencia Artificial para el Análisis de Datos Medioambientales Aplicaciones Prácticas DÍAZ GÓMEZ, Beatriz RIBEIRO SEIJAS, Ángela
Marco de Integración de la Usabilidad en el Proceso de Desarrollo de Software FERRÉ GRAU, Xavier JURISTO JUZGADO, Natalia;
MORENO SÁNCHEZ-CAPUCHINO, Ana María
Una Arquitectura Cognitiva Multinivel para Agentes con Comportamiento Influido por Características Individuales y Emociones Propias y de otros Agentes IMBERT PAREDES, Ricardo DE ANTONIO JIMÉNEZ, Angélica
Taxonomía Unificada de Referencia de Fallos Accidentales de Software crítico LÓPEZ PEÑA, Pedro CUEVAS AGUSTÍN, Gonzalo
Arquitectura de Referencia para una Familia de Entornos de Validación de Sistemas (TSF) MAGRO PEÑA, Belén GARBAJOSA SOPEÑA, Juan
Sistema Integrado para la Modelización y el Análisis de la Calidad del Aire en Forma Operacional PÉREZ CAMAÑO, Juan Luis SAN JOSÉ GARCÍA, Roberto
Un Nuevo Método de Heurística basado en Mutación y Probabilidad de Aparición de Cromosomas para la Computación Evolutiva Interactiva SÁEZ ACHAERANDIO, Yago SEGOVIA PÉREZ, Francisco Javier;
ISASI VIÑUELA, Pedro
Análisis de micropoblaciones para la mejora de la eficacia en computación evolutiva interactiva SAEZ ACHAERANCIO, Yago SEGOVIA PÉREZ, Javier
Diseño y Uso de Objetos Didácticos Basado en Contratos SÁNCHEZ ALONSO, Salvador SICILIA URBÁN, Miguel Ángel

2004

Theses defended as part of the Department PhD programme in 2004
Title Author Supervisor/s
Modelo para la creación de entornos de aprendizaje basados en técnicas de gestión del conocimiento FRISS DE KEREKI GUERRERO, Inés AZPIAZU CUENCA, Javier
Data Warehousing. Un Modelo de Repositorio de Metadatos Basado en el Procesamiento Humano de Información LUNA RAMÍREZ, Enrique GARCÍA MERAYO, Félix
Una Aproximación para la Transición del Análisis de la Arquitectura Software en el Dominio de las Aplicaciones Distribuidas PÉREZ MARTÍNEZ, Jorge Enrique SIERRA ALONSO, Mª Almudena
Aplicación de Entornos Virtuales para la Exploración y Búsqueda de Información PÉREZ VÁZQUEZ, César DE ANTONIO JIMÉNEZ, Angélica
Un Modelo Basado en un Enfoque Cooperativo Multidisciplinario para Desarrollar Software Educativo VILLALOBOS ABARCA, Marco Andrés DE ANTONIO JIMÉNEZ, Angélica

2003

Theses defended as part of the Department PhD programme in 2003
Title Author Supervisor/s
NAC: Nodo activo en cluster EIBE GARCÍA, Santiago BALLESTEROS CÁMARA, Francisco;
CALDERÓN PASTOR, María
Modelo de Arquitectura Multi-Agente Basado en un Modelo de Sociedad de Agentes FRUTOS CID, Sonia ALONSO AMO, Fernando
Modelo de Calidad del Producto Software Orientado a Objetos FUERTES CASTRO, José Luis ALONSO AMO, Fernando;
MONTES GRACIA, César
Modelo para la Generación y Gestión en Tiempo de Ejecución de Procesos de Interacción Hombre-Máquina a Partir de un Lenguaje de Especificación de Relaciones con el Usuario GONZÁLEZ MARTÍNEZ, Ángel Lucas ALONSO AMO, Fernando
A Human-Like Perceptual Model for Intelligent Virtual Agents HERRERO MARTÍN, María del Pilar ANTONIO JIMÉNEZ, Angélica de
Modelo Matemático Paramétrico de Estimación para Proyectos de Data Mining (DMCOMO) MARBÁN GALLEGO, Óscar MENASALVAS RUIZ, Ernestina;
CUADRADO GALLEGO, Juan José
Un Sistema de Negación para PROLOG MUÑOZ HERNÁNDEZ, Susana MORENO NAVARRO, Juan José
Modelo de Arquitectura para Gestión Cooperativa de Sistemas y Servicios Distribuidos basado en Agentes Autónomos SORIANO CAMINO, Francisco Javier ALONSO AMO, Fernando;
LÓPEZ GÓMEZ, Genoveva

2002

Theses defended as part of the Department PhD programme in 2002
Title Author Supervisor/s
Modelo Integral del Proceso Software Orientado a las Capacidades ACUÑA CASTILLO, Silvia Teresita JURISTO JUZGADO, Natalia
Semántica y Análisis de Programas Lógico-Funcionales MARIÑO CARBALLO, Julio MORENO NAVARRO, Juan José
Esquema de Caracterización para la Selección de Técnicas de Pruebas de Software VEGAS HERNÁNDEZ, Sira JURISTO JUZGADO, Natalia;
BASILI, Víctor

2001

Theses defended as part of the Department PhD programme in 2001
Title Author Supervisor/s
Aproximación Metodológica a la Construcción de Entornos Virtuales SÁNCHEZ SEGURA, María Isabel ANTONIO JIMÉNEZ, Angélica de
Método de Ingeniería de Requisitos para Manejo de Discrepancias SILVA VAZQUEZ, Andrés MORENO SANCHEZ-CAPUCHINO, Ana María
Arquitectura Distribuida de Control para sistemas con capacidades de Data Mining PEÑA SÁNCHEZ, José María MENASALVAS RUIZ, Ernestina

1999

Theses defended as part of the Department PhD programme in 1999.
Title Author Supervisor/s
Contribución al Estudio de la Estructura Interna de Conjunto de Mandelbrot y Aplicaciones en Criptografía ÁLVAREZ MARAÑÓN, Gonzalo MONTOYA VITINI, Fausto
Cotas de Complejidad Lineal para Criptosistemas Seguros en Comunicaciones de Banda Ancha GARCÍA VILLALBA, Luis Javier FUSTER SABATER, Amparo
Coherencia de Objetos, Coherencia de Rayos y Paralelismo en la Aceleración del Trazado de Rayos GONZÁLEZ LÓPEZ, Pascual Jesús GISBERT CANTÓ, Francisco Javier
Arquitectura y Algoritmos para Sistemas Transaccionales Distribuidos con Grupos de Procesos JIMÉNEZ PERIS, Ricardo AREVALO VIÑUALES, Sergio
Modelo y Lenguaje para Sistemas Transaccionales Distribuidos Cooperativos y altamente disponibles PATIÑO MARTINEZ, Marta AREVALO VIÑUALES, Sergio
Soporte de Redes Activas para un Servicio Integrado de Multipunto Fiable con Control de Congestión SEDANO RUIZ, María Felisa CALDERÓN PASTOR, María
Modelo de Referencia para Entornos de Ingeniería de Software VICENTE HURTADO, Juan Carlos de FERNÁNDEZ BAIZÁN, María Covadonga

1998

Theses defended as part of the Department PhD programme in 1998
Title Author Supervisor/s
Propuesta de un Servicio de Delegación de Identidad en Sistemas Distribuidos BARCIA VÁZQUEZ, Nicolás Benigno LÓPEZ GÓMEZ, Genoveva
Entorno Inteligente de Simulación para el Aprendizaje EL ALAMI HASSOUN, Mohamed ARRIAGA GÓMEZ, Fernando de
ADVICE. Arquitectura Adaptable y Extensible de Memoria Virtual para Entornos Distribuidos LÓPEZ FERNÁNDEZ, Luis MIGUEL CASTAÑO, Adoración de
Organización y Jerarquización de Autoridades de Certificación para la Provisión de Servicios de Seguridad en Redes Telemáticas LÓPEZ SANTIDRIÁN, Lourdes CARRACEDO GALLARDO, Justo
Propuesta de Estructuración del Conocimiento Lingüístico para Interpretación de Textos: Aplicación al Diseño de Bases de Datos MARTÍNEZ FERNÁNDEZ, Paloma GARCÍA SERRANO, Ana María;
MIGUEL CASTAÑO, Adoración de
Integración del Proceso de Inferencia de Conocimiento con los Sistemas de Bases de Datos Relacionados: Formalización Matemática de la Fase de Análisis MENASALVAS RUIZ, Ernestina FERNÁNDEZ BAIZÁN, María Covadonga;
WASILEWSKA, Anita
Un Modelo Formal para la Especificación, Análisis, Verificación e Implantación de Protocolos de Seguridad MENGUAL GALÁN, Luis FERNÁNDEZ DEL VAL, Carlos
Método Formal de Modelización Conceptual para Sistemas Software MORENO SÁNCHEZ-CAPUCHINO, Ana María JURISTO JUZGADO, Natalia
Órbitas de las Funciones Cuadráticas sobre Cuerpos Finitos. Aplicaciones a la Generación de Secuencias Pseudoaleatorias y al Diseño de criptosistemas PEINADO DOMÍNGUEZ, Alberto MONTOYA VITINI, Faustino
Modelo de Dependencias de Datos basado en Predicados para Supercomputadores RODRÍGUEZ GÓMEZ, Francisco Javier GARCÍA MERAYO, Félix
Generación Automática de Representaciones de Dominios VELASCO DE DIEGO, Manuel MARTÍNEZ ORGA, Vicente

1997

Theses defended as part of the Department PhD programme in 1997
Title Author Supervisor/s
Unificación de los Protocolos de Multipunto Fiable Optimizando la Escalabilidad y el Retardo CALDERÓN PASTOR, María del Carmen AZCORRA SALOÑA, Arturo
(MIMO): Propuesta de un Metamodelo de Objetos y su Aplicación al Diseño de Bases de Datos MARCOS MARTÍNEZ, Esperanza MIGUEL CASTAÑO, Adoración de;
PIATTINI VELTHUIS, Mario

1996

Theses defended as part of the Department PhD programme in 1996
Title Author Supervisor/s
Gestión Global de Base de Datos en una Estructura Compleja de Sistemas de Control de Energía ARRONTE VILLEGAS, Fernando LÓPEZ SEBASTIÁN, Julio
Aportación a las Técnicas de Evaluación de la Productividad del Software en los Entornos de Programación BARRANCO GARCÍA, Manuel José GRANJA ÁLVAREZ, Juan Carlos;
VELÁZQUEZ ITURBIDE, Jesús Ángel
Las dependencias Multivaluadas en el Proceso Deductivo bajo una Semántica Conjuntista MILLÁN GONZÁLEZ, Marta Elena del Socorro FERNÁNDEZ BAIZÁN, María Covadonga

1995

Theses defended as part of the Department PhD programme in 1995
Title Author Supervisor/s
Cuentos Electrónicos para el Aprendizaje de Niños con Necesidades Especiales AEDO CUEVAS, Ignacio SANCHIS LLORCA, Francisco Javier;
RODRÍGUEZ DE LAS HERAS, Antonio
Modelo Abstracto para el Desarrollo de Sistemas Hipermediales Seguros DÍAZ PÉREZ, María Paloma RIBAGORDA GARNACHO, Arturo;
HERAS PÉREZ, Antonio
Definición y Construcción de un Lenguaje Relacional de Interrogación con Capacidad para Expresar Inferencias Recursivas SANTOS MENÉNDEZ, Eugenio FERNÁNDEZ BAIZÁN, María Covadonga

1994

Theses defended as part of the Department PhD programme in 1994
Title Author Supervisor/s
Una Interpretación Algebraica de la Verificación de Sistemas basados en el Conocimiento ANTONIO JIMÉNEZ, Angélica de LAITA DE LA RICA, Luis;
PÉREZ PÉREZ, Aurora
MEOODE. Método de una Especificación Orientada a Objetos derivada de una Especificación Estructurada CALLES PRIETO, Marta CUEVAS AGUSTÍN, Gonzalo
DIARIA: Un Modelo de Multirazonamiento CARAÇA-VALENTE HERNÁNDEZ, Juan Pedro BORRAJO MILLÁN, Daniel
Definición de una Metodología de Desarrollo para Base de Datos Orientadas al Objeto Fundamentadas en Extensiones del Modelo Relacional PIATTINI VELTHUIS, Mario Gerardo MIGUEL CASTAÑO, Adoración de
Generadores de Números Aleatorios en Criptografía SÁNCHEZ GARCÍA, Sergio PORTAENCASA BAEZA, Rafael

1992

Theses defended as part of the Department PhD programme in 1992
Title Author Supervisor/s
Propuesta de Definición de un Perfil de Aplicación de Comunicación basado en la clase de servicio de tratamiento y manipulación de documentos FERNÁNDEZ CALVO, Antonio FERNÁNDEZ DEL VAL, Carlos;
LÓPEZ GÓMEZ, Genoveva
Contribución al Estudio de las Técnicas de Garantía de calidad del software. Su incidencia en la planificación GRANJA ÁLVAREZ, Juan Carlos COLLADO MACHUCA, Manuel Enrique

1991

Theses defended as part of the Department PhD programme in 1991
Title Author Supervisor/s
Una Interpretación Lógico-Algebraica de la Semántica de la programación PÉREZ PÉREZ, Aurora LAITA DE LA RICA, Luis María;
MORANT RAMÓN, José Luis
Aportación para la mejora de la conceptualización y soporte tecnológico de los sistemas de información territorial ROS DOMINGO, Ángel MATÉ HERNÁNDEZ, José Luis

1990

Theses defended as part of the Department PhD programme in 1990
Title Author Supervisor/s
Definición de un entorno de especificación de software de comunicaciones para redes de servicios avanzados LÓPEZ GÓMEZ, Genoveva GARCÍA TOMÁS, Jesús;
PEREDA SORIANO, Orlando
Acelerador del algoritmo trazador de rayos por métodos incrementales para la síntesis de imágenes en tres dimensiones RAMOS MONTERO, Ricardo PÉREZ JIMÉNEZ, Libia
Aportaciones metodológicas en la síntesis, visualización y simulación de algoritmos para arquitecturas paralelas regulares SÁNCHEZ CALLE, Ángel CERRADA SOMOLINOS, José Antonio
Derivación deductiva de programas funcionales con patrones VELÁZQUEZ ITURBIDE, Jesús Ángel CERRADA SOMOLINOS, José Antonio