Login / Signup
Yang Fang
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Preprocessing
Rule Sets
Verification Method
Network Properties
Top Venues
IEEE Commun. Lett.
IEEE Access
</>
Publications
</>
Yang Fang
,
Yiqin Lu
Real-Time Verification of Network Properties Based on Header Space.
IEEE Access
8 (2020)
Yang Fang
,
Yiqin Lu
Checking Intra-Switch Conflicts of Rules During Preprocessing of Network Verification in SDN.
IEEE Commun. Lett.
23 (9) (2019)