Projects
Current Projects
- 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.
- Centro de Transferencia e Investigación en Ingeniería de Software. Funded by FONCYT - ANPCyT (PPL-2011-2-0004). 2013 - 2020. (See also project home page)
Past Projects
- 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.
- 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.