​
Login / Signup
Xu Lu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 6
Top Topics
Access Control
Classification Performances
Avoid Overfitting
Bandwidth Usage
Top Venues
CoRR
J. Inf. Secur. Appl.
ESEC/SIGSOFT FSE
Expert Syst. Appl.
</>
Publications
</>
Ruixuan Miao
,
Xu Lu
,
Cong Tian
,
Bin Yu
,
Jin Cui
,
Zhenhua Duan
Using experience classification for training non-Markovian tasks.
Expert Syst. Appl.
255 (2024)
Zhi Ma
,
Cheng Wen
,
Jie Su
,
Ming Zhao
,
Bin Yu
,
Xu Lu
,
Cong Tian
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.
CoRR
(2024)
Jiaqi Guo
,
Cong Tian
,
Xu Lu
,
Liang Zhao
,
Zhenhua Duan
Multi-keyword ranked search with access control for multiple data owners in the cloud.
J. Inf. Secur. Appl.
82 (2024)
Ruixuan Miao
,
Xu Lu
,
Cong Tian
,
Bin Yu
,
Zhenhua Duan
Using Experience Classification for Training Non-Markovian Tasks.
CoRR
(2023)
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)
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 (2023)