Yi Zhu

According to our database, Yi Zhu authored at least 8 papers between 2008 and 2022.

Collaborative distances:

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

2022

Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints.

Jinyong Wang, Zhiqiu Huang, Yi Zhu, Guohua Shen

Int. J. Softw. Eng. Knowl. Eng., 2022

2019

Modelling and analysis of real-time and reliability for WSN-based CPS.

Junhua Zhang, Yi Zhu, Fangxiong Xiao

Int. J. Internet Protoc. Technol., 2019

2017

Modeling and verification of Web services composition based on model transformation.

Yi Zhu, Zhiqiu Huang, Hang Zhou

Softw. Pract. Exp., 2017

2016

Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra.

Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao

Int. J. Softw. Eng. Knowl. Eng., 2016

2010

An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.

Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan

Proceedings of the 10th International Conference on Quality Software, 2010

2009

Ensuring Coordination of Multi-business Interactions.

Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, Yi Zhu

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

A Formal Method Support for Resource Modeling of Web Services Composition.

Yi Zhu, Zhiqiu Huang, Hang Zhou

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.

Hang Zhou, Zhiqiu Huang, Yi Zhu

Proceedings of the 9th International Conference for Young Computer Scientists, 2008