>> PICT 26135: Verification of Probabilistic Distributed Systems. Funded by ANPCyT (Granted 2005 - Running 2006-2009).
>> PIP 6391: Métodos y Fundamentos para el Análisis de Corrección y Desempeño de Programas Concurrentes y Aleatorios. Funded by CONICET (Granted 2005 - Running 2006-2008).
>> STIC-Amsud: ReSeCo: Reliability and security of distribued software components. Funded by Programa STIC-Amsud. Joint project with Everest and Oasis (INRIA, Fr), Universidad Diego Protales (Cl), and Formal Methods Group (InCo, Uy).
>> CONICET/CNRS Cooperation: Métodos para la Verificación de Programas Concurrentes con aspectos Aleatorios y Temporizados. Funded by CONICET (Ar) & CNRS (Fr) (2005-2007). Joint project with DEPENDEX (UBA & UADE), LIF, and IRISA.
>> SeCyT - UNC: Técnicas Formales para la Verificación y el Desarrollo de Programas Reactivos. Funded by SeCyT - UNC (2006-2007).
>> PICT 11738: Theory and Tools for the Construction of Critical Applications. Funded by ANPCyT (Granted 2002, running 2003-2006). Joint project with DEPENDEX (UBA & UADE).