Herbert Oliveira Rocha

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Djones Vinicius Lettnin

CORDEIRO, L. C.; BECKER, L. B.;LETTNIN, D.; BARRETO, R. S.. Verificação de Sistemas de Software baseada em Transformações de Código usando Bounded Model Checking. 2015. Tese (Doutorado em Programa de Pós-Graduação em Informática) - Universidade Federal do Amazonas.

Djones Vinicius Lettnin

BARRETO, R. S.; CORDEIRO, L. C.;LETTNIN, D. V.. Corretude e Segurança de Sistemas Embarcados Críticos usando Bounded Model Checkers com Métodos de Verificações Simplificadas. 2013. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Amazonas.

Djones Vinicius Lettnin

CORDEIRO, L. C.;LETTNIN, D.; BARRETO, R. S.. Aperfeiçoamento da Verificação de Sistemas de Software usando Bounded Model Checker. 2013. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Informática) - Universidade Federal do Amazonas.

Leandro Buss Becker

BECKER, L. B.. Verificação de sistemas de software baseada em transformações de código usando bounded model checking. 2015. Tese (Doutorado em Programa de Pós-Graduação em Informática) - Universidade Federal do Amazonas.