Pith. sign in

Paper Citation Record · LEDGER

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

As of 18 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2506.23083.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.23083 v2

Coverage vector

measured 60 of 60 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T21:54:45.534270Z

measured 60 of 60 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

60 of 60 outbound references displayed

  • verified exact0
  • verified fuzzy56
  • unresolved4
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.147820Z digest=sha256:ebf8b384f6dfa0dac29c1e48d1dd316ea17b441de1e2d0974a19c5b4727194a4

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.154904Z digest=sha256:19bcea0f7121af0c1238d871b4e0ab05dce12a580b4960c67704986820f1c7d7

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.161535Z digest=sha256:bfdc0342972f2b3cf68cf280132874ef467ecae3699335a866e368acf0f3f125

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.171938Z digest=sha256:791ee0567fc53661b82e651c1dc07cc33fa3136672168da2208973d48cd1a64f

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.181116Z digest=sha256:8ca9898bdf23a0e26f9d88df33ed7aa553ff2daafba5a11b2dabc6f24cce0ec6

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.190633Z digest=sha256:8dc85f7dcc10018f9b616375b0e31a0c563721ea9f822e1fe95650201b3780e6

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.198670Z digest=sha256:92f222c9395284fddc8de2baf35e2b7b9030d406f1b8ffca4753d2465f2be8ec

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.204885Z digest=sha256:c04b83371705791e88cfa8c045f67b340fa78fdec0143b8e974b34f67a24f4d7

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.210792Z digest=sha256:6cb35b30ef6f9e056cce00ed36ca8daa1b1fd12531357f628ee766ed0637b47c

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.216210Z digest=sha256:43022b719701e4b7b18cf9bdb6f5264b6190db1f848219e99df284b4ed659bd0

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.221635Z digest=sha256:deb8c3057bbc375bdcd3017b93527b34eca61a352c23ff8b44111f1ca7d54ef0

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.227727Z digest=sha256:701cf26234947f39f51b8d415db9eda43e60e343c5b44f00ce3d68dae9976120

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.233018Z digest=sha256:b8a055ea1bdafc399e4ffca241edaa94f6e923f40cb53b814b7d82e3bec2991a

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.238005Z digest=sha256:1505c0cf49547e2f135ec4a34f63b878eb4ae7254fb717425ef078bb59f07986

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.244081Z digest=sha256:49c31ded9c2900607a146049f98e35c3be02842fde7a6da9e306f98076919a3a

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.248831Z digest=sha256:95f913aa647977e2d16a2023b73cf22a9214d14800ebd8fdb26e9fec27c6dab9

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.253168Z digest=sha256:36453b945f3d9a7dbad73ed6765477161797ba1c60989528506918d72d17aca9

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.260552Z digest=sha256:75ba11fdd089d4d2f559ef13eb3b42f2d1995f4399d812b5f17f72b531ee9056

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.268847Z digest=sha256:472b203282b1edb7b55e5ea1409fca3b8d049044037739e6507fee0d21bf63fa

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.

source=pdf_text observed=2026-08-06T21:54:45.275138Z digest=sha256:077fbfcf47bdbfccaafb4e308e21c4f16f4edf422f02e9d3661d35a8c56ffb01

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.283264Z digest=sha256:3d3f47c775e8c50b110af39a992026b3b3e6bd6b7e4dd8281b91ec35b2bc3232

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.289596Z digest=sha256:c7afa5015afa7aa8d481a7ef82d2538d1d8d8ac253a5f6cb688b2d6d56ac6ed1

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.301208Z digest=sha256:989be28bd5533e1f09f5df72cb98c7bb81e427779143e517ffd43f49a2bfeee8

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.309219Z digest=sha256:8b5790308c04e0b29682824e2d8d4db86035dbf49a0fa5590a6d49c236b03297

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.318869Z digest=sha256:8146faadc09e165c264f22b0bdf1a860fa84f648e520275c1e26539930da45fa

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.331809Z digest=sha256:f02df1b452a46cce8feb814018eb38b9a9a3a21431d922c77bfd6592814dba11

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.342712Z digest=sha256:25c082bdfa2bb8c43d95bf19a7dd49b8a22b42dcc4a4b2fd691fd8488a88dc28

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.352014Z digest=sha256:c92537192c53488512d79143a7afaf70e0787bb8957ecd5594a059c6fac170f3

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.362894Z digest=sha256:8f910433baadc63e1a71c291842c5eb72ae6eb4d47f64b9e1f8b09346e5a65e8

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.371681Z digest=sha256:d7b3a16c49e0a732d67d8275f2b0c2c730ba71f242dad06ff3956724253c6bf8

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.380928Z digest=sha256:2e49622fc3ab61af2531859012e92946e14628eb1946b86855431a72d47b6cce

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.390728Z digest=sha256:7755e148a37af7d741a54f6007aaebe4ed84d46bf49370828e06d2a9e42cb57f

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.395813Z digest=sha256:9a7e5b83bc61895440e5f9ab5def588d2de7478dfa48ffc4924e00dc4252ba4e

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.400546Z digest=sha256:2e7051394317c7f0d40ec69b3576fc9a5e16c6b19fc75cf9a0886b84950ee289

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.405266Z digest=sha256:1744bfcf0df026ca098d46df48f3fd61faed51632a2be0310a538fb7b64861e3

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.409725Z digest=sha256:5ac75149f88c05679a0cf478c153c89b55cc5671b957c5b0229763c22922173e

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.414078Z digest=sha256:7532ce5552354bdad861fb9f05f571cd0a62581775081e21cd6726ceca0a58d4

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.418446Z digest=sha256:cd7df17c8345650448b8c7f264d679fd18a76481c212720f80e33aa15cb186b9

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.422733Z digest=sha256:75cef2f43ee0575e08a3cf95cd048c518181666100a3f013c469554113afb08b

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.428592Z digest=sha256:0fddb4bfd39788304e6d77ec30c4d10411b174c565b6c41769a4e91f01fe1285

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.432328Z digest=sha256:ab2053dca2d062380a757d905e48019f0b2e9d1e4ba050c2285bda7725859679

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.436939Z digest=sha256:541761e476ef5b8781bd7ecfd05e145cec67166f63eb5e7edaa55155625df359

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.445662Z digest=sha256:de352d28167db99c02ef2690b9f1457f9595a1a29df1b6d443168fda08c39174

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.450406Z digest=sha256:4d22a48c9fbc2cab17c6dd8db8dd0526d8c7be669ab18c19839ba10ba9b3647b

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.454533Z digest=sha256:f9ea15e9d26c1964df4a22f86d8104aeb9e3ba3a3013e27ebf1fa81d22d77ac2

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.469857Z digest=sha256:04eeb82608854651e1b8cbb9c96d9238429a78795462697af72ff294768fea66

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.475633Z digest=sha256:ca5c1c566e7b529440fcaefc2050f4b31c11cab283940345a4445155a6b35a90

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.483649Z digest=sha256:3c524c54e5d5267b74d57ddb4cc4e40ed191d705e0426fb5a736feca631cd658

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.487650Z digest=sha256:9e08f4c99c87e36cd96b0a503518e3db9a1a12889daabca3bcf4886a34c1fca2

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.491864Z digest=sha256:0f25515a440b18a99ae2ef7c12d73bf08b57bb6c9af797ff095d254646488385

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.495444Z digest=sha256:5eb93bc45c1eaa6a6cf13af3925aac336443f755c2499ccf2c7856e6c10399eb

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.499500Z digest=sha256:bebbfdc9432c1c914b9ad00f03ced8b4aad3e936105c2f8019668b0f18e6780f

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.503583Z digest=sha256:b7ee961ee8452e18e359cd20ea16e63b42139717c1bde6faf69726691dbf39d7

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.508205Z digest=sha256:9491c56fa224302189948c4c40c896adfeaeeb0207892538cbe89d556dd61a5e

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.512435Z digest=sha256:f7244b819954079dcc8f655eff1d53e78779deaaa47f7e1c6a5121d631aecc75

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.516718Z digest=sha256:c565d54b866f4ee3c3af900b06bfa82b7e1f1a5957acd49f2e487d6caecab657

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.520899Z digest=sha256:ee12a1cc9ef966ea784b2782921fd86a63e1688f57fc7b02b0473029a00ef0bb

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.524776Z digest=sha256:dd5fd3d84e6454a95b95e153f08615569defe76f004f262e5b3953c9f8a71877

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.529362Z digest=sha256:c8369a9aa15f1c2a7264114bebb48546b10053472d777118c630af065f477469

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T21:54:45.534270Z digest=sha256:aee8a122ccbe3601040efdb6a1e6bba515b6fbf3cd1dfb7787aee5842c5197e0

Pith citing papers

No inbound Pith citation observations are available.