Projetos de pesquisa em andamento:
- Suporte metodológico ao processo de desenvolvimento de software científico, 2017-
Projetos de pesquisa anteriores:
- DEVASSES (DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS), 2014-2107
- Dependabilidade em Linhas de Produtos de Software Dinâmicas Orientadas a Serviço, 2013-2016
- TIDIA-Ae (fase 1) Aprendizado Eletrônico sobre Plataforma de Redes de Alta Velocidade, 2004-2006