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.