Vanbever, Laurent

Network-Wide Configuration Synthesis

El-Hassany, A., Tsankov, P., Vanbever, L., & Vechev, M. (2017) · Lecture Notes in Computer Science

Software-Defined Networks and 5GAdvanced Database Systems and Queries

Cited by 93

Lossless migrations of link-state IGPs

Vanbever, L., Vissicchio, S., Pelsser, C., Francois, P., & Bonaventure, O. (2012) · IEEE/ACM Transactions on Networking

Network Traffic and Congestion ControlSoftware-Defined Networks and 5G

Cited by 46

Integrating verification and repair into the control plane

Gember-Jacobson, A., Raiciu, C., & Vanbever, L. (2017) · Proceedings of the 16th ACM Workshop on Hot Topics in Networks

Software-Defined Networks and 5GFormal Methods in Verification

Cited by 7