Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
- | 6-Jul-2020 | Sistema para automação de testes no relé SEL-T400L | Honorato, Tiago da Rocha | Silva, Kleber Melo e | - |
27-Ago-2018 | 29-Set-2017 | Transformações de programa para suportar a evolução da linguagem Java | Dantas, Reno Medeiros | Almeida, Rodrigo Bonifácio de | - |
24-Out-2012 | 6-Jul-2012 | Um estudo sobre verificação formal de sistemas concorrentes | Queiroz, João Paulo Carvalho Colu de | Moura, Flávio Leonardo Cavalcanti de | - |
26-Jan-2011 | 19-Jul-2010 | Uma formalização da composicionalidade do cálculo lambda-ex em Coq | Barros, Flávio José Ferro | Moura, Flávio Leonardo Cavalcanti de | - |
8-Mar-2013 | - | Unification modulo Presburger Arithmetic and other decidable theories | Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de | - | - |