Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. - Hang Zhou 002; Zhiqiu Huang; Yi Zhu 008 (ICYCS, 2008)

A Formal Method Support for Resource Modeling of Web Services Composition. - Yi Zhu 008; Zhiqiu Huang; Hang Zhou 002 (ISCSCT (1), 2008)

Ensuring Coordination of Multi-business Interactions. - Min Yuan; Zhiqiu Huang; Jun Hu; Xiang Li; Yi Zhu 008 (IEEE SCC, 2009)

An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. - Yi Zhu 008; Zhiqiu Huang; Zining Cao; Hang Zhou 002; Min Yuan (QSIC, 2010)

Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. - Yi Zhu 008; Zhiqiu Huang; Guangquan Zhang 002; Hang Zhou 002; Fangxiong Xiao (Int. J. Softw. Eng. Knowl. Eng., 2016)

Modeling and verification of Web services composition based on model transformation. - Yi Zhu 008; Zhiqiu Huang; Hang Zhou 002 (Softw. Pract. Exp., 2017)

Modelling and analysis of real-time and reliability for WSN-based CPS. - Junhua Zhang; Yi Zhu 008; Fangxiong Xiao (Int. J. Internet Protoc. Technol., 2019)

Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints. - Jinyong Wang; Zhiqiu Huang; Yi Zhu 008; Guohua Shen (Int. J. Softw. Eng. Knowl. Eng., 2022)