The local detection paradigm and its applications to self-stabilization, Theoretical Computer Science, vol.186, issue.1-2, pp.199-229, 1997. ,
DOI : 10.1016/S0304-3975(96)00286-1
Source-sensitive routing, IFIP Networking, 2015. ,
Incremental consistent updates, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pp.49-54, 2013. ,
Real Time Network Policy Checking using Header Space Analysis, NSDI, 2013. ,
Header space analysis: Static checking for networks, Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12), pp.113-126 ,
VeriFlow : Verifying Network-Wide Invariants in Real Time, NSDI, 2013. ,
Proof labeling schemes, Distributed Computing, pp.215-233, 2010. ,
Outsourcing the routing control logic, Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-XI, pp.55-60 ,
DOI : 10.1145/2390231.2390241
Debugging the Data Plane with Anteater, SIGCOMM, 2011. ,
Composing software-defined networks, Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi'13, pp.1-14 ,
CPP: Consistent Packet Processing for Openflow, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pp.97-102, 2013. ,
Libra: Divide and conquer to verify forwarding tables in huge networks, Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation , NSDI'14, pp.87-99, 2014. ,