Search




Current filters:

Add filters:

Use filters to refine the search results.

Results 1-10 of 19 (Search time: 0.002 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
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
14-Sep-2018Dissertação_EricksonAlves_PPGEE.jpgLocalização de falhas em programas concorrentes em CAlves, Erickson Higor da SilvaLima Filho, Eddie Batista dePrograma 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
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
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
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
30-Aug-2019Verificação e síntese de controladores de realimentação de estados estática com garantias formais de desempenho não frágilCavalcante, Thiago Rodrigo FélixLima Filho, Eddie Batista dePrograma de Pós-graduação em Engenharia ElétricaDissertaçã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
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
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

Discover

???jsp.search.facet.refine.initials???
Document Type
???jsp.search.facet.refine.format???
???jsp.search.facet.refine.access???