Current:
 |
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). |
Past:
|
STIC-Amsud: ReSeCo: Reliability and security of distribued software components. Funded by Programa STIC-Amsud (2006-2009). Joint project with Everest and Oasis (INRIA, Fr), Universidad Diego Protales (Cl), and Formal Methods Group (InCo, Uy). |
|
CONICET/CNRS: 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. |