Tesis doctoral

  1. Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007

    Universidad Complutense de Madrid

Tesis dirigidas (1)

  1. Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016

    Universidad Complutense de Madrid

    MARTOS SALGADO, MARÍA ROSA

Tribunales de tesis (5)

  1. Secretario del tribunal

    Termination analysis of programs with complex control-flow 2021

    Universidad Complutense de Madrid

    Doménech Arellano, Jesús Javier

  2. Vocal del tribunal

    New perspectives on classical automata constructions 2020

    Universidad Politécnica de Madrid

    Gutiérrez Viedma, Elena

  3. Secretario del tribunal

    Semántica de simulación para relaciones de conformidad 2015

    Universidad Complutense de Madrid

    MARTÍNEZ TORRES, RAFAEL

  4. Secretario del tribunal

    Formal methods applied to the analysis of phylogenies: Phylogenetic model checking 2014

    Universidad de Zaragoza

    Requeno Jarabo, José Ignacio

  5. Vocal del tribunal

    Contributions to the deadlock problem in multithreaded software applications observed as resource allocation systems 2013

    Universidad de Zaragoza

    López Grao, Juan Pablo