Alumni

PhD Graduates

  2017   Carlos E. Budde   Automation of Importance Splitting Techniques for Rare Event...
  2013   Matías D. Lee   Semánticas de procesos para sistemas interactivos y sistemas...
  2012   Nicolás Wolovick   Continuous Probability and Nondeterminism in Labeled...
  2011   Damián Barsotti   Implementación eficiente de construcciones de alto nivel para...
  2010   Sergio Giro   On the automatic verification of Distributed Probabilistic...

Master Graduates (Licenciados)

  2015   David Arch   Verificación Formal de Código Binario
  2015   Patricio Hubmann   Análisis de Diagnosticabilidad en Sistemas Probabilísticos
  2014   Tomás Hayes   PEF: Python Error Finder
  2014   Andrés M. Bordese   PEF: Python Error Finder
  2014   Pedro E. Waquim   CLOUSEAU: Verificación de Propiedades de Seguridad en...
  2013   Gastón Ingaramo   Implementación del algoritmo Gauss-Seidel en CUDA para la...
  2013   Matías D. Tealdi   Paralelización de algoritmos para verificación simbólica de...
  2013   Eric A. Destefanis   Semánticas de Procesos para Sistemas Interactivos y sistemas...
  2013   Raúl E. Monti   Falluto2.0: Un Model Checker para la verificación automática...
  2012   Carlos E. Budde   No determinismo completamente medible en procesos probabil...
  2011   Pablo Dal Lago   Paralelización de algoritmos para verificación simbólica de...
  2011   Nicolás Bordenabe   Offbeat: Una extensión de PRISM para el análisis de sistemas...
  2011   Matías Marenchino   Implementación de Técnicas de Derivación de Contraejemplos en...
  2010   Nicolás Zandarin   Abstracción a Estados Esenciales en el Model Checker...
  2010   Gabriel Miretti   TEO: Una herramienta para la optimización de la probabilidad...
  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 sistemas...
  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 cuantitativo
  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   Procesos de Markov etiquetados sobre espacios analíticos
  2004   Miguel Vásquez   Una verificación comparativa del algoritmo de Miller-Rabin
  2004   Ariel Fiuri   Sistemas de especificación de transiciones probabilísticas:...
  2003   Marcos E. Kurbán   Chequeo de modelos cuantitativo mediante teoría de autómatas
Powered by Drupal