Tesis dirigidas (4)

  1. Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos 2011

    Universidad de Granada

    Mendoza Morales, Luis Eduardo

  2. Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real 2009

    Universidad de Granada

    Benghazi Akhlaki, Kawtar

  3. Una metodología de programación basada en composiciones paralelas de alto nivel cpans. 2005

    Universidad de Granada

    Rossainz López, Mario

  4. Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly 2002

    Universidad de Granada

    Hornos Barranco, Miguel J.

Tribunales de tesis (4)

  1. Presidente del tribunal

    Desarrollo de sistemas software industriales dirigido por modelos: aplicación a OPC UA e IEC 61131-3 2018

    Universidad de Granada

    Gutiérrez Guerrero, José Miguel

  2. Presidente del tribunal

    Plataforma de servicios semánticos sensibles al contexto para sistemas de inteligencia ambiental 2015

    Universidad de Granada

    Rodríguez Valenzuela, Sandra

  3. Vocal del tribunal

    Integración de análisis de tiempo real en la técnica de descripción formal sdl 2002

    Universidad de Málaga

    LLOPIS TORRES, LUIS MANUEL

  4. Vocal del tribunal

    Diseño e implementación de lenguajes orientados al modelo PRAM 1996

    Universidad de La Laguna

    León Hernández, Coromoto