Diagnosing Distributed Routing Configurations Using Sequential Program Analysis. - Rulan Yang; Xing Fang; Lizhao You; Qiao Xiang; Hanyang Shao; Gao Han; Ziyi Wang; Zhihao Zhang; Jiwu Shu; Linghe Kong (APNet, 2023)

Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge. - Xing Fang; Feiyan Ding; Bang Huang; Ziyi Wang; Gao Han; Rulan Yang; Lizhao You; Qiao Xiang; Linghe Kong; Yutong Liu; Jiwu Shu (INFOCOM, 2024)

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation. - Rulan Yang; Hanyang Shao; Gao Han; Ziyi Wang; Xing Fang; Lizhao You; Qiao Xiang; Linghe Kong; Ruiting Zhou; Jiwu Shu (CoRR, 2024)

Digital Presentation and Interactive Learning for Intangible Cultural Heritage Preservation Using Artificial Intelligence. - Liuxun Zhang; Zhouluo Wang; Rulan Yang; Qiang Yi (IEEE Access, 2025)