Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures | Paper Citation Record

Observation 00aed9ed-4f44-49e2-8cfe-6c6459468dc2 · outbound

This paper cites https://www.cisco.com/c/en/us/products/ ios-nx-os-software/ios-netflow/index.html, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://www.cisco.com/c/en/us/products/ ios-nx-os-software/ios-netflow/index.html, Sept

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.453586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d5aa1991-c00b-433f-b99b-e4ac431a70de · outbound

This paper cites https://frrouting.org/, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://frrouting.org/, Sept

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.441121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 16690b18-84ce-4ddb-b5f5-55b6de2ae55a · outbound

This paper cites https://p4.org/p4-spec/docs/INT v2 1.pdf, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://p4.org/p4-spec/docs/INT v2 1.pdf, Sept

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.428374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b2ab1145-4c97-4900-a6ef-5b51e1e664ef · outbound

This paper cites https: //www.intel.com/content/www/us/en/products/network-io/ programmable-ethernet-switch/network-analytics/deep-insight.html, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https: //www.intel.com/content/www/us/en/products/network-io/ programmable-ethernet-switch/network-analytics/deep-insight.html, Sept

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.415632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ebed8f63-c703-43e8-9864-b945066e1195 · outbound

This paper cites https://man7.org/linux/man-pages/man7/netlink.7.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://man7.org/linux/man-pages/man7/netlink.7

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.403428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a10dd784-f1ea-4a32-8f71-4b59eaa36779 · outbound

This paper cites https://www.nsnam.org/, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://www.nsnam.org/, Sept

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.389633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6e30cdcb-5658-4930-819f-10d76b135f5f · outbound

This paper cites https://github.com/p4lang/behavioral-model, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://github.com/p4lang/behavioral-model, Sept

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.377581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 14498204-1a6b-48a9-bf32-d261f7b3dc30 · outbound

This paper cites https://p4.org/, Sept.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://p4.org/, Sept

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.365106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 82218306-eae8-456e-ba9d-2d58fbcecd67 · outbound

This paper cites https://docs.aws.amazon.com/wellarchitected/latest/ reliability-pillar/availability.html/, 2023.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://docs.aws.amazon.com/wellarchitected/latest/ reliability-pillar/availability.html/, 2023

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.352807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 343c584f-af0e-429f-ba82-7d2c5fc9f536 · outbound

This paper cites https://podman.io/, 2023.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures https://podman.io/, 2023

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.340458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 43ec3c69-f4aa-4d6d-a513-27ede98de0b1 · outbound

This paper cites an unresolved cited work.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:54:46.329071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0762ba83-7c46-4e7f-86ce-6ae36fb869c6 · outbound

This paper cites Ns4: Enabling programmable data plane simulation.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Ns4: Enabling programmable data plane simulation

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.316931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cc8f7452-1b21-4ee5-b7dd-c21255ab1292 · outbound

This paper cites A general approach to network configuration verification.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures A general approach to network configuration verification

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.302606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5fc7d5fa-2a4d-4637-8b8b-290bb00f71ee · outbound

This paper cites A General Approach to Network Configuration Verification.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures A General Approach to Network Configuration Verification

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.285873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 10287e3f-e244-412f-8cf1-6e65e31b01c9 · outbound

This paper cites PINT: Probabilistic in- band network telemetry.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures PINT: Probabilistic in- band network telemetry

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.271572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a4b0a341-5138-4a5d-9c3d-acc1cf2d12eb · outbound

This paper cites BGP-Inspect - Extracting Information from Raw BGP Data.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures BGP-Inspect - Extracting Information from Raw BGP Data

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.256279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5e4add83-63c3-43b5-9a62-32279b3a5167 · outbound

This paper cites P4: Programming Protocol-Independent Packet Processors.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures P4: Programming Protocol-Independent Packet Processors

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.243371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 17f2fa2c-b37b-4631-ad8c-ffc6c8cb1655 · outbound

This paper cites Mani Chandy and Leslie Lamport.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Mani Chandy and Leslie Lamport

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.229182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e7701b78-f5ff-4348-b01f-cc6a8096b070 · outbound

This paper cites Chang, Eric Manning, and Gernot Metze.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Chang, Eric Manning, and Gernot Metze

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.206506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7bc95a4b-716e-4bac-85f3-bcbbadb58043 · outbound

This paper cites Automatic Root Cause Analysis via Large Language Models for Cloud Incidents.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Automatic Root Cause Analysis via Large Language Models for Cloud Incidents

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T21:54:45.275138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 968ca355-0768-4c13-984e-b47598daa13b · outbound

This paper cites Measuring and visualizing interdomain routing dynamics with BGPATH.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Measuring and visualizing interdomain routing dynamics with BGPATH

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.190396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation adb54669-d2a9-43cd-bd02-ef7a3714be86 · outbound

This paper cites Visualizing Interdomain Routing with BGPlay.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Visualizing Interdomain Routing with BGPlay

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.174451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 32149327-45db-45f8-919c-07635ce30c20 · outbound

This paper cites Model-based diagnosis under real-world constraints.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Model-based diagnosis under real-world constraints

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.162048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5331fe38-384a-41cd-b15e-3a33f4e0ebbd · outbound

This paper cites Model based diagnosis for network communication faults.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Model based diagnosis for network communication faults

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.148744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bfe088f8-6eeb-43fc-95a7-f18c85c86787 · outbound

This paper cites Fundamentals of model-based diag- nosis.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Fundamentals of model-based diag- nosis

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.135506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 50388857-5899-4519-b700-0c244f094d51 · outbound

This paper cites Ns4: A p4-driven network simulator.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Ns4: A p4-driven network simulator

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.122224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 534d06d2-1e7e-43e3-b179-91781fb4b445 · outbound

This paper cites Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Mill- stein, Vyas Sekar, and George Varghese.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Mill- stein, Vyas Sekar, and George Varghese

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.109015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e7b35b2a-dff4-4d5a-95fb-105965a099b2 · outbound

This paper cites A General Approach to Network Configuration Analysis.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures A General Approach to Network Configuration Analysis

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.093608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation db11de2c-7ede-4f3b-9ba1-3ef50f0f8b50 · outbound

This paper cites X- Trace: A Pervasive Network Tracing Framework.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures X- Trace: A Pervasive Network Tracing Framework

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.063808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7675a1b4-f1a4-4879-bdce-073b899e99fe · outbound

This paper cites Dapper: Data plane performance diagnosis of TCP.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Dapper: Data plane performance diagnosis of TCP

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.043442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4ae6f94a-299b-4f47-80ac-0359c538d8a8 · outbound

This paper cites Why Do Computers Stop and What Can Be Done About It.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Why Do Computers Stop and What Can Be Done About It

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.026399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b5ef72e3-4139-470d-a059-2120e35cf625 · outbound

This paper cites Pingmesh: A Large-Scale System for Data Center Network Latency Measurement and Analysis.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Pingmesh: A Large-Scale System for Data Center Network Latency Measurement and Analysis

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:46.011524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e3bc178a-2e88-411a-89dc-01b3a0b0a3d5 · outbound

This paper cites Sonata: Query-driven streaming network telemetry.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Sonata: Query-driven streaming network telemetry

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.991720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b9d276d5-bcc4-4df2-9eac-b4eba68d0a5c · outbound

This paper cites NetReview: Detecting when interdomain routing goes wrong.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures NetReview: Detecting when interdomain routing goes wrong

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.969101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ef1a399e-52e8-476d-a098-281a5af01b72 · outbound

This paper cites Where is the debugger for my software- defined network? In HotSDN ’12, pages 55–60, August 2012.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Where is the debugger for my software- defined network? In HotSDN ’12, pages 55–60, August 2012

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.955789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 602931dc-9b72-4d43-9ffe-8724532c502d · outbound

This paper cites I know what your packet did last hop: Using packet histories to troubleshoot networks.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures I know what your packet did last hop: Using packet histories to troubleshoot networks

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.944094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a7dae4c7-d189-4d74-b038-aa32b5497349 · outbound

This paper cites Millions of little minions: Using packets for low latency network programming and visibility.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Millions of little minions: Using packets for low latency network programming and visibility

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.925555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1b1d76f9-4527-4e59-869c-05e644c79791 · outbound

This paper cites an unresolved cited work.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:54:45.913459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 436faa04-c9ff-4f96-96ed-a170ee37fe4a · outbound

This paper cites Header Space Analysis: Static Checking For Networks.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Header Space Analysis: Static Checking For Networks

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.901921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 004e3e7d-d74f-4556-a246-4734f0b5e728 · outbound

This paper cites Lad, Lixia Zhang, and D.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Lad, Lixia Zhang, and D

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.889321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1e90e27e-46b5-49bf-a202-d9a188821085 · outbound

This paper cites A Network in a Laptop: Rapid Prototyping for Software-Defined Networks.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures A Network in a Laptop: Rapid Prototyping for Software-Defined Networks

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.876912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9e4fd855-9a62-432b-9a31-ad50b6e0e761 · outbound

This paper cites FlowRadar: A Better NetFlow for Data Centers.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures FlowRadar: A Better NetFlow for Data Centers

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.864880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 47374985-f716-4a8f-8b5c-46feebdb0e4d · outbound

This paper cites Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, and George Varghese.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, and George Varghese

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.852277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f1e10308-fc4b-47a5-9316-084749d766c7 · outbound

This paper cites Brighten Godfrey, and Samuel Talmadge King.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Brighten Godfrey, and Samuel Talmadge King

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.839896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 089b77dc-fe70-4400-bc62-41be581bbe97 · outbound

This paper cites Trumpet: Timely and precise triggers in data centers.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Trumpet: Timely and precise triggers in data centers

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.827068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5fc2fe5d-6b10-4e01-8808-ec2d5fb023cc · outbound

This paper cites Language-directed hardware design for network per- formance monitoring.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Language-directed hardware design for network per- formance monitoring

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.814358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5e4fea51-a9c2-4e06-a972-3620eafc4b7f · outbound

This paper cites Ng and Peter M.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Ng and Peter M

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.802030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 529aa155-9283-4799-a333-0553b055beb9 · outbound

This paper cites Medicine: Rapid prototyping of production-ready network services in multi-pop environ- ments.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Medicine: Rapid prototyping of production-ready network services in multi-pop environ- ments

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.789634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9698ba94-7125-4707-894d-01bbba1b135e · outbound

This paper cites Simplifying Datacenter Network Debugging with PathDump.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Simplifying Datacenter Network Debugging with PathDump

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.773814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c681d9de-ddb5-47e8-9006-450e910a0029 · outbound

This paper cites Distributed Network Monitoring and Debugging with SwitchPointer.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Distributed Network Monitoring and Debugging with SwitchPointer

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.757760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1862fb80-53f9-4552-bcca-796fd20b881e · outbound

This paper cites NetBouncer: Active Device and Link Failure Localization in Data Center Networks.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures NetBouncer: Active Device and Link Failure Localization in Data Center Networks

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.741719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3da9d2c2-1843-4e76-a7cf-9b65ee7dda41 · outbound

This paper cites Thatte and Jacob A.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Thatte and Jacob A

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.728881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7df6e086-66ca-46c7-ac72-1c0eff83a25c · outbound

This paper cites an unresolved cited work.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:54:45.713528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c137e255-0963-404d-af37-a766bca50255 · outbound

This paper cites NetAssistant: Dialogue based network diagnosis in data center networks.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures NetAssistant: Dialogue based network diagnosis in data center networks

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.700100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 398cd386-62d2-4460-9b84-0227d4df8b40 · outbound

This paper cites Closed-loop Network Performance Monitoring and Diagnosis with SpiderMon.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Closed-loop Network Performance Monitoring and Diagnosis with SpiderMon

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.683573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 958b38f8-e092-4979-bba0-e9d9e99143a4 · outbound

This paper cites Synchronized Network Snapshots.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Synchronized Network Snapshots

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.665469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a13edb9b-9a5f-441d-83bb-0007f0866b32 · outbound

This paper cites Accuracy, Scalability, Coverage: A Practi- cal Configuration Verifier on a Global W AN.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Accuracy, Scalability, Coverage: A Practi- cal Configuration Verifier on a Global W AN

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.651637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6241e872-3379-4566-a00f-7fbc4d24909f · outbound

This paper cites dShark: A General, Easy to Program and Scalable Framework for Analyzing In-network Packet Traces.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures dShark: A General, Easy to Program and Scalable Framework for Analyzing In-network Packet Traces

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.637210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d22f12f6-d912-442d-b17a-95c42c5d5e63 · outbound

This paper cites Automatic Test Packet Generation.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Automatic Test Packet Generation

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.622939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 032e5727-35ad-4fae-b1b6-66474a32ff23 · outbound

This paper cites Packet-level telemetry in large datacenter networks.

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures Packet-level telemetry in large datacenter networks

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:54:45.601367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers