 |
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. |