Periódicos

2015

Download it 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]
Download it 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]
Download it 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]

2004

Download it 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]

Conferências

2016

Download it 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]
Download it 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]
Download it 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]
Download it 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]

2015

Download it Campos Victor, Alves Péricles, and Pereira Fernando. Restritificação. Simpósio Brasileiro de Linguagens de Programação, Belo Horizonte, Brasil, 2015. [BIBTEX] [SLIDES]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]

2014

Download it 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]

2013

Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]
Download it 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]

2011

Download it 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]

2003

Download it 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]

2002

Download it 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]

2001

Download it 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]
Download it 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]