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
- MEALS: Mobility between Europe and Argentina applying Logics to Systems. Funded by 7FP, European Commission (295261). 2011 - 2015. (See also project home page)
- Computación Heterogénea de Alto Desempeño. Funded by SeCyT-UNC. 2014 - 2014.
- Verificación automática de programas probabilistas y no-deterministas utilizando probadores de teoremas. Funded by SeCyT-UNC. 2012 - 2013.
- Fundamentos, Algoritmos y Herramienta para la Construcción de Programas Confiables. Funded by SeCyT-UNC (05/BP02). 2012 - 2013.
- Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Concurrentes y Estocásticos. Funded by SeCyT-UNC (05/B497). 2012 - 2013.
- Testing, Diagnosticabilidad y Verificación Formal de Seguridad y Funcionalidad en Implementaciones de Protocolos Criptográficos y Sistemas Distribuídos. 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.