Login / Signup
Fengwei Xu
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 2
Top Topics
Operating System
Kernel Function
Rotationally Symmetric
Shape Matching
Top Venues
Ars Comb.
CAV (2)
</>
Publications
</>
Fengwei Xu
,
Ming Fu
,
Xinyu Feng
,
Xiaoran Zhang
,
Hui Zhang
,
Zhaohui Li
A Practical Verification Framework for Preemptive OS Kernels.
CAV (2)
(2016)
Fengwei Xu
,
Wei-Fan Wang
,
Ko-Wei Lih
Full Orientability of the Square of a Cycle.
Ars Comb.
122 (2015)