Research projects
2015 - Present - Validação de Software e Automação de Testes
2013 - 2018 - Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica
2012 - 2015 - Modelagem e Análise Composicional de Sistemas de Sistemas com Aplicações na Indústria Aeronáutica
2011 - 2014 - COMPASS - Comprehensive Modelling for Advanced Systems of Systems
2010 - 2014 - Confiabilidade e Segurança em Software CrÃtico Embarcado
2007 - 2010 - Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real
2005 - 2008 - Testes de aplicações para disseminação, capacitação e manutenção de dispositivios celulares (CT-INFO)