TEDE: Browsing DSpace

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:

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

Showing results 1 to 16 of 16