Bin Yu

According to our database, Bin Yu authored at least 22 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Adaptively parallel runtime verification based on distributed network for temporal properties.

Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan

Parallel Comput., September, 2023

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.

Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan

IEEE Trans. Parallel Distributed Syst., 2023

WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts.

Meng Wang, Ziheng Wang, Bin Yu, Kai Zhang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.

Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

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.

Ming Lei, Bin Yu, Xingjun Zhang, Scott Fowler, Bocheng Yu, Peng Wang

Telecommun. Syst., 2022

A novel load balancing scheme for mobile edge computing.

Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu

J. Syst. Softw., 2022

Improving transferability of adversarial examples by saliency distribution and data augmentation.

Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan

Comput. Secur., 2022

Dynamic Specification Mining Based on Transformer.

Ying Gao, Meng Wang, Bin Yu

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency.

Shuai Zhang, Meng Wang, Yi Liu, Yuhan Zhang, Bin Yu

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Prioritized Constraint-Aided Dynamic Partial-Order Reduction.

Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Driver Violation Prediction based on Neural Network.

Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Modeling and Verification of Convolutional Neural Networks based on MSVL.

Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts.

Wenyin Li, Meng Wang, Bin Yu, Yuhang Shi, Mingxin Fu, You Shao

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.

Ming Lei, Xingjun Zhang, Bocheng Yu, Scott Fowler, Bin Yu

Wirel. Networks, 2021

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control.

Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan

IEEE Trans. Intell. Transp. Syst., 2021

Throughput Maximization in Backbone-Assisted Wireless Powered Communication Networks With Successive Interference Cancellation.

Ming Lei, Bin Yu, Scott Fowler, Xingjun Zhang, Cheng Lu

IEEE Commun. Lett., 2021

Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks.

Ming Lei, Scott Fowler, Juzhen Wang, Xingjun Zhang, Bocheng Yu, Bin Yu

Proceedings of the 94th IEEE Vehicular Technology Conference, 2021

Improving Quality of Counterexamples in Model Checking via Automated Planning.

Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Food Quality Monitoring System Based on Smart Contracts and Evaluation Models.

Bin Yu, Ping Zhan, Ming Lei, Fang Zhou, Peng Wang

IEEE Access, 2020

Runtime Verification of Ethereum Smart Contracts Based on MSVL.

Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Generating Adversarial Examples in Limited Queries with Image Encoding and Noise Decoding.

Long Tang, Bin Yu

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019

Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads.

Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019