N. Shi

Reverse Engineering of Design Patterns for High Performance Computing

Ronald A. Olsson, Nija Shi, R. Olsson, 2005 .

Reverse Engineering of Design Patterns from Java Source Code

Ronald A. Olsson, Nija Shi, R. Olsson, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

IKOS: A Framework for Static Analysis Based on Abstract Interpretation

Jorge A. Navas, Guillaume Brat, Arnaud Venet, 2014, SEFM.