Departamento
Sistemas Informáticos y Computación
Tesis defendidas (44) Tesis defendidas en Departamento Ver tesis dirigidas
2022
-
Model checking of strategy-controlled systems in rewriting logic
Rubio Cuéllar, Rubén Rafael
2021
-
Composición en lógica de reescritura
Martín Sánchez, Óscar
-
Termination analysis of programs with complex control-flow
Doménech Arellano, Jesús Javier
2020
-
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
Gordillo Alguacil, Pablo
-
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing
Cerro Cañizares, Pablo
-
Verification of Concurrent Systems: optimality, Scalability and Applicability
Isabel Márquez, Miguel
2017
-
Modelando la variabilidad: métodos formales para la representación de líneas de productos software
Camacho González, Carlos Delfin
2016
-
Más sobre equivalencias lógicas y distancias entre procesos
ROMERO HERNÁNDEZ, DAVID
-
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias
MARTOS SALGADO, MARÍA ROSA
2015
-
Semántica de simulación para relaciones de conformidad
MARTÍNEZ TORRES, RAFAEL
2014
-
Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing
Torres de Alba, Roberto
-
De programas abstractos a cotas asintóticas precisas en forma cerrada
Alonso Blas, Diego Esteban
-
Técnicas de detección y diagnosis de errores en consultas de bases de datos
García Ruiz, Yolanda
2012
-
Certificación formal de programas en un lenguaje funcional impaciente
Dios Castro, Javier de
-
Sistemas de tipos en lenguajes lógico-funcionales
Martín Martín, Enrique
-
Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos.
Fábregas Alfaro, Ignacio
2011
-
Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura
Montenegro Montes, Manuel
-
Depuración declarativa y verificación heterogénea en Maude
Riesco Rodríguez, Adrián
-
Programación declarativa cualificada con restricciones
ROMERO DIAZ, CARLOS ALBERTO
2010
-
Algoritmos heurísticos y aplicaciones a métodos formales
Rabanal Basalo, Pablo Manuel