Follow
Andrei Rimsa
Andrei Rimsa
Verified email at cefetmg.br - Homepage
Title
Cited by
Cited by
Year
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FM Quintão Pereira
International Conference on Compiler Construction, 124-143, 2011
312011
Efficient static checker for tainted variable attacks
A Rimsa, M d’Amorim, FMQ Pereira, RS Bigonha
Science of Computer Programming 80, 91-105, 2014
152014
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
132013
Evaluation of different bdd libraries to extract concepts in fca–perspectives and limitations
A Rimsa, LE Zárate, MAJ Song
International Conference on Computational Science, 367-376, 2009
72009
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
62008
Practical dynamic reconstruction of control flow graphs
A Rimsa, J Nelson Amaral, FMQ Pereira
Software: Practice and Experience 51 (2), 353-384, 2021
52021
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
32019
Handling large formal context using bdd–perspectives and limitations
A Rimsa, LE Zárate, MAJ Song
International Conference on Formal Concept Analysis, 194-209, 2009
22009
Construção Eficiente e Precisa de Grafos de Fluxo de Controle Dinâmicos
A Rimsa, JN Amaral, FM Quintão
2019
The system can't perform the operation now. Try again later.
Articles 1–9