Projects

Current Projects

MECANO: Modelos Estocásticos Competitivos para el ANálisis de Óptimos en resiliencia. Funded by SeCyT-UNC (33620230100384C). 2024 - 2027.
MISSION - Models in Space Systems: Integration, Operation, and Networking. Funded by H2020 MSCA-RISE-2020 (Grant 101008233). 2021 - 2025. (See also project home page)

Past Projects

ReSeCo: Reliability and Security of Distributed Software Components. Funded by STIC-Amsud. 2006 - 2009.
Métodos y Fundamentos para el Análisis de Corrección y Desempeño de Programas Concurrentes y Aleatorios. Funded by CONICET (PIP 6391). 2006 - 2008.
Métodos para la Verificación de Programas Concurrentes con aspectos Aleatorios y Temporizados. Funded by CONICET (AR), CNRS (FR). 2005 - 2007.
Teoría y Herramientas para la Construcción de Software Crítico. Funded by FonCyT - ANPCyT (PICT 11738). 2003 - 2006.

Pages