Bin Yu - RankMe

47 papers A* 3A 1C 6Misc 2Journal 21Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition. AAAI Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2025	J	`jnl`	Collaboration with Generative AI to improve Requirements Change. Comput. Stand. Interfaces Yuan Kong, Nan Zhang, Zhenhua Duan, Bin Yu
2025	J	`jnl`	Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric. CoRR Hao Chen, Cong Tian, Zixuan He, Bin Yu, Yepang Liu, Jialun Cao
2025	J	`jnl`	On the exploitation of control knowledge for enhancing automated planning. Inf. Sci. Xu Lu, Bin Yu, Cong Tian, Chu Chen, Zhenhua Duan
2025	C	`conf`	WASDAM: Effectively Detecting Vulnerabilities in Wasm Smart Contracts Based on the Data Access Model. QRS Chu Chen, Xuan Wang, Pinghong Ren, Bin Yu, Jin Liu
2024	Misc	`conf`	A Contract-Based Framework for Formal Verification of Embedded Software. SETTA Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan
2024	A*	`conf`	Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. ASE Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong
2024	J	`jnl`	Generating Java code pairing with ChatGPT. Theor. Comput. Sci. Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan
2024	J	`jnl`	ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks. CoRR Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2024	J	`jnl`	Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. CoRR Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian
2024	J	`jnl`	Using experience classification for training non-Markovian tasks. Expert Syst. Appl. Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan
2023	J	`jnl`	A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
2023	J	`jnl`	Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan
2023	—	`conf`	Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan
2023	A	`conf`	SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
2023	J	`jnl`	Using Experience Classification for Training Non-Markovian Tasks. CoRR Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2023	C	`conf`	WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts. QRS Meng Wang, Ziheng Wang, Bin Yu, Kai Zhang
2022	J	`jnl`	A novel load balancing scheme for mobile edge computing. J. Syst. Softw. Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2022	—	`conf`	Driver Violation Prediction based on Neural Network. DSA Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang
2022	Misc	`conf`	Dynamic Specification Mining Based on Transformer. TASE Ying Gao, Meng Wang, Bin Yu
2022	—	`conf`	Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. DSA Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu
2022	C	`conf`	Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts. APSEC Wenyin Li, Meng Wang, Bin Yu, Yuhang Shi, Mingxin Fu, You Shao
2022	J	`jnl`	Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan
2022	—	`conf`	Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. SOFL+MSVL Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
2022	J	`jnl`	Joint power control and user scheduling for backbone-assisted industrial wireless networks with successive interference cancellation. Telecommun. Syst. Ming Lei, Bin Yu, Xingjun Zhang, Scott Fowler, Bocheng Yu, Peng Wang
2022	C	`conf`	Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency. QRS Shuai Zhang, Meng Wang, Yi Liu, Yuhan Zhang, Bin Yu
2022	A*	`conf`	Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan
2022	—	`conf`	Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. SOFL+MSVL Jin Cui, Xu Lu, Guangliang Yu, Bin Yu
2021	J	`jnl`	A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
2021	J	`jnl`	A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2021	J	`jnl`	A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021	—	`conf`	Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks. VTC Fall Ming Lei, Scott Fowler, Juzhen Wang, Xingjun Zhang, Bocheng Yu, Bin Yu
2021	C	`conf`	Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2021	J	`jnl`	Temporal logic specification mining of programs. Theor. Comput. Sci. Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan
2021	J	`jnl`	Throughput Maximization in Backbone-Assisted Wireless Powered Communication Networks With Successive Interference Cancellation. IEEE Commun. Lett. Ming Lei, Bin Yu, Scott Fowler, Xingjun Zhang, Cheng Lu
2021	J	`jnl`	Throughput maximization for UAV-assisted wireless powered D2D communication networks with a hybrid time division duplex/frequency division duplex scheme. Wirel. Networks Ming Lei, Xingjun Zhang, Bocheng Yu, Scott Fowler, Bin Yu
2020	J	`jnl`	Food Quality Monitoring System Based on Smart Contracts and Evaluation Models. IEEE Access Bin Yu, Ping Zhan, Ming Lei, Fang Zhou, Peng Wang
2020	—	`conf`	Generating Adversarial Examples in Limited Queries with Image Encoding and Noise Decoding. DSA Long Tang, Bin Yu
2020	—	`conf`	Pointer Program Synthesis as Non-deterministic Planning. SOFL+MSVL Xu Lu, Bin Yu
2020	—	`conf`	Runtime Verification of Ethereum Smart Contracts Based on MSVL. SOFL+MSVL Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang
2019	—	`conf`	Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. SOFL+MSVL Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen
2018	J	`jnl`	Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang
2014	—	`conf`	Unified Bounded Model Checking for MSVL. SOFL+MSVL Bin Yu, Zhenhua Duan, Cong Tian
2013	—	`conf`	Bounded Model Checking of Traffic Light Control System. TTSS Bin Yu, Zhenhua Duan, Cong Tian
2007	—	`conf`	Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. ICATPN Peng Men, Zhenhua Duan, Bin Yu
2006	C	`conf`	Semantic Matching of Web Services Based on Choreographies. CSCWD Lihui Lei, Zhenhua Duan, Bin Yu
2006	—	`conf`	Semantic Matching of Web Services for Collaborative Business Processes. CSCWD (Selected Papers) Lihui Lei, Zhenhua Duan, Bin Yu