Tesis dirigidas (7) Tesis que han dirigido los miembros del grupo

2021

  1. Termination analysis of programs with complex control-flow

    Doménech Arellano, Jesús Javier

    Dirigida por SAMIR GENAIM

2020

  1. 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
  2. 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

  1. 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

  1. Termination and cost analysis: Complexity and precision issues

    Masud, Md. Abu Naser

    Dirigida por SAMIR GENAIM
  2. 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