p4pktgen-Reference-Cited by-同舟云学术

p4pktgen

Published:2018-03-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Symposium on SDN Research
language:
Short-container-title:

Author:

Nötzli Andres¹,Khan Jehandad²,Fingerhut Andy³,Barrett Clark¹,Athanas Peter²

Affiliation:

1. Stanford University

2. Virginia Tech

3. Cisco Systems

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3185467.3185497

Reference25 articles.

1. Clark Barrett Christopher L Conway Morgan Deters Liana Hadarean Dejan Jovanović Tim King Andrew Reynolds and Cesare Tinelli. 2011. CVC4. In CAV. Clark Barrett Christopher L Conway Morgan Deters Liana Hadarean Dejan Jovanović Tim King Andrew Reynolds and Cesare Tinelli. 2011. CVC4. In CAV.

2. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. (2016). Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. (2016).

3. Pat Bosshart Dan Daly Glen Gibb Martin Izzard Nick McKeown Jennifer Rexford Cole Schlesinger Dan Talayco Amin Vahdat George Varghese etal 2014. P4: Programming protocol-independent packet processors. SIGCOMM (2014). 10.1145/2656877.2656890 Pat Bosshart Dan Daly Glen Gibb Martin Izzard Nick McKeown Jennifer Rexford Cole Schlesinger Dan Talayco Amin Vahdat George Varghese et al. 2014. P4: Programming protocol-independent packet processors. SIGCOMM (2014). 10.1145/2656877.2656890

4. Marco Canini Daniele Venzano Peter Peresini Dejan Kostic and Jennifer Rexford. 2012. A NICE way to test OpenFlow applications. In NSDI. Marco Canini Daniele Venzano Peter Peresini Dejan Kostic and Jennifer Rexford. 2012. A NICE way to test OpenFlow applications. In NSDI.

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. P4R-Type: A Verified API for P4 Control Plane Programs;Proceedings of the ACM on Programming Languages;2023-10-16

2. P4Chain: A Multichain Approach for Real-Time Anomaly Traffic Detection in P4 Network;2023 IEEE 14th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON);2023-10-12

3. P4Testgen: An Extensible Test Oracle For P4-16;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09

4. Runtime Verification for Programmable Switches;IEEE/ACM Transactions on Networking;2023-08

5. Packet processing and data plane program verification: A survey with tools, techniques, and challenges;International Journal of Communication Systems;2023-06-14