Augusto Fernando, Menezes Gustavo, Marcondes Pablo, Fernando Pereira, Chi Hao, Marcos Jose, and Barbosa Leonardo. Defending Internet of Things against Exploits. Revista IEEE América Latina, vol. 13, issue 4, pages 1112-1119, 2015. ISSN 15480992. [BIBTEX] [SLIDES] | |
Neto Antonio, Melo Leandro, Neto Omar, Pereira Fernando, and Barbosa Leonardo. Protecting Programs Against Memory Violation In Hardware. Revista IEEE América Latina, vol. 13, issue 3, pages 885-891, 2015. ISSN 15480992. [BIBTEX] [SLIDES] | |
Saggioro Felipe, Paisante Vitor, Rodrigues Raphel, Barbosa Leonardo, and Pereira Fernando. Crosschecking Distributed Data to Detect Integer Overflow. Revista IEEE América Latina, vol. 13, issue 4, pages 1083-1089, 2015. ISSN 15480992. [BIBTEX] [SLIDES] | |
Fernando Pereira, Marco Valente, Roberto Bigonha, and Mariza Bigonha. Chamada Remota de Métodos na Plataforma J2ME/CLDC. Telecomunicações (Santa Rita do Sapucaí), vol. 7, pages 21-31, 2004. ISSN 15162338. [BIBTEX] [SLIDES] | |
Cecília Kind, João Coelho, Bruno Kind and Fernando Magno Quintão Pereira. Geração Automática de Programas para Compilação Preditiva, SBLP, 2022. [BIBTEX] | |
Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino and Fernando Magno Quintão Pereira. Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas, SBLP, 2022. [BIBTEX] | |
João Saffran, Haniel Barbosa and Fernando Magno Quintão Pereira. Sintetizador de Gramáticas para Obfuscação de Dados em Sistemas de Logs, SBSeg - Tools, 2020. [BIBTEX] | |
Andrei Rimsa, José Nelson Amaral and Fernando Magno Quintão Pereira. Efficient and Precise Dynamic Construction of Control Flow Graphs, SBLP, pages 19-26, 2019. [BIBTEX] | |
Breno Ferreira Campos Guimarães, José Wesley Sousa Magalhães, Anderson Faustino da Silva and Fernando Magno Quintão Pereira. Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories, SBLP, pages 62-69, 2019. [BIBTEX] [SLIDES] | |
Pedro Ramos, Gleison Souza Diniz Mendonça, Guilherme V. Leobas and Fernando Magno Quintão Pereira. Taskminer: automatic identification of tasks, SBLP, pages 11-18, 2018. [BIBTEX] | |
Hugo Sousa e Mateus Tumburibá Análise Dinâmica de Programas Binários, Jornada de Atualização em Informática, Brasil, 2018. [BIBTEX] | |
Carina Capelão de Oliveira, Glauco Gonçalves Cardoso and Fernando Magno Quintão Pereira. Aplicação Dinâmica de Políticas Estáticas de Fluxo, Brasília, SBSeg,Brasil, 2017. [BIBTEX] [SLIDES] | |
Carina Capelão de Oliveira, Glauco Gonçalves Cardoso and Fernando Magno Quintão Pereira. InspectorJ: Uma Ferramenta de Análise Estática para Dectar Código não Isócrono em Programas Java, Fortaleza, CBSoft Tools,Brasil, 2017 (Best Paper!). [BIBTEX] [SLIDES] | |
Marcus Rodrigues de Araújo, Leandro Terra Cunha Melo and Fernando Magno Quintão Pereira. Inferência de Tipos Dependentes em C. Simpósio Brasileiro de Linguagens de Programaçãos, Fortaleza, Brasil, 2017. [BIBTEX] [SLIDES] | |
Kézia Correa Andrade Moreira, Gleison Souza Diniz Mendonça, Breno Campos Ferreira Guimarães and Fernando Magno Quintão Pereira Paralelização Automatica de Codigo com Diretivas OpenACC XX Simpósio Brasileiro de Linguagens de Programação. Maringá, Brasil, 2016. [BIBTEX] [SLIDES] | |
Rodrigo Geraldo Ribeiro, Leandro Terra Cunha Melo, Marcus Rodrigues de Araújo and Fernando Magno Quintão Pereira Compilação Parcial de Programas Escritos em C XX Simpósio Brasileiro de Linguagens de Programação. Maringá, Brasil, 2016. [BIBTEX] [SLIDES] | |
Rubens Emílio Alves Moreira, Sylvain Collange and Fernando Magno Quintão PereiraDefinição Semântica de Blocos Everywhere para Programação SIMD XX Simpósio Brasileiro de Linguagens de Programação. Maringá, Brasil, 2016. [BIBTEX] [SLIDES] | |
Breno Campos Ferreira Guimarães, Gleison Souza Diniz Mendonça and Fernando Magno Quintão Pereira DawnCC: a Source-to-Source Automatic Parallelizer of C and C++ Programs. CBSoft Tools. Maringá, Brasil, 2016. [BIBTEX] [SLIDES] | |
Campos Victor, Alves Péricles, and Pereira Fernando. Restritificação. Simpósio Brasileiro de Linguagens de Programação, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Douglas Couto, Kezia Andrade, Gleison Souza, and Fernando Pereira. Etino: Colocação Automática de Computação em Hardware Heterogêneo. Simpósio Brasileiro de Linguagens de Programação, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Rubens Emílio, Mateus Tymburibá, and Fernando Pereira. RipRop: A Dynamic Detector of ROP Attacks. CBSoft Tools, pages 9-16, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Bruno Silva, Leonardo Ribeiro, and Fernando Pereira. FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo. CBSoft Tools, pages 97-104, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Douglas Couto, Kezia Andrade, Gleison Souza, and Fernando Pereira. Etino: Colocação Automática de Computação em Hardware Heterogêneo. CBSoft Tools, pages 65-72, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Victor Campos, Pericles Alves and Fernando Pereira. Restrictifier: a tool to disambiguate pointers at function call sites. CBSoft Tools, pages 89-96, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Junio Cezar, Francisco Demontie, Mariza Bigonha, and Fernando Pereira. Asymptus - A Tool for Automatic Inference of Loop Complexity. CBSoft Tools, pages 89-96, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES] | |
Rubens Emilio, Mateus Tymburiba, and Fernando Pereira. Inferênica Estática da Frequência Máxima de Instruções de Retorno para Detecção de Ataques ROP. XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, vol. 1, issue 1, pages 2-15, Florianópolis, Brasil, 2015. [BIBTEX] [SLIDES] | |
Bruno Silva, Diego Aranha, and Fernando Pereira. Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo. XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, vol. 1, issue 1, pages 16-29, Florianópolis, Brasil, 2015. [BIBTEX] [SLIDES] | |
Fernando Teixeira, Fernando Pereira, Gustavo Vieira, Pablo Marcondes, Hao Wong, José Nogueira, and Leonardo Oliveira. Siot: Defendendo a Internet das Coisas contra Exploits. Simpósio Brasileiro de Redes de Computadores, Floritanópolis, Brasil, 2014. [BIBTEX] [SLIDES] | |
Vitor Paisante, Zafra Felipe, Rodrigues E., Leonardo Oliveira, and Fernando Pereira. Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, Belo Horizonte, Brasil, 2013. [BIBTEX] [SLIDES] | |
Bruno Silva, Fernando Pereira, Leonardo Barbosa, and Antônio Loureiro. Flow Tracking: Uma ferramenta para detecção de vazamento de informações sigilosas. CBSoft Tools, Brasília, Brasil, 2013. [BIBTEX] [SLIDES] | |
Guilherme Balena, Matheus Vilela, and Fernando Pereira. Resolução de Bugs de Desempenho via Clonagem de Funções. Simpósio Brasileiro de Linguagens de Programação, vol. 1, issue 1, pages 1-20, Brasília, Brasil, 2013. [BIBTEX] [SLIDES] | |
Raphael Rodrigues and Fernando Pereira. Prevenção Automática de Ataques de Não-Terminação. Simpósio Brasileiro de Linguagens de Programação, vol. 1, issue 1, pages 21-40, Brasília, Brasil, 2013. [BIBTEX] [SLIDES] | |
Izabela Kareninna, Fernando Pereira, and Leonardo Barbosa. Detecção Automática de Vulnerabilidades em Código Protegido por Canários. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, vol. 1, issue 1, pages 1-14, Manaus, Brasil, 2013. [BIBTEX] [SLIDES] | |
Bruno Silva, Fernando Pereira, and Leonardo Barbosa. Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, vol. 1, issue 1, pages 15-28, Manaus, Brasil, 2013. [BIBTEX] [SLIDES] | |
Henrique Santos, Fernando Pereira, and Leonardo Barbosa. Verificação Estática de Acessos a Arranjos em C. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, vol. 1, issue 1, pages 29-42, Manaus, Brasil, 2013. [BIBTEX] [SLIDES] | |
Matheus Vilela and Fernando Pereira. Otimizações de Código Sensíveis ao Contexto de Chamada. Workshop de Teses de Disertações do CBSoft, vol. 1, issue 1, pages 1-6, Brasília, Brasil, 2013. [BIBTEX] [SLIDES] | |
Thiago Vilela, Fernando Pereira, and Luiz Chaimowicz. DroidTour: um Jogo Baseado em Localização para a Plataforma Android. X Simpósio Brasileiro de Games e Entretenimento DIgital, Salvador, Brasil, 2011. [BIBTEX] [SLIDES] | |
Fernando Pereira, Marco Valente, Roberto Bigonha, and Mariza Bigonha. Chamada Remota de Métodos na Plataforma J2ME/CLDC. V Workshop de Comunicação sem Fio e Computação Móvel, São Lourenço, Brasil, 2003. [BIBTEX] [SLIDES] | |
Fernando Pereira, Roberto Bigonha, and Vladimir Iorio. Aplicações de Avaliação Parcial de Programas. LIV Reunião Nacional da Sociedade Brasileira para o Progresso da Ciência, Goiânia, Brasil, 2002. [BIBTEX] [SLIDES] | |
Fernando Pereira, Roberto Bigonha, Mariza Bigonha, and Vladimir Iorio. Avaliação Parcial de Programas usando CMIX/II. V Simpósio Brasileiro de Linguagens de Programação, pages C-32-C-47, Curitiba, Brasil, 2001. [BIBTEX] [SLIDES] | |
Fernando Pereira, Marco Valente, Roberto Bigonha, and Mariza Bigonha. Uma Linguagem para Coordenação de Aplicações em Redes Móveis. VI Simpósio Brasileiro de Linguagens de Programação, Rio de Janeiro, Brasil, 2001.[BIBTEX] [SLIDES] | |