Yi Zhu

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 4

Top Topics

Process Algebra

Autonomous Driving

Grand Challenge

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Int. J. Internet Protoc. Technol.

Softw. Pract. Exp.

Publications

Jinyong Wang, Zhiqiu Huang, Yi Zhu, Guohua Shen
Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints. Int. J. Softw. Eng. Knowl. Eng. 32 (4) (2022)
Junhua Zhang, Yi Zhu, Fangxiong Xiao
Modelling and analysis of real-time and reliability for WSN-based CPS. Int. J. Internet Protoc. Technol. 12 (2) (2019)
Yi Zhu, Zhiqiu Huang, Hang Zhou
Modeling and verification of Web services composition based on model transformation. Softw. Pract. Exp. 47 (5) (2017)
Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao
Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. Int. J. Softw. Eng. Knowl. Eng. 26 (7) (2016)
Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. QSIC (2010)
Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, Yi Zhu
Ensuring Coordination of Multi-business Interactions. IEEE SCC (2009)
Yi Zhu, Zhiqiu Huang, Hang Zhou
A Formal Method Support for Resource Modeling of Web Services Composition. ISCSCT (1) (2008)
Hang Zhou, Zhiqiu Huang, Yi Zhu
Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. ICYCS (2008)