Current PhD students

PhD Graduates

  2018   Raúl E. Monti    Stochastic Automata for Fault Tolerant Concurrent Systems
  2017   Carlos E. Budde 2   Automation of Importance Splitting Techniques for Rare...
  2015   Daniel Gebler 1   Robust SOS Specifications of Probabilistic Processes
  2013   Matías D. Lee    Semánticas de procesos para sistemas interactivos y...
  2012   Nicolás Wolovick    Continuous Probability and Nondeterminism in Labeled...
  2010   Sergio Giro    On the automatic verification of Distributed Probabilistic...
             1  Co-supervised with Wan Fokkink
             2  Co-supervised with Holger Hermanns

Master Graduates (Licenciados)

  2018   Matías Hunicken Berardo    Simulación de eventos raros con Importance Splitting,...
  2015   David Arch 8   Verificación Formal de Código Binario
  2014   Pedro E. Waquim 7   CLOUSEAU: Verificación de Propiedades de Seguridad en...
  2013   Gastón Ingaramo 6   Implementación del algoritmo Gauss-Seidel en CUDA para la...
  2013   Matías D. Tealdi 6   Paralelización de algoritmos para verificación simbólica...
  2013   Eric A. Destefanis 5   Semánticas de Procesos para Sistemas Interactivos y...
  2013   Raúl E. Monti    Falluto2.0: Un Model Checker para la verificación...
  2012   Carlos E. Budde 4   No determinismo completamente medible en procesos...
  2011   Pablo Dal Lago    Paralelización de algoritmos para verificación simbólica...
  2011   Nicolás Bordenabe    Offbeat: Una extensión de PRISM para el análisis de...
  2011   Matías Marenchino    Implementación de Técnicas de Derivación de...
  2010   Nicolás Zandarin    Abstracción a Estados Esenciales en el Model Checker...
  2010   Gabriel Miretti 3   TEO: Una herramienta para la optimización de la...
  2010   Luis M. Ferrer Fioriti    Reducción de orden parcial en model checking probabilista...
  2009   Edgardo E. Hames    FALLUTO: un model checker para la verificación de...
  2008   Valeria Becker    Álgebra de procesos probabilistas con iteración prBPA*
  2008   Carlos Bederián    Model checking cuantitativo de propiedades LTL en PRISM
  2006   Miguel Andrés    Derivación de contraejemplos para model checking...
  2006   Matías D. Lee    Model Cheking cuantitativo con enfoque de la teoría de...
  2006   Maximiliano Combina    Model Cheking cuantitativo con enfoque de la teoría de...
  2006   Pablo Celayes 4   Procesos de Markov etiquetados sobre espacios analíticos
  2004   Miguel Vásquez 3   Una verificación comparativa del algoritmo de Miller-Rabin
  2004   Ariel Fiuri    Sistemas de especificación de transiciones...
  2003   Marcos E. Kurbán    Chequeo de modelos cuantitativo mediante teoría de...
             3  Co-supervised with Nicolás Wolovick
             4  Co-supervised with Pedro Sánchez Terraf
             5  Co-supervised with Matías D. Lee
             6  Co-supervised with Carlos Bederián
             7  Co-supervised with Silvia Pelozo
             8  Co-supervised with Damián Barsotti