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

AalWiNes

Published:2020-11-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies
language:
Short-container-title:

Author:

Jensen Peter Gjøl¹,Kristiansen Dan¹,Schmid Stefan²,Schou Morten Konggaard¹,Schrenk Bernhard Clemens²,Srba Jiří¹

Affiliation:

1. Aalborg University, Denmark

2. University of Vienna, Austria

Funder

Danmarks Frie Forskningsfond

Vienna Science and Technology Fund

Publisher

ACM

Link

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

Reference38 articles.

1. [n. d.]. The Internet Topology Zoo. http://www.topology-zoo.org/. Visited: 19/04/2020. [n. d.]. The Internet Topology Zoo. http://www.topology-zoo.org/. Visited: 19/04/2020.

2. [n. d.]. Introduction to MPLS. https://www.cisco.com/c/dam/global/fr_ca/training-events/pdfs/Intro_to_mpls.pdf. Visited: 19/05/2020. [n. d.]. Introduction to MPLS. https://www.cisco.com/c/dam/global/fr_ca/training-events/pdfs/Intro_to_mpls.pdf. Visited: 19/05/2020.

3. [n. d.]. Moped - A Model-Checker for Pushdown Systems. http://www2.informatik.uni-stuttgart.de/fmi/szs/tools/moped/. Visited: 03/03/2020. [n. d.]. Moped - A Model-Checker for Pushdown Systems. http://www2.informatik.uni-stuttgart.de/fmi/szs/tools/moped/. Visited: 03/03/2020.

4. NetKAT

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

1. SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24

2. SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20

3. R-MPLS;Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies;2022-11-30

4. MPLS-Kit: An MPLS Data Plane Toolkit;2022 IEEE 11th International Conference on Cloud Networking (CloudNet);2022-11-07

5. NetStack: A Game Approach to Synthesizing Consistent Network Updates;2022 IFIP Networking Conference (IFIP Networking);2022-06-13