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
- RAFTSys: Resilience Analysis for Fault Tolerant Systems | Análisis de Resiliencia para Sistemas Tolerantes a Fallas. Funded by FONCYT - ANPCyT (PICT 2017-3894). 2019 - 2023.
- Análisis de Resiliencia en Sistemas Embebidos (ARES). Funded by SeCyT-UNC (33620180100354C). 2018 - 2023.
- Centro de Transferencia e Investigación en Ingeniería de Software. Funded by FONCYT - ANPCyT (PPL-2011-2-0004). 2011 - 2020. (See also project home page)
- Fundamentos, Algoritmos, Métodos y Herramientas para la Construcción de Programas Confiables. Funded by SeCyT-UNC. 2016 - 2018.
- Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Distribuidos y Estocásticos. Funded by SeCyT-UNC. 2016 - 2018.
- Fundamentos, algoritmos y herramientas para el desarrollo de sistemas distribuidos confiables. Funded by FONCYT - ANPCyT (PICT 2012-1823). 2013 - 2017.
- Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Distribuidos y Estocásticos. Funded by SeCyT-UNC (05/B497). 2014 - 2016.
- Fundamentos, Algoritmos y Herramientas para la Construcción de Programas Confiables. Funded by SeCyT-UNC (05/BP12). 2014 - 2016.
- MEALS: Mobility between Europe and Argentina applying Logics to Systems. Funded by 7FP, European Commission (295261). 2011 - 2015. (See also project home page)
- Fundamentos, Algoritmos y Herramienta para la Construcción de Programas Confiables. Funded by SeCyT-UNC. 2012 - 2013.