Ning Kang

According to our database, Ning Kang authored at least 3 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Network Specification Mining With High Fidelity, Scalability, and Readability.

Ning Kang, Peng Zhang, Hao Li, Sisi Wen, Chaoyang Ji, Yongqiang Yang

IEEE Trans. Netw., 2026

Fast SMT-Based Fault Tolerance Verification for Wide Area Networks.

Ning Kang, Peng Zhang, Hao Li, Jianyuan Zhang

Proceedings of the Formal Methods - 27th International Symposium, 2026

2020

APKeep: Realtime Verification for Real Networks.

Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020