Research projects

2017 - Present - Um Framework Baseado em Modelos para Análise e Teste Composicionais de Sistemas Reativos

2016 - Present - INCT para Engenharia de Software (INES)

2016 - Present - Reducing Cost of Software: A Scalable Model-Based Verification Framework

2015 - Present - Validação de Software e Automação de Testes

2013 - Present - 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

Veja mais: 123