1. Scalable Design of Open Source Based Dynamic Routed Network for Interconnection of Firewalls at Multiple Geographic Locations;Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems: Volume 1;2016
2. Debugging the data plane with anteater;ACM SIGCOMM Computer Communication Review;2011-10-22
3. Automated Validation of Service Configuration on Network Devices;Management of Multimedia Networks and Services;2004
4. A Formal Validation Model for the Netconf Protocol;Utility Computing;2004
5. Configuration Model for Network Management;IFIP International Federation for Information Processing