Andrei Rimsa

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 2

Top Topics

Computationally Expensive

Multiresolution

Top Venues

Sci. Comput. Program.

Softw. Pract. Exp.

Publications

Andrei Rimsa, José Nelson Amaral, Fernando M. Q. Pereira
Practical dynamic reconstruction of control flow graphs. Softw. Pract. Exp. 51 (2) (2021)
Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira
Efficient and Precise Dynamic Construction of Control Flow Graphs. SBLP (2019)
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha
Efficient static checker for tainted variable attacks. Sci. Comput. Program. 80 (2014)
Andrei Rimsa, Mark A. J. Song, Luis Enrique Zárate
SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. SMC (2013)
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira
Tainted Flow Analysis on e-SSA-Form Programs. CC (2011)
Andrei Rimsa, Luis Enrique Zárate, Mark A. J. Song
Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. ICCS (1) (2009)
Andrei Rimsa, Luis Enrique Zárate, Mark A. J. Song
Handling Large Formal Context Using BDD - Perspectives and Limitations. ICFCA (2009)