Bin Yu

According to our database, Bin Yu authored at least 46 papers between 2006 and 2026.

Collaborative distances:

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

2026

T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric.

Hao Chen, Cong Tian, Zixuan He, Bin Yu, Yepang Liu, Jialun Cao

CoRR, August, 2025

On the exploitation of control knowledge for enhancing automated planning.

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

Inf. Sci., 2025

Collaboration with Generative AI to improve Requirements Change.

Yuan Kong, Nan Zhang, Zhenhua Duan, Bin Yu

Comput. Stand. Interfaces, 2025

WASDAM: Effectively Detecting Vulnerabilities in Wasm Smart Contracts Based on the Data Access Model.

Chu Chen, Xuan Wang, Pinghong Ren, Bin Yu, Jin Liu

Proceedings of the 25th International Conference on Software Quality, 2025

2024

Generating Java code pairing with ChatGPT.

Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan

Theor. Comput. Sci., 2024

Using experience classification for training non-Markovian tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan

Expert Syst. Appl., 2024

ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

CoRR, 2024

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.

Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian

CoRR, 2024

A Contract-Based Framework for Formal Verification of Embedded Software.

Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan

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.

Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong

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.

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

Using Experience Classification for Training Non-Markovian Tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

CoRR, 2023

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.

Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks.

Jin Cui, Xu Lu, Guangliang Yu, Bin Yu

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

Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.

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

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.

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

Temporal logic specification mining of programs.

Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan

Theor. Comput. Sci., 2021

A dynamic approach to detecting, eliminating and fixing memory leaks.

Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 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

Pointer Program Synthesis as Non-deterministic Planning.

Xu Lu, Bin Yu

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

2018

Verifying temporal properties of programs: A parallel approach.

Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang

J. Parallel Distributed Comput., 2018

2014

Unified Bounded Model Checking for MSVL.

Bin Yu, Zhenhua Duan, Cong Tian

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

2013

Bounded Model Checking of Traffic Light Control System.

Bin Yu, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

2007

Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.

Peng Men, Zhenhua Duan, Bin Yu

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Semantic Matching of Web Services for Collaborative Business Processes.

Lihui Lei, Zhenhua Duan, Bin Yu

Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Semantic Matching of Web Services Based on Choreographies.

Lihui Lei, Zhenhua Duan, Bin Yu

Proceedings of the 10th International Conference on CSCW in Design, 2006