Sign in
Xu Lu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Temporal Properties
Top Venues
CoRR
ESEC/SIGSOFT FSE
Parallel Comput.
</>
Publications
</>
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)