Skip navigation
Home
Browse
Communities
& Collections
???jsp.layout.navbar-default.browse-by???
Issue Date
Author
Advisor
Title
Subject
CNPq Areas
Department
Program
Document Type
Access Type
Help
About Harversting
FAQ
???jsp.home.about???
???jsp.home.about.bdtd???
???jsp.layout.navbar-default.helpstandard???
Documentos úteis
Checklist para depósito de Teses e Dissertações
Checklist para depósito de Trabalhos de Conclusão de Curso - TCC
Carta de encaminhamento
Manual BDTD de autodepósito
Termo de solicitação de embargo
Tutorial BDTD
Autodepósito
Contato
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Português
English
Español
Universidade Federal do Amazonas
???jsp.home.dspace.heading.type???
TEDE
Browsing by Advisor
Cordeiro, Lucas Carvalho
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
???browse.sort-by.author???
issue date
submit date
???browse.sort-by.advisor???
Program
Document Type
title
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 16 of 16
Issue Date
Preview
Title
Author(s)
???itemlist.dc.contributor.advisor1???
Program
Document Type
17-Jun-2014
Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade
Abreu, Renato Barbosa
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
27-Mar-2019
Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT
Albuquerque, Higo Ferreira
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
2-Feb-2018
Formal verification applied to attitude control software of unmanned aerial vehicles
Chaves, Lennon Corrêa
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
20-Dec-2013
Verificação baseada em indução matemática para programas C++
Gadelha, Mikhail Yasha Ramalho
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
13-Sep-2016
Verificação de programas C++ baseados no framework crossplataforma Qt
Garcia, Mário Angel Praia
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
11-Nov-2015
Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
Ismail, Hussama Ibrahim
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
1-Apr-2015
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Januário, Francisco de Assis Pereira
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
10-Aug-2017
Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes
Melo, Raimundo Williame Rocha de
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
8-Jun-2021
Geração de casos de teste usando Bounded Model Checking
Menezes, Rafael Sá
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Informática
Dissertação
27-Feb-2019
Verificação limitada de modelos baseada em SMT para programas CUDA
Pereira, Phillipe Arantes
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
4-Mar-2022
Automated verification and refutation of quantized neural networks
Sena, Luiz Henrique Coelho
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
17-Jan-2020
Formal verification to ensuring the memory safety of C++ Programs
Sousa, Felipe Rodrigues Monteiro
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Informática
Dissertação
20-Dec-2023
LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects
Sousa, Janislley Oliveira de
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
3-Sep-2019
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Souza, Adriana Silva de
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação
31-Jan-2020
Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
Trindade, Alessandro Bezerra
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Informática
Tese
9-Feb-2015
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Trindade, Alessandro Bezerra
Cordeiro, Lucas Carvalho
Programa de Pós-graduação em Engenharia Elétrica
Dissertação