| Tainted flow analysis on e-SSA-form programs A Rimsa, M d˘Amorim, FM Quintão Pereira Compiler Construction: 20th International Conference, CC 2011, Held as Part …, 2011 | 32 | 2011 |
| Scgaz-A synthetic formal context generator with density control for test and evaluation of FCA algorithms A Rimsa, MAJ Song, LE Zárate 2013 IEEE International Conference on Systems, Man, and Cybernetics, 3464-3470, 2013 | 18 | 2013 |
| Practical dynamic reconstruction of control flow graphs A Rimsa, J Nelson Amaral, FMQ Pereira Software: Practice and Experience 51 (2), 353-384, 2021 | 16 | 2021 |
| Efficient static checker for tainted variable attacks A Rimsa, M d˘Amorim, FMQ Pereira, RS Bigonha Science of Computer Programming 80, 91-105, 2014 | 16 | 2014 |
| Evaluation of different BDD libraries to extract concepts in FCA–perspectives and limitations A Rimsa, LE Zárate, MAJ Song Computational Science–ICCS 2009: 9th International Conference Baton Rouge …, 2009 | 9 | 2009 |
| Técnica Motivacional Para o Ensino de Arquitetura de Computadores com Ênfase nos Grandes Desafios da Computação A Ribeiro, A Rimsa Workshop sobre Educação em Arquitetura de Computadores-WEAC, 2008 | 6 | 2008 |
| Efficient and precise dynamic construction of control flow graphs A Rimsa, JN Amaral, FM Quintão Proceedings of the XXIII Brazilian Symposium on Programming Languages, 19-26, 2019 | 4 | 2019 |
| Handling large formal context using bdd–perspectives and limitations A Rimsa, LE Zárate, MAJ Song Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt …, 2009 | 2 | 2009 |
| Instrumentação de programas binários legados para compatibilização com Intel CET EC Araújo, M Tymburibá, A Rimsa Anais Estendidos do XXIII Simpósio Brasileiro em Segurança da Informação e …, 2023 | | 2023 |
| Construção Eficiente e Precisa de Grafos de Fluxo de Controle Dinâmicos A Rimsa, JN Amaral, FM Quintão | | 2019 |
