Tesis doctoral

  1. Semánticas de pruebas para álgebras de procesos probabilísticos 1996

    Universidad Complutense de Madrid

Tesis dirigidas (5)

  1. Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO

  2. Testing activo y pasivo de sistemas con información temporal y probabilística 2010

    Universidad Complutense de Madrid

    ANDRES SANCHEZ, CESAR

  3. Marcos temporales y probabilísticos para testing formal 2009

    Universidad Complutense de Madrid

    Garcia Merayo, Mercedes

  4. Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr 2004

    Universidad Complutense de Madrid

    RODRÍGUEZ LAGUNA, ISMAEL

  5. Semánticas para álgebras de procesos estocásticos no Markovianos 2003

    Universidad Complutense de Madrid

    López Barquilla, Natalia

Tribunales de tesis (14)

  1. Presidente del tribunal

    Fall event analysis based on sensor fusion (análisis de eventos de caída basado en la fusión de sensores) 2022

    Universidad de Cádiz

    La Blunda, Luigi

  2. Presidente del tribunal

    Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing 2020

    Universidad Complutense de Madrid

    Cerro Cañizares, Pablo

  3. Presidente del tribunal

    Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva 2017

    Universidad de Cádiz

    García de Prado Fontela, Alfonso

  4. Presidente del tribunal

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

    Universidad Complutense de Madrid

    MARTÍNEZ TORRES, RAFAEL

  5. Presidente del tribunal

    Aplicación de la prueba de mutaciones a composiciones de servicios web en ws-bpel para la generación de conjuntos de casos de prueba de calidad 2013

    Universidad de Cádiz

    Estero Botaro, Antonia

  6. Vocal del tribunal

    Hybrid system analysis with finite-state model checkers 2013

    Universidad de Málaga

    Panizo Jaime, Laura

  7. Secretario del tribunal

    Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008

    Universidad Complutense de Madrid

    Encina Vara, Alberto de la

  8. Vocal del tribunal

    Limitación de recursos en paralelismo real 2007

    Universidad de Castilla-La Mancha

    Ruiz Delgado, María del Carmen

  9. Vocal del tribunal

    Description and verification of multimedia systems and web services with time constraints 2007

    Universidad de Castilla-La Mancha

    C. P., M. E.

  10. Vocal del tribunal

    Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri 2006

    Universidad de Castilla-La Mancha

    BUENO AROCA, ANTONIO

  11. Vocal del tribunal

    Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints 2006

    Universidad de Castilla-La Mancha

    Diaz Descalzo, Gregorio

  12. Secretario del tribunal

    Applications of formal methods to performance evaluation 2004

    Universidad de Castilla-La Mancha

    LOPEZ PELAYO, FERNANDO

  13. Vocal del tribunal

    Técnicas de aproximación de through put en Redes de Petri estocásticas 2002

    Universidad de Zaragoza

    Pérez Jiménez, Carlos José

  14. Vocal del tribunal

    Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas 2001

    Universidad de Castilla-La Mancha

    Cazorla López, Diego