2 papers
cs.NI2024
Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification
Shenshen Chen, Jian Luo, Dong Guo +2
Data plane verification (DPV) analyzes routing tables and detects routing abnormalities and policy violations during network operation and planning. Thus, it has become an importan…
cs.NI2020
Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition
Shenshen Chen, Geng Li, Dennis Duan +7
Achieving highly reliable networks is essential for network operators to ensure proper packet delivery in the event of software errors or hardware failures. Networks must ensure re…