Xiaopu Huang

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Publications

Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang
MDE-Based Verification of SysML State Machine Diagram by UPPAAL. ISCTCS (2012)
Qingqing Sun, Xiaopu Huang, Jiangwei Li, Tian Zhang
Timing Aspects Construction Using UML-MARTE Profile. ISCTCS (2012)
Jiangwei Li, Jizhou Zhao, Qingqing Sun, Xiaopu Huang, Yan Zhang, Tian Zhang
Composition of AADL Components by Transformation to Interface Automata. ISCTCS (2012)
Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang
An MDE-based approach to the verification of SysML state machine diagram. Internetware (2012)