default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBin Yu 0008
Person information
- affiliation: Xidian University, School of Computer Science and Technology, Shaanxi, China
- affiliation (PhD 2019): Xidian University, Department of Computer Science, Xi'an, China
Other persons with the same name
- Bin Yu — disambiguation page
- Bin Yu 0001
![[0000-0002-8888-4060]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-8888-4060")
— University of California, Berkeley, Department of Statistics, CA, USA (and 1 more) - Bin Yu 0002 — Michigan State University, Department of Computer Science, East Lansing, MI, USA
- Bin Yu 0003 — Zhengzhou Information Science and Technology Institute, Department of Computer Science, China (and 2 more)
- Bin Yu 0004 — Eindhoven University of Technology, Industrial Design Department, The Netherlands
- Bin Yu 0005 — Brunel University London, UK
- Bin Yu 0006 — Carnegie Mellon University, Pittsburgh, PA, USA (and 1 more)
- Bin Yu 0007 — Qingdao University of Science and Technology, College of Mathematics and Physics, China (and 1 more)
- Bin Yu 0009 — Monash University, DATA61, CSIRO, Melbourne, VIC, Australia
- Bin Yu 0010 — University of Illinois Urbana-Champaign, Department of Computer Science, IL, USA
- Bin Yu 0011 — Xidian University, School of Computer Science and Technology, Xi'an, Shaanxi, China (and 1 more)
- Bin Yu 0012 — Hunan Normal University, School of Mathematics and Statistics, Changsha, China
- Bin Yu 0013 — University of Electronic Science and Technology of China, National Key Laboratory of Science and Technology on Communications, Chengdu, China (and 1 more)
- Bin Yu 0014 — Xidian University, Xi'an, Shaanxi, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2025
[j11]Xu Lu, Bin Yu, Cong Tian, Chu Chen, Zhenhua Duan:
On the exploitation of control knowledge for enhancing automated planning. Inf. Sci. 693: 121666 (2025)- 2024
- [j10]Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan:
Using experience classification for training non-Markovian tasks. Expert Syst. Appl. 255: 124649 (2024) - 2023
- [j9]Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan:
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117: 103034 (2023) - [j8]Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan:
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34(1): 76-91 (2023) - 2022
- [j7]Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan:
Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. 120: 102811 (2022) - [j6]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186: 111195 (2022) - [j5]Ming Lei, Bin Yu, Xingjun Zhang, Scott Fowler, Bocheng Yu, Peng Wang:
Joint power control and user scheduling for backbone-assisted industrial wireless networks with successive interference cancellation. Telecommun. Syst. 81(1): 41-52 (2022) - 2021
- [j4]Ming Lei, Bin Yu, Scott Fowler, Xingjun Zhang, Cheng Lu:
Throughput Maximization in Backbone-Assisted Wireless Powered Communication Networks With Successive Interference Cancellation. IEEE Commun. Lett. 25(8): 2688-2692 (2021) - [j3]Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan:
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22(3): 1907-1918 (2021) - [j2]Ming Lei, Xingjun Zhang, Bocheng Yu, Scott Fowler, Bin Yu:
Throughput maximization for UAV-assisted wireless powered D2D communication networks with a hybrid time division duplex/frequency division duplex scheme. Wirel. Networks 27(3): 2147-2157 (2021) - 2020
- [j1]Bin Yu, Ping Zhan, Ming Lei, Fang Zhou, Peng Wang:
Food Quality Monitoring System Based on Smart Contracts and Evaluation Models. IEEE Access 8: 12479-12490 (2020)
Conference and Workshop Papers
- 2024
- [c18]Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong:
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. ASE 2024: 2454-2455 - [c17]Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan:
A Contract-Based Framework for Formal Verification of Embedded Software. SETTA 2024: 180-196 - 2023
- [c16]Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - [c15]Meng Wang, Ziheng Wang, Bin Yu, Kai Zhang:
WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts. QRS 2023: 150-161 - [c14]Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE 2023: 1153-1164 - 2022
- [c13]Wenyin Li, Meng Wang, Bin Yu, Yuhang Shi, Mingxin Fu, You Shao:
Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts. APSEC 2022: 1-10 - [c12]Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang:
Driver Violation Prediction based on Neural Network. DSA 2022: 143-152 - [c11]Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu:
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. DSA 2022: 280-289 - [c10]Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan:
Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE 2022: 78:1-78:13 - [c9]Shuai Zhang, Meng Wang, Yi Liu, Yuhan Zhang, Bin Yu:
Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency. QRS 2022: 616-627 - [c8]Jin Cui, Xu Lu, Guangliang Yu, Bin Yu:
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. SOFL+MSVL 2022: 70-76 - [c7]Ying Gao, Meng Wang, Bin Yu:
Dynamic Specification Mining Based on Transformer. TASE 2022: 220-237 - 2021
- [c6]Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS 2021: 691-701 - [c5]Ming Lei, Scott Fowler, Juzhen Wang, Xingjun Zhang, Bocheng Yu, Bin Yu:
Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks. VTC Fall 2021: 1-5 - 2020
- [c4]Long Tang, Bin Yu:
Generating Adversarial Examples in Limited Queries with Image Encoding and Noise Decoding. DSA 2020: 285-292 - [c3]Xu Lu, Bin Yu:
Pointer Program Synthesis as Non-deterministic Planning. SOFL+MSVL 2020: 126-141 - [c2]Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang:
Runtime Verification of Ethereum Smart Contracts Based on MSVL. SOFL+MSVL 2020: 142-153 - 2019
- [c1]Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen:
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. SOFL+MSVL 2019: 99-109
Informal and Other Publications
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-27 01:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
