Current:
 |
PICT 02272: Modelado y Análisis de Sistemas Tolerantes a Fallas. Funded by ANPCyT (2009-2012). |
|
PICT 26135: Verification of Probabilistic Distributed Systems. Funded by ANPCyT (2006-2010). |
Past:
|
PIP 6391: Métodos y Fundamentos para el Análisis de Corrección y Desempeño de Programas Concurrentes y Aleatorios. Funded by CONICET (2006-2008). |
|
PICT 11738: Theory and Tools for the Construction of Critical Applications. Funded by ANPCyT (2003-2006). Joint project with DEPENDEX (UBA & UADE). |