Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. - Andrei Rimsa; Luis E. Zárate; Mark A. J. Song (ICCS (1), 2009)

Handling Large Formal Context Using BDD - Perspectives and Limitations. - Andrei Rimsa; Luis E. Zárate; Mark A. J. Song (ICFCA, 2009)

Tainted Flow Analysis on e-SSA-Form Programs. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira (CC, 2011)

SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. - Andrei Rimsa; Mark A. J. Song; Luis E. Zárate (SMC, 2013)

Efficient static checker for tainted variable attacks. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira; Roberto da Silva Bigonha (Sci. Comput. Program., 2014)

Efficient and Precise Dynamic Construction of Control Flow Graphs. - Andrei Rimsa; José Nelson Amaral; Fernando Magno Quintão Pereira (SBLP, 2019)

Practical dynamic reconstruction of control flow graphs - Andrei Rimsa Álvares (2020)

Practical dynamic reconstruction of control flow graphs. - Andrei Rimsa; José Nelson Amaral; Fernando M. Q. Pereira (Softw. Pract. Exp., 2021)

Instruction visibility in SPEC CPU2017. - Andrei Rimsa Álvares; José Nelson Amaral; Fernando Magno Quintão Pereira (J. Comput. Lang., 2021)