Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. - Bin Yu 008; Jinhui Liu; Ming Lei 003; Yong Yu 002; Hao Chen (SOFL+MSVL, 2019)

Generating Adversarial Examples in Limited Queries with Image Encoding and Noise Decoding. - Long Tang; Bin Yu 008 (DSA, 2020)

Pointer Program Synthesis as Non-deterministic Planning. - Xu Lu 003; Bin Yu 008 (SOFL+MSVL, 2020)

Runtime Verification of Ethereum Smart Contracts Based on MSVL. - Bin Yu 008; Xu Lu 003; Hao Chen; Ming Lei 003; Xiaobing Wang (SOFL+MSVL, 2020)

Food Quality Monitoring System Based on Smart Contracts and Evaluation Models. - Bin Yu 008; Ping Zhan; Ming Lei 003; Fang Zhou; Peng Wang 063 (IEEE Access, 2020)

Improving Quality of Counterexamples in Model Checking via Automated Planning. - Xu Lu 003; Cong Tian; Bin Yu 008; Zhenhua Duan (QRS, 2021)

Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks. - Ming Lei 003; Scott Fowler; Juzhen Wang; Xingjun Zhang; Bocheng Yu; Bin Yu 008 (VTC Fall, 2021)

Throughput Maximization in Backbone-Assisted Wireless Powered Communication Networks With Successive Interference Cancellation. - Ming Lei 003; Bin Yu 008; Scott Fowler; Xingjun Zhang; Cheng Lu 003 (IEEE Commun. Lett., 2021)

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. - Xu Lu 003; Nan Zhang 001; Cong Tian; Bin Yu 008; Zhenhua Duan (IEEE Trans. Intell. Transp. Syst., 2021)

Throughput maximization for UAV-assisted wireless powered D2D communication networks with a hybrid time division duplex/frequency division duplex scheme. - Ming Lei 003; Xingjun Zhang; Bocheng Yu; Scott Fowler; Bin Yu 008 (Wirel. Networks, 2021)

Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts. - Wenyin Li; Meng Wang 021; Bin Yu 008; Yuhang Shi; Mingxin Fu; You Shao (APSEC, 2022)

Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. - Liang Zhao 021; Leping Wu; Yu Gao; Xiaobing Wang; Bin Yu 008 (DSA, 2022)

Driver Violation Prediction based on Neural Network. - Xingguang Zhu; Jiajun Chang; Weikang Li; Bin Yu 008; Liang Zhao 021; Xiaobing Wang (DSA, 2022)

Prioritized Constraint-Aided Dynamic Partial-Order Reduction. - Jie Su 002; Cong Tian; Zuchao Yang; Jiyu Yang; Bin Yu 008; Zhenhua Duan (ASE, 2022)

Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency. - Shuai Zhang; Meng Wang 021; Yi Liu; Yuhan Zhang; Bin Yu 008 (QRS, 2022)

Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. - Jin Cui; Xu Lu 003; Guangliang Yu; Bin Yu 008 (SOFL+MSVL, 2022)

Dynamic Specification Mining Based on Transformer. - Ying Gao; Meng Wang 021; Bin Yu 008 (TASE, 2022)

Improving transferability of adversarial examples by saliency distribution and data augmentation. - Yansong Dong; Long Tang; Cong Tian; Bin Yu 008; Zhenhua Duan (Comput. Secur., 2022)

A novel load balancing scheme for mobile edge computing. - Zhenhua Duan; Cong Tian; Nan Zhang 001; Mengchu Zhou; Bin Yu 008; Xiaobing Wang; Jiangen Guo; Ying Wu (J. Syst. Softw., 2022)

Joint power control and user scheduling for backbone-assisted industrial wireless networks with successive interference cancellation. - Ming Lei 003; Bin Yu 008; Xingjun Zhang; Scott Fowler; Bocheng Yu; Peng Wang 063 (Telecommun. Syst., 2022)

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. - Chu Chen; Pinghong Ren; Zhenhua Duan; Cong Tian; Xu Lu 003; Bin Yu 008 (ISSTA, 2023)

WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts. - Meng Wang 021; Ziheng Wang; Bin Yu 008; Kai Zhang (QRS, 2023)

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. - Bin Yu 008; Cong Tian; Hengrui Xing; Zuchao Yang; Jie Su 002; Xu Lu 003; Jiyu Yang; Liang Zhao 021; Xiaofeng Li; Zhenhua Duan (ESEC/SIGSOFT FSE, 2023)

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. - Bin Yu 008; Cong Tian; Xu Lu 003; Nan Zhang 001; Zhenhua Duan (IEEE Trans. Parallel Distributed Syst., 2023)

Adaptively parallel runtime verification based on distributed network for temporal properties. - Bin Yu 008; Xu Lu 003; Cong Tian; Meng Wang 021; Chu Chen; Ming Lei 003; Zhenhua Duan (Parallel Comput., 2023)

Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. - Ruixue Li; Bin Yu 008; Xu Lu 003; Lei Ke; Jiawei Chen; Zixuan Yuan; Jingxian Wang; Cong Tian; Yansong Dong (ASE, 2024)

A Contract-Based Framework for Formal Verification of Embedded Software. - Xu Lu 003; Cong Tian; Bin Gu 006; Bin Yu 008; Chen Chen; Zhenhua Duan (SETTA, 2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. - Zhi Ma; Cheng Wen 002; Jie Su 002; Ming Zhao; Bin Yu 008; Xu Lu 003; Cong Tian (CoRR, 2024)

Using experience classification for training non-Markovian tasks. - Ruixuan Miao; Xu Lu 003; Cong Tian; Bin Yu 008; Jin Cui; Zhenhua Duan (Expert Syst. Appl., 2024)

Collaboration with Generative AI to improve Requirements Change. - Yuan Kong; Nan Zhang 001; Zhenhua Duan; Bin Yu 008 (Comput. Stand. Interfaces, 2025)

On the exploitation of control knowledge for enhancing automated planning. - Xu Lu 003; Bin Yu 008; Cong Tian; Chu Chen; Zhenhua Duan (Inf. Sci., 2025)