| Food quality monitoring system based on smart contracts and evaluation models B Yu, P Zhan, M Lei, F Zhou, P Wang IEEE Access 8, 12479-12490, 2020 | 63 | 2020 |
| Verifying temporal properties of programs: a parallel approach B Yu, Z Duan, C Tian, N Zhang Journal of Parallel and Distributed Computing 118, 89-99, 2018 | 18 | 2018 |
| A novel load balancing scheme for mobile edge computing Z Duan, C Tian, N Zhang, M Zhou, B Yu, X Wang, J Guo, Y Wu Journal of Systems and Software 186, 111195, 2022 | 15 | 2022 |
| Throughput maximization for UAV-assisted wireless powered D2D communication networks with a hybrid time division duplex/frequency division duplex scheme M Lei, X Zhang, B Yu, S Fowler, B Yu Wireless Networks 27, 2147-2157, 2021 | 11 | 2021 |
| A dynamic approach to detecting, eliminating and fixing memory leaks B Yu, C Tian, N Zhang, Z Duan, H Du Journal of Combinatorial Optimization 42 (3), 409-426, 2021 | 10 | 2021 |
| A knowledge-based temporal planning approach for urban traffic control X Lu, N Zhang, C Tian, B Yu, Z Duan IEEE Transactions on Intelligent Transportation Systems 22 (3), 1907-1918, 2020 | 9 | 2020 |
| SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations C Chen, P Ren, Z Duan, C Tian, X Lu, B Yu Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 8 | 2023 |
| Improving transferability of adversarial examples by saliency distribution and data augmentation Y Dong, L Tang, C Tian, B Yu, Z Duan Computers & Security 120, 102811, 2022 | 6 | 2022 |
| Impact of commercial processing on volatile compounds and sensory profiles of flat peach juices by PLSR and BP network P Wang, H Tian, F Tan, Y Liu, B Yu, P Zhan Journal of Food Processing and Preservation, e14575, 2020 | 6 | 2020 |
| Bounded model checking of traffic light control system B Yu, Z Duan, C Tian Electronic Notes in Theoretical Computer Science 309, 63-74, 2014 | 6 | 2014 |
| Throughput maximization in backbone-assisted wireless powered communication networks with successive interference cancellation M Lei, B Yu, S Fowler, X Zhang, C Lu IEEE Communications Letters 25 (8), 2688-2692, 2020 | 5 | 2020 |
| Temporal logic specification mining of programs N Zhang, B Yu, C Tian, Z Duan, X Yuan Theoretical Computer Science 857, 29-42, 2021 | 4 | 2021 |
| Development stage prediction of flat peach by SVR model based on changes in characteristic taste attributes F Tan, P Zhan, Y Zhang, B Yu, H Tian, P Wang Food Science and Technology 42, e18022, 2022 | 3 | 2022 |
| A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties B Yu, C Tian*, X Lu*, N Zhang, Z Duan IEEE Transactions on Parallel and Distributed Systems 34 (1), 76-91, 2023 | 2 | 2023 |
| Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts W Li, M Wang, B Yu, Y Shi, M Fu, Y Shao 2022 29th Asia-Pacific Software Engineering Conference (APSEC), 1-10, 2022 | 2 | 2022 |
| Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency S Zhang, M Wang, Y Liu, Y Zhang, B Yu 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | 2 | 2022 |
| Dynamic Specification Mining Based on Transformer Y Gao, M Wang, B Yu International Symposium on Theoretical Aspects of Software Engineering, 220-237, 2022 | 2 | 2022 |
| Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks M Lei, S Fowler, J Wang, X Zhang, B Yu, B Yu 2021 IEEE 94th Vehicular Technology Conference (VTC2021-Fall), 1-5, 2021 | 2 | 2021 |
| Runtime Verification of Ethereum Smart Contracts Based on MSVL B Yu, X Lu, H Chen, M Lei, X Wang International Workshop on Structured Object-Oriented Formal Language and …, 2021 | 2 | 2021 |
| Formal Modeling and Verification of Convolutional Neural Networks based on MSVL L Zhao, L Wu, Y Gao, X Wang, B Yu 2022 9th International Conference on Dependable Systems and Their …, 2022 | 1 | 2022 |
Cong TianXidian University在 mail.xidian.edu.cn 的电子邮件经过验证
