A Model Driven based Aspect Oriented Model Weaving Framework for Distributed System. - Xiaoyan Wang 001; Shufen Liu; Shuqiu Li (CSCWD, 2007)

A cooperative engagement system based on dynamic workflow. - Jun Peng; Shufen Liu; Jinyu Li 004; Xiaoyan Wang 001; Tingting Qin (CSCWD, 2008)

An interface automata based model for web service composition. - Xiaoyan Wang 001; Shufen Liu; Tongcheng Geng; Jun Zhang; Shuqiu Li (CSCWD, 2008)

Quantitative model verification in VANET based on interval probabilistic timed automata. - Qiang Li; Xiaoyan Wang 001; Shufen Liu (CSCWD, 2014)