Xiaopu Huang

Composition of AADL Components by Transformation to Interface Automata

Yan Zhang, Tian Zhang, Jiangwei Li, 2012, ISCTCS.

Timing Aspects Construction Using UML-MARTE Profile

Tian Zhang, Jiangwei Li, Qingqing Sun, 2012, ISCTCS.

MDE-Based Verification of SysML State Machine Diagram by UPPAAL

Tian Zhang, Jiangwei Li, Qingqing Sun, 2012, ISCTCS.

An MDE-based approach to the verification of SysML state machine diagram

Minxue Pan, Tian Zhang, Jiangwei Li, 2012, Internetware.