Mariana Araújo Tavares

Informações coletadas do Lattes

Acadêmico

Comissão julgadora das bancas

Luciana Brasil Rebelo dos Santos

BERKENBROCK, G. R.; JASKOWIAK, P. A.;Brasil Rebelo dos Santos, Luciana. Uma abordagem para transformação de modelos e propriedades semi-formais para modelos formais. 2020. Exame de qualificação (Mestrando em Engenharia de Sistemas Eletrônicos) - Universidade Federal de Santa Catarina.

Pablo Andretta Jaskowiak

BERKENBROCK, G. R.;JASKOWIAK, P. A.; SANTOS, L. B. R.. Uma abordagem para transformação de modelos e propriedades semi-formais para modelos formais. 2020. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia de Sistemas Eletrônicos) - Universidade Federal de Santa Catarina.

Foi orientado por

Gian Ricardo Berkenbrock

Transformação de modelos para sistemas de tempo real; 2021; Dissertação (Mestrado em Engenharia de Sistemas Eletrônicos) - Universidade Federal de Santa Catarina,; Orientador: Gian Ricardo Berkenbrock;

Marcelo de Sousa Balbino

Orientação da aluna Mariana Araújo Tavares; 2014; Orientação de outra natureza; (Engenharia de Computação) - Centro Federal de Educação Tecnológica de Minas Gerais; Orientador: Marcelo de Sousa Balbino;