 |
PICT 02272: Modelado y Análisis de Sistemas Tolerantes a Fallas. Funded by ANPCyT (2009-2012). |
|
MinCyT/DAAD: Quantitative Techniques for Dependable Distributed Systems (QTDDS). Funded by MinCyT (AR) and DAAD (DE) (2009-2010). Joint project with DSS (Uni. Saarland), Algebraic and Logical Foundations of Computer Science (TUD), and MOVES (RWTH Aachen). |
|
Secyt-UNC, 2010: Fundamentos y Técnicas para el Análisis de Dependibilidad de Sistemas Distribuidos y Estocásticos. Funded by SeCyT - UNC (2010-2011). |
|
PICT 26135: Verification of Probabilistic Distributed Systems. Funded by ANPCyT (2006-2010). |