[HTML][HTML] SDN Spotlight: A real-time OpenFlow troubleshooting framework
R Aryan, A Yazidi, F Brattensborg, Ø Kure… - Future Generation …, 2022 - Elsevier
Troubleshooting in SDN-based networks is still a cumbersome task that can overwhelm
human attention. Various anomalies, such as installation failure, disordered rules, and …
human attention. Various anomalies, such as installation failure, disordered rules, and …
Towards verified self-driving infrastructure
Modern" self-driving''service infrastructures consist of a diverse collection of distributed
control components providing a broad spectrum of application-and network-centric …
control components providing a broad spectrum of application-and network-centric …
Run-time performance monitoring, verification, and healing of end-to-end services
N Choi, L Jagadeesan, Y Jin… - … IEEE Conference on …, 2019 - ieeexplore.ieee.org
Softwarization enables tremendous flexibility for networks as the use of software-defined
networking (SDN) and programmable data planes (eg P4) together support dynamic …
networking (SDN) and programmable data planes (eg P4) together support dynamic …
Compiling cross-language network programs into hybrid data plane
Network programming languages (NPLs) empower operators to program network data
planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist …
planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist …
A modular compiler for network programming languages
Network programming languages (NPLs) empower operators to program network data
planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist …
planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist …
Checking the OpenFlow rule installation and operational verification
R Aryan, F Brattensborg, A Yazidi… - 2019 IEEE 44th …, 2019 - ieeexplore.ieee.org
Troubleshooting in SDN-based networks tends to be a cumbersome task that might
overwhelm human attention. Researchers have uncovered various misconfiguration errors …
overwhelm human attention. Researchers have uncovered various misconfiguration errors …
[PDF][PDF] Designing for proactive network configuration analysis
Human operators are an important aspect of any computing infrastructure; however, human
errors in configuring systems pose reliability and security risks, which are increasingly …
errors in configuring systems pose reliability and security risks, which are increasingly …
Software Defined Networks troubleshooting using formal approaches for monitoring, probing and self-correction (auto-correction)
R Aryan - 2024 - duo.uio.no
This Ph. D. thesis introduces a robust framework for detecting anomalies within Software
Defined Networks (SDN). It offers two distinct approaches, offline and real-time, anchored in …
Defined Networks (SDN). It offers two distinct approaches, offline and real-time, anchored in …
Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies
R Aryan, A Yazidi, A Bouhoula… - 2020 IEEE 45th …, 2020 - ieeexplore.ieee.org
Policy anomalies are frequent in nowadays's computer networks due to their increasing
configuration complexity. Resolving policy anomalies usually requires network administrator …
configuration complexity. Resolving policy anomalies usually requires network administrator …