COSTA
Complutense Group on Program Analyis and Transformation
Tesis dirigidas (7) Tesis que han dirigido los miembros del grupo
2022
-
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs
MERAYO CORCOBA, ALICIA
Dirigida por ELVIRA MARÍA ALBERT ALBIOL
2021
-
Termination analysis of programs with complex control-flow
Doménech Arellano, Jesús Javier
Dirigida por SAMIR GENAIM
2020
-
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
Gordillo Alguacil, Pablo
Dirigida por SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL -
Verification of Concurrent Systems: optimality, Scalability and Applicability
Isabel Márquez, Miguel
Dirigida por MIGUEL GÓMEZ-ZAMALLOA GIL y ELVIRA MARÍA ALBERT ALBIOL
2014
-
De programas abstractos a cotas asintóticas precisas en forma cerrada
Alonso Blas, Diego Esteban
Dirigida por PURIFICACIÓN ARENAS SÁNCHEZ y SAMIR GENAIM
2013
-
Termination and cost analysis: Complexity and precision issues
Masud, Md. Abu Naser
Dirigida por SAMIR GENAIM -
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming
Rojas Siles, José Miguel
Dirigida por ELVIRA MARÍA ALBERT ALBIOL y MIGUEL GÓMEZ-ZAMALLOA GIL