MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Thèse de doctorat
-
Semánticas de pruebas para álgebras de procesos probabilísticos 1996
Universidad Complutense de Madrid
Thèses dirigées (5)
-
Applications of Information Theory and Artificial Intelligence to Software Testing 2022
Universidad Complutense de Madrid
-
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
Jurys de thèses (14)
-
Président du jury
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
-
Président du jury
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing 2020Universidad Complutense de Madrid
-
Président du jury
Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva 2017Universidad de Cádiz
García de Prado Fontela, Alfonso
-
Président du jury
Semántica de simulación para relaciones de conformidad 2015Universidad Complutense de Madrid
-
Président du jury
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
-
Rapporteur du jury
Hybrid system analysis with finite-state model checkers 2013Universidad de Málaga
Panizo Jaime, Laura
-
Un secrétaire du jury
Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008Universidad Complutense de Madrid
-
Rapporteur du jury
Description and verification of multimedia systems and web services with time constraints 2007Universidad de Castilla-La Mancha
C. P., M. E.
-
Rapporteur du jury
Limitación de recursos en paralelismo real 2007Universidad de Castilla-La Mancha
Ruiz Delgado, María del Carmen
-
Rapporteur du jury
Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri 2006Universidad de Castilla-La Mancha
BUENO AROCA, ANTONIO
-
Rapporteur du jury
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
-
Un secrétaire du jury
Applications of formal methods to performance evaluation 2004Universidad de Castilla-La Mancha
LOPEZ PELAYO, FERNANDO
-
Rapporteur du jury
Técnicas de aproximación de through put en Redes de Petri estocásticas 2002Universidad de Zaragoza
Pérez Jiménez, Carlos José
-
Rapporteur du jury
Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas 2001Universidad de Castilla-La Mancha
Cazorla López, Diego