Teses dirixidas (7) Teses que dirixiron as persoas membros do grupo

2022

  1. Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs

    MERAYO CORCOBA, ALICIA

    Dirixida por ELVIRA MARÍA ALBERT ALBIOL

2021

  1. Termination analysis of programs with complex control-flow

    Doménech Arellano, Jesús Javier

    Dirixida por SAMIR GENAIM

2020

  1. Verification of Concurrent Systems: optimality, Scalability and Applicability

    Isabel Márquez, Miguel

    Dirixida por MIGUEL GÓMEZ-ZAMALLOA GIL y ELVIRA MARÍA ALBERT ALBIOL
  2. Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum

    Gordillo Alguacil, Pablo

    Dirixida por SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL

2014

  1. De programas abstractos a cotas asintóticas precisas en forma cerrada

    Alonso Blas, Diego Esteban

    Dirixida por PURIFICACIÓN ARENAS SÁNCHEZ y SAMIR GENAIM

2013

  1. Termination and cost analysis: Complexity and precision issues

    Masud, Md. Abu Naser

    Dirixida por SAMIR GENAIM
  2. Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

    Rojas Siles, José Miguel

    Dirixida por ELVIRA MARÍA ALBERT ALBIOL y MIGUEL GÓMEZ-ZAMALLOA GIL