Get started
Author

Rui Yao

Dynamic task offloading strategy in mobile edge computing using meta-reinforcement learning with adaptive learning rate adjustment
2026 · Rui Yao, Yong Wang, et al. · Journal of King Saud University - Computer and Information Sciences · 2
PELSE: Asymmetric-Evidence-Guided MCU Peripheral Model Synthesis
2026 · Guohao Wu, Chunlin Wang, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE)
PDF
Design of a Log-Free NVM-Based Block Device Cache for Embedded Real-Time Systems
2026 · Lianran Xia, Feng Hong, et al. · International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)
LARTS: Language Abstractions for Real-Time and Secure Systems
2026 · Yanqi Li, Hongliang Liang, et al. · Proceedings of the ACM on Programming Languages
LLM-Driven Automated Generation of Formal Specifications for C Programs
2025 · Lanxin He, Yang Zhang, et al. · International Conference on Blockchain Technology and Information Security (ICBCTIS)
BIPSec: An End-to-End Formal Verification Framework for AH/ESP in Industrial-Grade IPSec Protocol Stacks
2025 · Chuan Li, Yang Zhang, et al. · International Conference on Blockchain Technology and Information Security (ICBCTIS)
A Formal Verification Method for Kernel Heap Allocation Modules Based on BIP
2025 · Hong Zhao, Yang Zhang, et al. · International Symposium on AI and Cybersecurity (ISAICS)
IKEv2-FV: A BIP-Based Formal Verification Framework for the IKEv2 Protocol
2025 · Chuan Li, Yang Zhang, et al. · International Symposium on AI and Cybersecurity (ISAICS)
Works count: 8
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type