Thèses dirigées (7) Thèses dirigées par des membres du groupe

2022

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

    MERAYO CORCOBA, ALICIA

    Dirigée par ELVIRA MARÍA ALBERT ALBIOL

2021

  1. Termination analysis of programs with complex control-flow

    Doménech Arellano, Jesús Javier

    Dirigée par SAMIR GENAIM

2020

  1. Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum

    Gordillo Alguacil, Pablo

    Dirigée par SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL
  2. Verification of Concurrent Systems: optimality, Scalability and Applicability

    Isabel Márquez, Miguel

    Dirigée par MIGUEL GÓMEZ-ZAMALLOA GIL y ELVIRA MARÍA ALBERT ALBIOL

2014

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

    Alonso Blas, Diego Esteban

    Dirigée par PURIFICACIÓN ARENAS SÁNCHEZ y SAMIR GENAIM

2013

  1. Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

    Rojas Siles, José Miguel

    Dirigée par ELVIRA MARÍA ALBERT ALBIOL y MIGUEL GÓMEZ-ZAMALLOA GIL
  2. Termination and cost analysis: Complexity and precision issues

    Masud, Md. Abu Naser

    Dirigée par SAMIR GENAIM