Yi Zhu

According to our database, Yi Zhu authored at least 15 papers between 2008 and 2025.

Collaborative distances:

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

2025

Spatio-Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety.

Jinyong Wang, Zhiqiu Huang, Deyan Yang, Xiaowei Huang, Yi Zhu

Softw. Pract. Exp., 2025

2024

A Privacy Leakage Detection Method for Personalized Course Recommendation Based on Pi-Calculus.

Zixin Wu, Xiaoyun Zhou, Yi Zhu, Chenyu Wang, Guosheng Hao

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

A Dynamic Interest-Aware Message-Passing GCN for Recommendation.

Weichao He, Yi Zhu, Mei Song, Zixin Wu, Guosheng Hao

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

A Time-Aware Recommendation Model with Social Impact.

Yuheng Su, Yi Zhu, Mei Song, Weichao He, Guosheng Hao

Proceedings of the 11th International Conference on Dependable Systems and Their Applications, 2024

Software Defect Prediction Model Based on Syntactic Semantics and Flow Information Features.

Chongyang Huang, Yi Zhu, Qiao Yu, Yi Ding, Guosheng Hao

Proceedings of the 11th International Conference on Dependable Systems and Their Applications, 2024

2023

Spatio-Temporal Rule Constraint Guided Safe Reinforcement Learning for CPS.

Chan Yin, Yi Zhu, Jinyong Wang, Guosheng Hao

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Validity Analysis of Software Defect Prediction Model for Mis-label Correction Based on CleanLab.

Ao Xu, Yi Zhu, Yuxiang Gao, Qiao Yu, Guosheng Hao

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

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