Travelled to:1 × France
1 × Japan
Collaborated with:R.A.Olsson G.Brat J.A.Navas A.Venet
Talks about:interpret (1) framework (1) abstract (1) pattern (1) analysi (1) static (1) revers (1) design (1) sourc (1) engin (1)
Person: Nija Shi
 DBLP: Shi:Nija
Contributed to:
Wrote 2 papers:
- SEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis
 - IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
 - ASE-2006-ShiO #design pattern #java #reverse engineering #source code
 - Reverse Engineering of Design Patterns from Java Source Code (NS, RAO), pp. 123–134.
 













