Tesis dirigidas (28) Tesis que han dirigido los miembros del grupo

2022

  1. Model checking of strategy-controlled systems in rewriting logic

    Rubio Cuéllar, Rubén Rafael

    Dirigida por JOSÉ ALBERTO VERDEJO LÓPEZ, MARÍA ISABEL PITA ANDREU y NARCISO MARTÍ OLIET
  2. Análisis estático de tipos para lenguajes de tipado dinámico

    SUÁREZ GARCÍA, GORKA

    Dirigida por MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS

2021

  1. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    Dirigida por NARCISO MARTÍ OLIET y JOSÉ ALBERTO VERDEJO LÓPEZ

2019

  1. Respuesta a las restricciones transpositivas de la sociedad de la información en la enseñanza-aprendizaje de la geometría en educación secundaria

    Roa González, Julián

    Dirigida por MERCEDES HIDALGO HERRERO

2017

  1. Mapping OCL as a query and constraint language

    DANIA FLORES, CAROLINA INÉS

    Dirigida por MANUEL GARCÍA CLAVEL
  2. Modelo programable para la serialización y evaluación de modelos heterogéneos en clientes web

    Chavarriaga Bautista, Enrique

    Dirigida por FERNANDO RUBIO DÍEZ

2016

  1. Más sobre equivalencias lógicas y distancias entre procesos

    ROMERO HERNÁNDEZ, DAVID

    Dirigida por DAVID DE FRUTOS ESCRIG
  2. Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

    MARTOS SALGADO, MARÍA ROSA

    Dirigida por FERNANDO ROSA VELARDO

2015

  1. Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación

    ARANDA LOPEZ, GABRIEL

    Dirigida por FERNANDO SÁENZ PÉREZ, JAIME SÁNCHEZ HERNÁNDEZ y SUSANA NIEVA SOTO
  2. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos

    Sánchez Gil, Lidia

    Dirigida por MERCEDES HIDALGO HERRERO y YOLANDA ORTEGA MALLÉN
  3. Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información

    García de Dios, Miguel Ángel

    Dirigida por MANUEL GARCÍA CLAVEL

2014

  1. Improving the solving efficiency of TOY (FD) and its application to real-life problems

    Castiñeiras Pérez, Ignacio

    Dirigida por FERNANDO SÁENZ PÉREZ y FRANCISCO JAVIER LÓPEZ FRAGUAS

2013

  1. Recommender systems and time context: Characterization of a robust evaluation protocol to increase reliability of measured improvements

    Campos, Pedro G.

    Dirigida por FERNANDO RUBIO DÍEZ

2012

  1. Certificación formal de programas en un lenguaje funcional impaciente

    Dios Castro, Javier de

    Dirigida por RICARDO VICENTE PEÑA MARÍ
  2. Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos.

    Fábregas Alfaro, Ignacio

    Dirigida por MIGUEL PALOMINO TARJUELO y DAVID DE FRUTOS ESCRIG
  3. Sistemas de tipos en lenguajes lógico-funcionales

    Martín Martín, Enrique

    Dirigida por FRANCISCO JAVIER LÓPEZ FRAGUAS y JUAN RODRÍGUEZ HORTALÁ

2011

  1. Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura

    Montenegro Montes, Manuel

    Dirigida por RICARDO VICENTE PEÑA MARÍ
  2. Depuración declarativa y verificación heterogénea en Maude

    Riesco Rodríguez, Adrián

    Dirigida por JOSÉ ALBERTO VERDEJO LÓPEZ y NARCISO MARTÍ OLIET

2010

  1. Programación con indeterminismo: un enfoque basado en reescritura

    Rodríguez Hortalá, Juan

    Dirigida por FRANCISCO JAVIER LÓPEZ FRAGUAS y JAIME SÁNCHEZ HERNÁNDEZ
  2. Algoritmos heurísticos y aplicaciones a métodos formales

    Rabanal Basalo, Pablo Manuel

    Dirigida por ISMAEL RODRÍGUEZ LAGUNA y FERNANDO RUBIO DÍEZ

2009

  1. Construcción de recursos lingüísticos basados en ontologías con control de relaciones semánticas

    ÁLVAREZ MONTERO, FRANCISCO JOSÉ

    Dirigida por ANTONIO VAQUERO SÁNCHEZ y FERNANDO SÁENZ PÉREZ
  2. Entendiendo las semánticas de procesos

    GREGORIO RODRIGUEZ, CARLOS

    Dirigida por DAVID DE FRUTOS ESCRIG

2008

  1. Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos

    Egea González, Marina Soledad

    Dirigida por MANUEL GARCÍA CLAVEL
  2. Formalizando el proceso de depuración en programación funcional paralela y perezosa

    Encina Vara, Alberto de la

    Dirigida por LUIS FERNANDO LLANA DÍAZ y FERNANDO RUBIO DÍEZ

2007

  1. Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos

    Rosa Velardo, Fernando

    Dirigida por DAVID DE FRUTOS ESCRIG

2005

  1. Reflexión, abstracción y simulación en la lógica de reescritura

    Palomino Tarjuelo, Miguel

    Dirigida por NARCISO MARTÍ OLIET

2004

  1. Semánticas formales para un lenguaje funcional paralelo

    Hidalgo Herrero, Mercedes

    Dirigida por YOLANDA ORTEGA MALLÉN
  2. Una aproximación al fallo en programación declarativa multiparadigma

    SÁNCHEZ HERNÁNDEZ, JAIME

    Dirigida por FRANCISCO JAVIER LÓPEZ FRAGUAS