Simon: scriptable interactive monitoring for SDNs
暂无分享,去创建一个
Da Yu | Yiming Li | Shriram Krishnamurthi | Rodrigo Fonseca | Tim Nelson | Rodrigo Fonseca | S. Krishnamurthi | Tim Nelson | Da Yu | Yiming Li
[1] Michael Hicks,et al. Expositor: Scriptable time-travel debugging with first-class traces , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[2] Brighten Godfrey,et al. VeriFlow: verifying network-wide invariants in real time , 2012, HotSDN '12.
[3] Nick McKeown,et al. I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks , 2014, NSDI.
[4] Maciej Kuźniar,et al. What You Need to Know About SDN Flow Tables , 2015, PAM.
[5] Anja Feldmann,et al. OFRewind: Enabling Record and Replay Troubleshooting for Networks , 2011, USENIX Annual Technical Conference.
[6] Yifei Yuan,et al. NetEgg: Programming Network Policies by Examples , 2014, HotNets.
[7] Mabry Tyson,et al. A security enforcement kernel for OpenFlow networks , 2012, HotSDN '12.
[8] Marcos Rogério Salvador,et al. Revisiting routing control platforms with the eyes and muscles of software-defined networking , 2012, HotSDN '12.
[9] Ramesh Govindan,et al. A General Approach to Network Configuration Analysis , 2015, NSDI.
[10] George Varghese,et al. Usenix Association 10th Usenix Symposium on Networked Systems Design and Implementation (nsdi '13) 99 Real Time Network Policy Checking Using Header Space Analysis , 2022 .
[11] George Varghese,et al. Header Space Analysis: Static Checking for Networks , 2012, NSDI.
[12] John B. Carter,et al. SDN traceroute: tracing SDN forwarding without changing network behavior , 2014, HotSDN.
[13] Zhi Liu,et al. Troubleshooting blackbox SDN control software with minimal causal sequences , 2014 .
[14] Rodrigo Fonseca,et al. Planck , 2014, SIGCOMM.
[15] Marco Canini,et al. OF.CPP: consistent packet processing for openflow , 2013, HotSDN '13.
[16] David Walker,et al. Abstractions for network update , 2012, SIGCOMM '12.
[17] Brighten Godfrey,et al. Debugging the data plane with anteater , 2011, SIGCOMM.
[18] Sharad Malik,et al. An assertion language for debugging SDN applications , 2014, HotSDN.
[19] Andreas Haeberlen,et al. Diagnosing missing events in distributed systems with negative provenance , 2014, SIGCOMM.
[20] Nick McKeown,et al. A network in a laptop: rapid prototyping for software-defined networks , 2010, Hotnets-IX.
[21] George Varghese,et al. Automatic Test Packet Generation , 2012, IEEE/ACM Transactions on Networking.
[22] Richard H. Crawford,et al. Dalek: A GNU, Improved Programmable Debugger , 1990, USENIX Summer.
[23] Shriram Krishnamurthi,et al. The design and implementation of a dataflow language for scriptable debugging , 2007, Automated Software Engineering.
[24] David Walker,et al. Compiling path queries in software-defined networks , 2014, HotSDN.
[25] Nick Feamster,et al. Procera: a language for high-level reactive network control , 2012, HotSDN '12.
[26] Rob Sherwood,et al. Can the Production Network Be the Testbed? , 2010, OSDI.