Bin Yu
Orcid: 0000-0002-1680-3129Affiliations:
- Xidian University, School of Computer Science and Technology, Shaanxi, China
- Xidian University, Department of Computer Science, Xi'an, China (PhD 2019)
According to our database1,
Bin Yu
authored at least 30 papers
between 2019 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
2025
0
5
10
1
2
2
3
3
1
2
3
7
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Inf. Sci., 2025
2024
Expert Syst. Appl., 2024
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.
CoRR, 2024
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
2023
Adaptively parallel runtime verification based on distributed network for temporal properties.
Parallel Comput., September, 2023
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.
IEEE Trans. Parallel Distributed Syst., 2023
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
2022
Joint power control and user scheduling for backbone-assisted industrial wireless networks with successive interference cancellation.
Telecommun. Syst., 2022
Improving transferability of adversarial examples by saliency distribution and data augmentation.
Comput. Secur., 2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022
Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Throughput maximization for UAV-assisted wireless powered D2D communication networks with a hybrid time division duplex/frequency division duplex scheme.
Wirel. Networks, 2021
IEEE Trans. Intell. Transp. Syst., 2021
Throughput Maximization in Backbone-Assisted Wireless Powered Communication Networks With Successive Interference Cancellation.
IEEE Commun. Lett., 2021
Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks.
Proceedings of the 94th IEEE Vehicular Technology Conference, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
2020
IEEE Access, 2020
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020
Generating Adversarial Examples in Limited Queries with Image Encoding and Noise Decoding.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
2019
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019