Research projects

2013 - Present - Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica

2012 - Present - Modelagem e Análise Composicional de Sistemas de Sistemas com Aplicações na Indústria Aeronáutica

2011 - Present - COMPASS - Comprehensive Modelling for Advanced Systems of Systems

2010 - Present - 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 - FORMULA - Formal Methods and UML-RT Integration (Edital Universal)

2005 - 2008 - Testes de aplicações para disseminação, capacitação e manutenção de dispositivios celulares (CT-INFO)

Veja mais: 123