A Comprehensive Study of Bugs in Software Defined Networks
A Bhardwaj, Z Zhou, TA Benson - 2021 51st Annual IEEE/IFIP …, 2021 - ieeexplore.ieee.org
Software-defined networking (SDN) enables innovative and impressive solutions in the
networking domain by decoupling the control plane from the data plane. In an SDN …
networking domain by decoupling the control plane from the data plane. In an SDN …
Synthesis of models for networks using automated boolean learning
D Sethi, C Nagarajan - US Patent 10,826,770, 2020 - Google Patents
Abstract Systems, methods, and computer-readable media for determining a deployment
model for deploying rules in a network environment in response to deployment of a contract …
model for deploying rules in a network environment in response to deployment of a contract …
Identifying mismatches between a logical model and node implementation
RR Kompella, C Nagarajan, JT Monk… - US Patent …, 2020 - Google Patents
Systems, methods, and computer-readable media analyzing memory usage in a network
node. A network assurance appliance may be configured to obtain reference concrete level …
node. A network assurance appliance may be configured to obtain reference concrete level …
Tardis: A fault-tolerant design for network control planes
Guaranteeing high availability of networks virtually hinges on the ability to handle and
recover from bugs and failures. Yet, despite the advances in verification, testing, and …
recover from bugs and failures. Yet, despite the advances in verification, testing, and …
Validation of layer 3 using virtual routing forwarding containers in a network
S Harneja - US Patent 10,673,702, 2020 - Google Patents
Disclosed are systems, methods, and computer-readable media for assuring tenant
forwarding in a network environment. Network assurance can be determined in layer 1, layer …
forwarding in a network environment. Network assurance can be determined in layer 1, layer …
Intelligence enabled sdn fault localization via programmable in-band network telemetry
Y Tang, Y Wu, G Cheng, Z Xu - 2019 IEEE 20th International …, 2019 - ieeexplore.ieee.org
Intelligent Fault localization for SDN becomes one of the most critical but difficult tasks. This
paper proposes a new approach called Policy-Aware In-band Network Telemetry (PAINT) to …
paper proposes a new approach called Policy-Aware In-band Network Telemetry (PAINT) to …
Validation of layer 3 bridge domain subnets in in a network
S Harneja, A Pani, S Sundaresan… - US Patent …, 2019 - Google Patents
Disclosed are systems, methods, and computer-readable media for assuring tenant
forwarding in a network environment. Network assurance can be determined in layer 1, layer …
forwarding in a network environment. Network assurance can be determined in layer 1, layer …
Towards internet-scale convolutional root-cause analysis with diagnet
Diagnosing problems in Internet-scale services remains particularly difficult and costly for
both content providers and ISPs. Because the Internet is decentralized, the cause of such …
both content providers and ISPs. Because the Internet is decentralized, the cause of such …
Combinatorial Test Perspective on Test Design of SDN Controllers
R Jayaram, R Krishnan - … on Sustainable Expert Systems: ICSES 2021, 2022 - Springer
OpenDaylight is an open-source Software-Defined Network controller that has made
programmable networks possible. It has got together both industry and the OpenDaylight …
programmable networks possible. It has got together both industry and the OpenDaylight …
Improving System Availability for Better Services
Z Zhou - 2020 - search.proquest.com
Entering the information age, the demands for online services increase dramatically. Such
high demands are pushing the network systems to become more complex and making …
high demands are pushing the network systems to become more complex and making …