Composition of AADL Components by Transformation to Interface Automata. - Jiangwei Li; Jizhou Zhao; Qingqing Sun 003; Xiaopu Huang; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components. - Jizhou Zhao; Jiangwei Li; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

An Open Framework for Semantic Code Queries on Heterogeneous Repositories. - Tian Zhang 001; Minxue Pan; Jizhou Zhao; Yijun Yu; Xuandong Li (TASE, 2015)