Banghu Yin
Orcid: 0000-0001-8711-6126
According to our database1,
Banghu Yin
authored at least 17 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 12th International Workshop on Quantitative Approaches to Software Quality co-located with the 31st Asia Pacific Software Engineering Conference 2024 (APSEC 2024), 2024
2023
Sci. Comput. Program., 2023
Proceedings of the IEEE International Conference on Software Analysis, 2023
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023
FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
2022
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021
2020
IEEE Trans. Reliab., 2020
2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
2015
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).
计算机科学, 2015
2014
J. Appl. Math., 2014