Supervised Theses (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

Theses Committees (6)

  1. Committee Member

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  2. Committee Member

    On the security of cache algorithms 2019

    Universidad Politécnica de Madrid

    Cañones Martín, Pablo

  3. Committee Member

    An Algorithmic Approach for Stability Verification of Hybrid Systems 2017

    Universidad Politécnica de Madrid

    García Soto, Miriam

  4. Secretary of the Committee

    Automatic program analysis using Max-SMT 2015

    Universitat Politècnica de Catalunya (UPC)

    Larraz Hurtado, Daniel

  5. Committee Member

    Modular and field-sensitive termination analysis of java bytecode 2011

    Universidad Politécnica de Madrid

    Ramírez Deantes, Diana Vanessa

  6. Secretary of the Committee

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús