Sign in
Xiaokun Luan
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Formal Methods
Colored Petri Nets
Predicting Future
Model Checker
Top Venues
SETTA
QRS Companion
SEKE
</>
Publications
</>
Weidi Sun
,
Yuteng Lu
,
Xiaokun Luan
,
Meng Sun
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.
SETTA
(2023)
Xiaokun Luan
,
Xiyue Zhang
,
Meng Sun
Using LSTM to Predict Tactics in Coq.
SEKE
(2021)
Xiaokun Luan
,
Meng Sun
Modeling and Verification of CKB Consensus Protocol in Coq.
QRS Companion
(2021)