Alumni
PhD Graduates
| 2018 | Raúl E. Monti | Stochastic Automata for Fault Tolerant Concurrent Systems |
 |
| 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)
| 2018 | Matías Hunicken | Simulación de eventos raros con Importance Splitting,... |
|
| 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 | Falluto 2.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 |