COSTA
Complutense Group on Program Analyis and Transformation
Supervised theses (7) Theses supervised by group members
2022
-
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs
MERAYO CORCOBA, ALICIA
Supervised by ELVIRA MARÍA ALBERT ALBIOL
2021
-
Termination analysis of programs with complex control-flow
Doménech Arellano, Jesús Javier
Supervised by SAMIR GENAIM
2020
-
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
Gordillo Alguacil, Pablo
Supervised by SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL -
Verification of Concurrent Systems: optimality, Scalability and Applicability
Isabel Márquez, Miguel
Supervised by 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
Supervised by PURIFICACIÓN ARENAS SÁNCHEZ y SAMIR GENAIM
2013
-
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming
Rojas Siles, José Miguel
Supervised by ELVIRA MARÍA ALBERT ALBIOL y MIGUEL GÓMEZ-ZAMALLOA GIL -
Termination and cost analysis: Complexity and precision issues
Masud, Md. Abu Naser
Supervised by SAMIR GENAIM