Teses dirixidas (4)

  1. Termination analysis of programs with complex control-flow 2021

    Universidad Complutense de Madrid

    Doménech Arellano, Jesús Javier

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

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

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

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  4. Termination and cost analysis: Complexity and precision issues 2013

    Universidad Politécnica de Madrid

    Masud, Md. Abu Naser

Tribunais de teses (6)

  1. Vogal do tribunal

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  2. Vogal do tribunal

    On the security of cache algorithms 2019

    Universidad Politécnica de Madrid

    Cañones Martín, Pablo

  3. Vogal do tribunal

    An Algorithmic Approach for Stability Verification of Hybrid Systems 2017

    Universidad Politécnica de Madrid

    García Soto, Miriam

  4. Secretario do tribunal

    Automatic program analysis using Max-SMT 2015

    Universitat Politècnica de Catalunya (UPC)

    Larraz Hurtado, Daniel

  5. Vogal do tribunal

    Modular and field-sensitive termination analysis of java bytecode 2011

    Universidad Politécnica de Madrid

    Ramírez Deantes, Diana Vanessa

  6. Secretario do tribunal

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús