MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Tesis doctoral
-
Semánticas de pruebas para álgebras de procesos probabilísticos 1996
Universidad Complutense de Madrid
Tesis dirigidas (6)
-
Applications of Information Theory and Artificial Intelligence to Software Testing 2022
Universidad Complutense de Madrid
-
A formal approach to the specification of hierarchical multi-agent systems 2012
Universidad Complutense de Madrid
Molinero Brizuela, Carlos
-
Testing activo y pasivo de sistemas con información temporal y probabilística 2010
Universidad Complutense de Madrid
ANDRES SANCHEZ, CESAR
-
Marcos temporales y probabilísticos para testing formal 2009
Universidad Complutense de Madrid
-
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
-
Semánticas para álgebras de procesos estocásticos no Markovianos 2003
Universidad Complutense de Madrid
López Barquilla, Natalia
Tribunales de tesis (15)
-
Presidente del tribunal
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica 2024Universidad de Cádiz
DE CASTRO CABRERA, MARÍA DEL CARMEN
-
Presidente del tribunal
Fall event analysis based on sensor fusion (análisis de eventos de caída basado en la fusión de sensores) 2022Universidad de Cádiz
La Blunda, Luigi
-
Presidente del tribunal
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing 2020Universidad Complutense de Madrid
-
Presidente del tribunal
Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva 2017Universidad de Cádiz
García de Prado Fontela, Alfonso
-
Presidente del tribunal
Semántica de simulación para relaciones de conformidad 2015Universidad Complutense de Madrid
-
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 2013Universidad de Cádiz
Estero Botaro, Antonia
-
Vocal del tribunal
Hybrid system analysis with finite-state model checkers 2013Universidad de Málaga
Panizo Jaime, Laura
-
Secretario del tribunal
Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008Universidad Complutense de Madrid
-
Vocal del tribunal
Limitación de recursos en paralelismo real 2007Universidad de Castilla-La Mancha
Ruiz Delgado, María del Carmen
-
Vocal del tribunal
Description and verification of multimedia systems and web services with time constraints 2007Universidad de Castilla-La Mancha
C. P., M. E.
-
Vocal del tribunal
Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri 2006Universidad de Castilla-La Mancha
BUENO AROCA, ANTONIO
-
Vocal del tribunal
Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints 2006Universidad de Castilla-La Mancha
Diaz Descalzo, Gregorio
-
Secretario del tribunal
Applications of formal methods to performance evaluation 2004Universidad de Castilla-La Mancha
LOPEZ PELAYO, FERNANDO
-
Vocal del tribunal
Técnicas de aproximación de through put en Redes de Petri estocásticas 2002Universidad de Zaragoza
Pérez Jiménez, Carlos José
-
Vocal del tribunal
Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas 2001Universidad de Castilla-La Mancha
Cazorla López, Diego