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
- Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Concurrentes y Estocásticos. Funded by SeCyT-UNC. 2012 - 2013.
- Modelado y Análisis de Sistemas Tolerantes a Fallas. Funded by FONCYT - ANPCyT (PICT 02272). 2009 - 2013.
- Fundamentos y Técnicas para el Análisis de Dependibilidad de Sistemas Distribuidos y Estocásticos. Funded by SeCyT-UNC. 2010 - 2011.
- Verification of Probabilistic Distributed Systems. Funded by FONCYT - ANPCyT (PICT 26135). 2006 - 2010.
- QTDDS: Quantitative Techniques for Dependable Distributed Systems. Funded by MinCyT (AR), DAAD (DE). 2009 - 2010.
- 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.