Xiaopu Huang

According to our database, Xiaopu Huang authored at least 4 papers in 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Timing Aspects Construction Using UML-MARTE Profile.

Qingqing Sun, Xiaopu Huang, Jiangwei Li, Tian Zhang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Composition of AADL Components by Transformation to Interface Automata.

Jiangwei Li, Jizhou Zhao, Qingqing Sun, Xiaopu Huang, Yan Zhang, Tian Zhang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

MDE-Based Verification of SysML State Machine Diagram by UPPAAL.

Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

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

Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012