COSTA
Complutense Group on Program Analyis and Transformation
Dissertationen geleitet (7) Dissertationen, die von den Mitgliedern der Gruppe geleitet wurden
2022
-
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs
MERAYO CORCOBA, ALICIA
unter der Leitung von ELVIRA MARÍA ALBERT ALBIOL
2021
-
Termination analysis of programs with complex control-flow
Doménech Arellano, Jesús Javier
unter der Leitung von SAMIR GENAIM
2020
-
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
Gordillo Alguacil, Pablo
unter der Leitung von SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL -
Verification of Concurrent Systems: optimality, Scalability and Applicability
Isabel Márquez, Miguel
unter der Leitung von 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
unter der Leitung von 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
unter der Leitung von ELVIRA MARÍA ALBERT ALBIOL y MIGUEL GÓMEZ-ZAMALLOA GIL -
Termination and cost analysis: Complexity and precision issues
Masud, Md. Abu Naser
unter der Leitung von SAMIR GENAIM