FERNANDO
ROSA VELARDO
Profesor titular de universidad
Thèse de doctorat
-
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007
Universidad Complutense de Madrid
Thèses dirigées (1)
-
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016
Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
Jurys de thèses (5)
-
Un secrétaire du jury
Termination analysis of programs with complex control-flow 2021Universidad Complutense de Madrid
-
Rapporteur du jury
New perspectives on classical automata constructions 2020Universidad Politécnica de Madrid
Gutiérrez Viedma, Elena
-
Un secrétaire du jury
Semántica de simulación para relaciones de conformidad 2015Universidad Complutense de Madrid
-
Un secrétaire du jury
Formal methods applied to the analysis of phylogenies: Phylogenetic model checking 2014Universidad de Zaragoza
-
Rapporteur du jury
Contributions to the deadlock problem in multithreaded software applications observed as resource allocation systems 2013Universidad de Zaragoza
López Grao, Juan Pablo