@article{Teixeira15,
  author = {Fernando Teixeira and Gustavo Vieira and Pablo Fonseca and Fernando Pereira and Hao Wong and Marcos José Nogueira and Leonardo Oliveira},
  journal = {IEEE Latin America Transactions},
  title = {Defending Internet of Things against Exploits},
  year = {2015},
  pages = {1112-1119},
  publisher = {IEEE} }

@article{Lemos15,
  author = {Antonio Neto and Leandro Melo and Omar Neto and Fernando Pereira and Leonardo Barbosa},
  journal = {IEEE Latin America Transactions},
  title = {Protecting Programs Against Memory Violation In Hardware},
  year = {2015},
  pages = {885-891},
  publisher = {IEEE} }

@article{Lemos15,
  author = {Felipe Saggioro and Vitor Paisante and Raphel Rodrigues and Leonardo Barbosa and Fernando Pereira},
  journal = {IEEE Latin America Transactions},
  title = {Crosschecking Distributed Data to Detect Integer Overflow},
  year = {2015},
  pages = {1083-1089},
  publisher = {IEEE} }

@InProceedings{Pereira03b,
  author = "Fernando Pereira and Marco Valente and Roberto Bigonha and Mariza Bigonha",
  title = "Chamada Remota de M\'{e}todos na Plataforma {J2ME/CLDC}",
  booktitle = "{WCSF} - 5th Brazilian Workshop on Wireless Communication and Mobile Computation",
  publisher = "SBC",
  pages = "157 - 168",
  year = "2003"
}

@inproceedings{Kind22,
  author = {Cecilia Kind and Joao Coelho and Bruno Kind and Fernando Magno Quint\~{a}o Pereira},
  title = {Geracao Automatica de Benchmarks para Compilacao Preditiva}
  booktitle = {SBLP},
  pages = {9--16},
  year = {2022},
  publisher = {ACM}
}

@inproceedings{Damasio22,
  author = {Thais Damasio and Michael Canesche and Vinicius Pacheco and Anderson Faustino and Fernando Magno Quint\~{a}o Pereira},
  title = {Impacto de Ofuscadores e Otimizadores de Codigo na Acuracia de Classificadores de Programas}
  booktitle = {SBLP},
  pages = {1--8},
  year = {2022},
  publisher = {ACM}
}

@inproceedings{Saffran20,
  author = {Joao Saffran and Haniel Barbosa and Fernando Magno Quint\~{a}o Pereira},
  title = {Sintetizador de Gram\'{a}ticas para Obfusca\c{c}\~{a}o de Dados em Sistemas de Logs}
  booktitle = {SBSeg - Tools},
  pages = {1--8},
  year = {2020},
  publisher = {SBC}
}

@inproceedings{Rimsa19,
  author = {Andrei \'{A}lvares Rimsa and Jose Nelson Amaral and Fernando Magno Quint\~{a}o Pereira},
  title = {Efficient and Precise Dynamic Construction of Control Flow Graphs}
  booktitle = {SBLP},
  pages = {19--26},
  year = {2019},
  publisher = {ACM}
}

@inproceedings{Guimaraes19,
  author = {Breno Ferreira Campos Guimar\~{a}es and Jos\'{e} Wesley Sousa Magalh\~{a}es and Fernando Magno Quint\~{a}o Pereira},
  title = {Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories}
  booktitle = {SBLP},
  pages = {62--69},
  year = {2019},
  publisher = {ACM}
}

@inproceedings{Ramos18,
  author = {Pedro Ramos and Gleison Souza Diniz Mendon\c{c}a and Guilherme V. Leobas and Fernando Magno Quint\~{a}o Pereira},
  title = {Taskminer: automatic identification of tasks}
  booktitle = {SBLP},
  pages = {11-18},
  year = {2018},
  publisher = {SBC}
}

@inproceedings{Tymbu18,
  author = {Hugo Sousa and Mateus Tymburiba},
  title = {Analise Dinamica de Programas Binarios}
  booktitle = {JAI - CSBC},
  year = {2018},
  publisher = {SBC}
}

@inproceedings{Capelao17b,
  author = {Carina Capelao de Oliveira and Glauco Goncalves Cardoso and Fernando Magno Quintao Pereira},
  title = {Aplicação Dinâmica de Políticas Estáticas de Fluxo}
  booktitle = {SBSeg},
  year = {2017},
  publisher = {SBC}
}

@inproceedings{Capelao17a,
  author = {Carina Capelao de Oliveira and Glauco Goncalves Cardoso and Fernando Magno Quintao Pereira},
  title = {InspectorJ: Uma Ferramenta de Análise Estática para Dectar Código não Isócrono em Programas Java}
  booktitle = {Congresso Brasileiro de Software - Sessão de Ferramentas},
  year = {2017},
  publisher = {SBC}
}

@inproceedings{Marcus17SBLP,
  author = {Marcus Rodrigues de Araújo, Leandro Terra Cunha Melo and Fernando Magno Quintão Pereira},
  title = {Inferência de Tipos Dependentes em C.},
  booktitle = {Simposio Brasileiro de Linguagens de Programacao – SBLP 2017},
  year = {2017},
  publisher = {SBC}
}

@inproceedings{Andrade16,
  author = {Kezia Correa Andrade Moreira and Gleison Souza Diniz Mendonca and Breno Campos Ferreira Guimaraes and and Pericles Rafael de Oliveira Alves and Fernando Magno Quintao Pereira},
  title = {Paralelizacao Automatica de Codigo com Diretivas {OpenACC}},
  booktitle = {SBLP},
  year = {2016},
  pages = {32--47},
}

@inproceedings{Ribeiro16,
  author = {Rodrigo Geraldo Ribeiro and Leandro Terra Cunha Melo and Marcus Rodrigues de Araujo and Fernando Magno Quintao Pereira},
  title = {Compilacao Parcial de Programas Escritos em {C}},
  booktitle = {SBLP},
  year = {2016},
  pages = {16--31},
}

@inproceedings{Moreira16,
  author = {Rubens Emilio and Sylvain Collange and Fernando Magno Quintao Pereira},
  title = {Definicao Semantica de Blocos Everywhere para Programacao {SIMD}},
  booktitle = {XX Simpósio Brasileiro de Linguagens de Programação},
  year = {2016},
  pages = {1--15},
}

@inproceedings{Guimaraes16,
  author = {Breno Campos Ferreira Guimaraes and Gleison Souza Diniz Mendonca and Pericles Rafael de Oliveira Alves and Fernando Magno Quintao Pereira},
  title = {DawnCC: a Source-to-Source Automatic Parallelizer of C and C++ Programs},
  booktitle = {CBSoft Tools},
  year = {2016},
  pages = {1--8},
}

@inproceedings{Campos15,
  author = {Victor Campos and Péricles Alves and Fernando Pereira},
  title = {Restritificação},
  year = {2015},
  publisher = "SBLP",
}

@inproceedings{Couto15,
  author = {Douglas Couto and Kezia Andrade and Gleison Souza and Fernando Pereira},
  title = {Etino: Colocação Automática de Computação em Hardware Heterogêneo},
  year = {2015},
  publisher = "SBLP",
}

@inproceedings{Emílio15,
  author = {Rubens Emílio and Mateus Tymburibá and Fernando Pereira},
  title = {RipRop: A Dynamic Detector of ROP Attacks},
  booktitle = "CBSoft Tools",
  year = {2015},
  pages = {9-16},
  publisher = "SBLP",
}

@inproceedings{Silva15,
  author = {Bruno Silva and Leonardo Ribeiro and Fernando Pereira},
  title = {FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo},
  booktitle = "CBSoft Tools",
  year = {2015},
  pages = {97-104},
  publisher = "SBLP",
}

@inproceedings{Couto15b,
  author = {Douglas Couto and Kezia Andrade and Gleison Souza, and Fernando Pereira},
  title = {Etino: Colocação Automática de Computação em Hardware Heterogêneo},
  booktitle = "CBSoft Tools",
  year = {2015},
  pages = {65-72},
  publisher = "SBLP",
}

@inproceedings{Campos15,
  author = {Victor Campos and Pericles Rafael and Fernando Pereira},
  title = {Restrictifier: a tool to disambiguate pointers at function call sites},
  booktitle = "CBSoft Tools",
  year = {2015},
  pages = {89-96},
  publisher = "SBLP",
}

@inproceedings{Cezar15,
  author = {Junio Cezar and Francisco Demontie and Mariza Bigonha and Fernando Pereira},
  title = {Asymptus - A Tool for Automatic Inference of Loop Complexity},
  booktitle = "CBSoft Tools",
  year = {2015},
  pages = {89-96},
  publisher = "SBLP",
}

@inproceedings{Emilio15,
  author = {XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais},
  title = {XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais},
  booktitle = {XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais — SBSeg 2015},
  pages = {2-15},
  year = {2015},
  publisher = {SBC}
}

@inproceedings{Silva15,
  author = {Bruno Silva and Diego Aranha and Fernando Pereira},
  title = {Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo},
  booktitle = {XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais — SBSeg 2015},
  pages = {16-29},
  year = {2015},
  publisher = {SBC}
}

@inproceedings{Teixeira14,
  author = {Fernando Teixeira and Fernando Pereira and Gustavo Vieira and Pablo Marcondes and Hao Wong and José Nogueira and Leonardo Oliveira},
  title = {Siot: Defendendo a Internet das Coisas contra Exploits},
  booktitle = {Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos – SBRC 2014},
  year = {2014},
  publisher = {SBC}
}

@inproceedings{Paisante13,
  author = {Vitor Paisante and Zafra Felipe and Rodrigues E. and Leonardo Oliveira and Fernando Pereira},
  title = {Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos},
  booktitle = {XIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais — SBSeg 2013},
  year = {2013},
  pages = {101-155},
  publisher = {SBC}
}

@inproceedings{Silva13,
  author = {Bruno Silva and Fernando Pereira and Leonardo Barbosa and Antônio Loureiro},
  title = {Flow Tracking: Uma ferramenta para detecção de vazamento de informações sigilosas},
  booktitle = {CBSoft Tools},
  year = {2013}
}

@inproceedings{Balena13,
  author = {Guilherme Balena and Matheus Vilela and Fernando Pereira},
  title = {Resolução de Bugs de Desempenho via Clonagem de Funções},
  booktitle = {Simpósio Brasileiro de Linguagens de Programação},
  year = {2013},
  pages = {1-20},
}

@inproceedings{Rodrigues13,
  author = {Raphael Rodrigues and Fernando Pereira},
  title = {Prevenção Automática de Ataques de Não-Terminação},
  booktitle = {Simpósio Brasileiro de Linguagens de Programação},
  year = {2013},
  pages = {21-40},
}

@inproceedings{Kareninna13,
  author = {Izabela Kareninna and Fernando Pereira and Leonardo Barbosa},
  title = {Detecção Automática de Vulnerabilidades em Código Protegido por Canários},
  booktitle = {Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais},
  year = {2013},
  pages = {1-14},
  publisher = {SBC}
}

@inproceedings{Silva13,
  author = {Bruno Silva and Fernando Pereira and Leonardo Barbosa},
  title = {Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação},
  booktitle = {Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais},
  year = {2013},
  pages = {15-28},
  publisher = {SBC}
}

@inproceedings{Santos13,
  author = {Henrique Santos and Fernando Pereira and Leonardo Barbosa},
  title = {Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos},
  booktitle = {Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais},
  year = {2013},
  pages = {29-42},
  publisher = {SBC}
}

@inproceedings{Vilela13,
  author = {Matheus Vilela and Fernando Pereira},
  title = {Otimizações de Código Sensíveis ao Contexto de Chamada},
  booktitle = {Workshop de Teses de Disertações do CBSoft},
  year = {2013},
  pages = {1-6},
}

@inproceedings{Vilela11,
  author = {Thiago Vilela and Fernando Pereira and Luiz Chaimowicz},
  title = {DroidTour: um Jogo Baseado em Localização para a Plataforma Android},
  booktitle = {X Simpósio Brasileiro de Games e Entretenimento DIgital},
  year = {2011},
  publisher = {SBC}
}

@inproceedings{Pereira03,
  author = {Fernando Pereira and Marco Valente and Roberto Bigonha and Mariza Bigonha},
  title = {Chamada Remota de Métodos na Plataforma J2ME/CLDC},
  year = {2003},
  pages = {21-31},
  publisher = {Revista Científica Periódica - Telecomunicações}
}

@inproceedings{Pereira02,
  author = {Fernando Pereira and Roberto Bigonha and Vladimir Iorio},
  title = {Aplicações de Avaliação Parcial de Programas},
  booktitle = {LIV Reunião Nacional da Sociedade Brasileira para o Progresso da Ciência},
  year = {2002},
}

@inproceedings{Pereira01a,
  author = {Fernando Pereira and Roberto Bigonha and Mariza Bigonha and Vladimir Iorio},
  title = {Avaliação Parcial de Programas usando CMIX/II},
  booktitle = {V Simpósio Brasileiro de Linguagens de Programação},
  year = {2001},
  pages = {C-32-C-47},
}

@inproceedings{Pereira01,
  author = {Fernando Pereira and Marco Valente and Roberto Bigonha and Mariza Bigonha},
  title = {Uma Linguagem para Coordenação de Aplicações em Redes Móveis},
  booktitle = {VI Simpósio Brasileiro de Linguagens de Programação},
  year = {2001},
  publisher = {SBLP}
}