Yi Zhu
Orcid: 0000-0002-0996-0142Affiliations:
- Jiangsu Normal University, School of Computer Science, Xuzhou, China
- Nanjing University of Aeronautics and Astronautics, Ministry of Industry and Information Technology, Key Laboratory of Safety-Critical Software, China (PhD 2011)
According to our database1,
Yi Zhu
authored at least 41 papers
between 2008 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
HPDA: An enhanced GNN-based software vulnerability detection approach by hybrid-scale perception and data augmentation.
Softw. Qual. J., September, 2025
Using composite attribute similarity multi-graph convolutional network for recommendation.
Appl. Intell., September, 2025
Spatio-Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety.
Softw. Pract. Exp., 2025
Behavioral decision-making and safety verification approaches for autonomous driving system in extreme scenarios.
J. Syst. Softw., 2025
Class Imbalance-oriented Online Feature Selection Method for Just-in-time Software Defect Prediction.
Int. J. Softw. Eng. Knowl. Eng., 2025
Proceedings of the 2025 11th International Symposium on System Security, 2025
2024
An Empirical Study of the Impact of Class Overlap on the Performance and Interpretability of Cross-Version Defect Prediction.
Int. J. Softw. Eng. Knowl. Eng., December, 2024
Evolutionary measures and their correlations with the performance of cross-version defect prediction for object-oriented projects.
J. Softw. Evol. Process., June, 2024
An Empirical Study on Model-Agnostic Techniques for Source Code-Based Defect Prediction.
Int. J. Softw. Eng. Knowl. Eng., March, 2024
A Cascade Domain Clustering Algorithm for Multiview DSM Fusion From Urban Satellite Images.
IEEE Trans. Geosci. Remote. Sens., 2024
Behavior Safety Decision-Making Based on Deep Deterministic Policy Gradient and Its Verification Method.
Symmetry, 2024
A Generalized Voronoi Diagram-Based Segment-Point Cyclic Line Segment Matching Method for Stereo Satellite Images.
Remote. Sens., 2024
Proceedings of the 24th IEEE International Conference on Software Quality, 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
Safety decision of autonomous driving behavior based on Bayesian network and its verification method.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
A Model-Agnostic Interpretability Approach Based on Enhanced Hierarchical Clustering.
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
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023
2022
Cross-Project Defect Prediction Considering Multiple Data Distribution Simultaneously.
Symmetry, 2022
Inf. Softw. Technol., 2022
Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints.
Int. J. Softw. Eng. Knowl. Eng., 2022
Safety Verification of Driving Resource Occupancy Rules Based on Functional Language.
Future Internet, 2022
Evaluating the effectiveness of local explanation methods on source code-based defect prediction models.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022
Evolutionary Measures for Object-oriented Projects and Impact on the Performance of Cross-version Defect Prediction.
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022
Space-time Constraint Resources Modeling and Safety Verification Method for Automated Vehicles.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
Analysis and Verification of Bisimulation Relationship for Learning Time-Behavior Sequence.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
The Change of Code Metrics for Predicting the Label Change on Evolutionary Projects: An Empirical Study.
Proceedings of the Web Information Systems and Applications, 2022
2021
Future Internet, 2021
Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions.
IEEE Access, 2021
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