Thesis

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

    Universidad Complutense de Madrid

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

Theses Committees (14)

  1. Chair of the Committee

    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. Chair of the Committee

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

    Universidad Complutense de Madrid

    Cerro Cañizares, Pablo

  3. Chair of the Committee

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

    Universidad de Cádiz

    García de Prado Fontela, Alfonso

  4. Chair of the Committee

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

    Universidad Complutense de Madrid

    MARTÍNEZ TORRES, RAFAEL

  5. Chair of the Committee

    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. Committee Member

    Hybrid system analysis with finite-state model checkers 2013

    Universidad de Málaga

    Panizo Jaime, Laura

  7. Secretary of the Committee

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

    Universidad Complutense de Madrid

    Encina Vara, Alberto de la

  8. Committee Member

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

    Universidad de Castilla-La Mancha

    C. P., M. E.

  9. Committee Member

    Limitación de recursos en paralelismo real 2007

    Universidad de Castilla-La Mancha

    Ruiz Delgado, María del Carmen

  10. Committee Member

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

    Universidad de Castilla-La Mancha

    BUENO AROCA, ANTONIO

  11. Committee Member

    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. Secretary of the Committee

    Applications of formal methods to performance evaluation 2004

    Universidad de Castilla-La Mancha

    LOPEZ PELAYO, FERNANDO

  13. Committee Member

    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. Committee Member

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

    Universidad de Castilla-La Mancha

    Cazorla López, Diego