Tesis dirigides (7) Tesis que han dirigit els membres del grup

2022

  1. Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs

    MERAYO CORCOBA, ALICIA

    Dirigida per ELVIRA MARÍA ALBERT ALBIOL

2021

  1. Termination analysis of programs with complex control-flow

    Doménech Arellano, Jesús Javier

    Dirigida per SAMIR GENAIM

2020

  1. Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum

    Gordillo Alguacil, Pablo

    Dirigida per SAMIR GENAIM y ELVIRA MARÍA ALBERT ALBIOL
  2. Verification of Concurrent Systems: optimality, Scalability and Applicability

    Isabel Márquez, Miguel

    Dirigida per 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 per PURIFICACIÓN ARENAS SÁNCHEZ y SAMIR GENAIM

2013

  1. Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

    Rojas Siles, José Miguel

    Dirigida per ELVIRA MARÍA ALBERT ALBIOL y MIGUEL GÓMEZ-ZAMALLOA GIL
  2. Termination and cost analysis: Complexity and precision issues

    Masud, Md. Abu Naser

    Dirigida per SAMIR GENAIM