Design and Testing of Reliable Systems
Dissertationen geleitet (13) Dissertationen, die von den Mitgliedern der Gruppe geleitet wurden
2023
-
Speeding up search algorithms with Quantum Computing
Paulet González, José Javier
unter der Leitung von LUIS FERNANDO LLANA DÍAZ
2022
-
Gestión estratégica de atención al cliente mediante modelos lingüísticos difusos, modelos de decisión y machine learning. Aplicación práctica en entornos B2C y B2B
MARIN DIAZ, GABRIEL
unter der Leitung von RAMÓN ALBERTO CARRASCO GONZÁLEZ, DANIEL GÓMEZ GONZÁLEZ y CARLOS GREGORIO RODRÍGUEZ -
Applications of Information Theory and Artificial Intelligence to Software Testing
IBIAS MARTINEZ, ALFREDO
unter der Leitung von MANUEL NÚÑEZ GARCÍA
2020
-
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing
Cerro Cañizares, Pablo
unter der Leitung von ALBERTO NÚÑEZ COVARRUBIAS -
Un lenguaje de dominio específico para mutación de modelos
Gómez-Abajo, Pablo
unter der Leitung von MARÍA DE LAS MERCEDES GARCÍA MERAYO
2017
-
Modelando la variabilidad: métodos formales para la representación de líneas de productos software
Camacho González, Carlos Delfin
unter der Leitung von ALBERTO NÚÑEZ COVARRUBIAS y LUIS FERNANDO LLANA DÍAZ
2015
-
Semántica de simulación para relaciones de conformidad
MARTÍNEZ TORRES, RAFAEL
unter der Leitung von CARLOS GREGORIO RODRÍGUEZ y LUIS FERNANDO LLANA DÍAZ -
New simulation techniques for energy aware cloud computing environments
González Castañé, Gabriel
unter der Leitung von ALBERTO NÚÑEZ COVARRUBIAS
2012
-
A formal approach to the specification of hierarchical multi-agent systems
Molinero Brizuela, Carlos
unter der Leitung von MANUEL NÚÑEZ GARCÍA
2010
-
Testing activo y pasivo de sistemas con información temporal y probabilística
ANDRES SANCHEZ, CESAR
unter der Leitung von MANUEL NÚÑEZ GARCÍA y MARÍA DE LAS MERCEDES GARCÍA MERAYO
2009
-
Marcos temporales y probabilísticos para testing formal
Garcia Merayo, Mercedes
unter der Leitung von MANUEL NÚÑEZ GARCÍA
2008
-
Formalizando el proceso de depuración en programación funcional paralela y perezosa
Encina Vara, Alberto de la
unter der Leitung von LUIS FERNANDO LLANA DÍAZ y FERNANDO RUBIO DÍEZ
2004
-
Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr
RODRÍGUEZ LAGUNA, ISMAEL
unter der Leitung von MANUEL NÚÑEZ GARCÍA