Yi Zhu

Affiliations:
  • Nanjing University of Aeronautics and Astronautics, College of Information Science and Technology, China


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Spatio-Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety.
Softw. Pract. Exp., 2025

2024
A Privacy Leakage Detection Method for Personalized Course Recommendation Based on Pi-Calculus.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024

A Dynamic Interest-Aware Message-Passing GCN for Recommendation.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024

A Time-Aware Recommendation Model with Social Impact.
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.
Proceedings of the 11th International Conference on Dependable Systems and Their Applications, 2024

2023
Spatio-Temporal Rule Constraint Guided Safe Reinforcement Learning for CPS.
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.
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.
Int. J. Softw. Eng. Knowl. Eng., 2022

2019
Modelling and analysis of real-time and reliability for WSN-based CPS.
Int. J. Internet Protoc. Technol., 2019

2017
Modeling and verification of Web services composition based on model transformation.
Softw. Pract. Exp., 2017

2016
Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra.
Int. J. Softw. Eng. Knowl. Eng., 2016

2010
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.
Proceedings of the 10th International Conference on Quality Software, 2010

2009
Ensuring Coordination of Multi-business Interactions.
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.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008


  Loading...