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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
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
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
Int. J. Internet Protoc. Technol., 2019
2017
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
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009
2008
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008
Proceedings of the 9th International Conference for Young Computer Scientists, 2008