Journals
- Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira. Instruction Visibility in SPEC CPU2017. Journal of Computer Languages, 2021.
- Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira. Practical Dynamic Reconstruction of Control Flow Graphs. Software, Practice and Experience, 2021.
- Andrei Rimsa, Marcelo D'Amorim, Fernando Magno Quintão Pereira, Roberto S. Bigonha. Efficient Static Checker for Tainted Variable Attacks. Science of Computer Programming, 2014.
Conferences
- Éverton Araújo, Mateus Tymburibá, Andrei Rimsa. Instrumentação de programas binários legados para compatibilização com Intel CET. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), 2023.
- Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira. Construção Eficiente e Precisa de Grafos de Fluxo de Controle Dinâmicos. Simpósio Brasileiro de Linguagens de Programação (SBLP), 2019.
- Andrei Rimsa, Luis E. Zárate, Mark A. J. Song. SCGaz – A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2013.
- Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira. Tainted Flow Analysis on e-SSA-form Programs. International Conference on Compiler Construction (CC), 2011.
- Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira. Efficient Static Checker for Tainted Variable Attacks. Simpósio Brasileiro de Linguagens de Programação (SBLP), 2010.
- Andrei Rimsa, Luis E. Zárate, Mark A. J. Song. Evaluation of Different BDD Libraries to Extract Concepts in FCA – Perspectives and Limitations. International Conference on Computational Science (ICCS), 2009.
- Andrei Rimsa, Luis E. Zárate, Mark A. J. Song. Handling Large Formal Context Using BDD – Perspectives and Limitations. International Conference on Formal Concept Analysis (ICFCA), 2009.
