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

 
Showing results 1 to 15 of 15
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
17-Jun-2014Dissertação - Renato Barbosa Abreu.pdf.jpgAvaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidadeAbreu, Renato BarbosaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
27-Mar-2019Dissertação_HigoAlbuquerque_PPGEE.pdf.jpgUma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMTAlbuquerque, Higo FerreiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
2-Feb-2018Dissertação_Lennon Chaves.pdf.jpgFormal verification applied to attitude control software of unmanned aerial vehiclesChaves, Lennon CorrêaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
20-Dec-2013Dissertação - Mikhail Yasha  Ramalho Gadelha.pdf.jpgVerificação baseada em indução matemática para programas C++Gadelha, Mikhail Yasha RamalhoCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
13-Sep-2016Dissertação - Mário A. P. Garcia.pdf.jpgVerificação de programas C++ baseados no framework crossplataforma QtGarcia, Mário Angel PraiaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
11-Nov-2015Dissertação -Hussama Ibrahim Ismail.pdf.jpgVerificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixoIsmail, Hussama IbrahimCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
1-Apr-2015Francisco de Assis Pereira Januário.pdf.jpgBMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model CheckingJanuário, Francisco de Assis PereiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
10-Aug-2017Dissertação_Raimundo W. R. Melo.pdf.jpgVerificação de Programas Embarcados ANSI-C baseada em indução Matemática e InvariantesMelo, Raimundo Williame Rocha deCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
8-Jun-2021Dissertação_RafaelMenezes_PPGI.pdf.jpgGeração de casos de teste usando Bounded Model CheckingMenezes, Rafael SáCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaDissertação
27-Feb-2019Dissertação_PhillipePereira_PPGEE.pdf.jpgVerificação limitada de modelos baseada em SMT para programas CUDAPereira, Phillipe ArantesCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
4-Mar-2022Dissertação_LuizSena_PPGEE.pdf.jpgAutomated verification and refutation of quantized neural networksSena, Luiz Henrique CoelhoCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
17-Jan-2020Dissertação_FelipeRodriguesMonteiro_PPGI.pdf.jpgFormal verification to ensuring the memory safety of C++ ProgramsSousa, Felipe Rodrigues MonteiroCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaDissertação
3-Sep-2019Dissertação_AdrianaSouza_PPGEE.pdf.jpgVerificação de programas multi-tarefas baseado no framework multiplataforma QTSouza, Adriana Silva deCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
31-Jan-2020Tese_AlessandroTrindade_PPGI.pdf.jpgAutomated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project ValidationTrindade, Alessandro BezerraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaTese
9-Feb-2015Dissertação - Alessandro Bezerra Trindade.pdf.jpgAplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcadosTrindade, Alessandro BezerraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação