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 |