Checking Intra-Switch Conflicts of Rules During Preprocessing of Network Verification in SDN. - Yang Fang 002; Yiqin Lu (IEEE Commun. Lett., 2019)

Real-Time Verification of Network Properties Based on Header Space. - Yang Fang 002; Yiqin Lu (IEEE Access, 2020)