Follow
Zibin Chen
Zibin Chen
UMass Amherst
Verified email at umass.edu
Title
Cited by
Cited by
Year
CURSOR: Configuration update synthesis using order rules
Z Chen, L Gao
IEEE INFOCOM 2023-IEEE Conference on Computer Communications, 1-10, 2023
122023
Accelerating bgp configuration verification through reducing cycles in smt constraints
X Shao, Z Chen, D Holcomb, L Gao
IEEE/ACM Transactions on Networking 30 (6), 2493-2504, 2022
32022
Graph-Algorithm Based Verification on Network Configuration Robustness
Z Chen
2021
The system can't perform the operation now. Try again later.
Articles 1–3