On the public citation graph

Modular Data Plane Verification for Compositional Networks

https://doi.org/10.1145/3629145
0 signed · 27 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-82453-1_5openalex-snapshot
In Transition From Global to Modular Temporal Reasoning about Programs
inferredcites →https://doi.org/10.1007/bfb0028765openalex-snapshot
You assume, we guarantee: Methodology and case studies
inferredcites →https://doi.org/10.1109/icnp55882.2022.9940333openalex-snapshot
Kirigami, the Verifiable Art of Network Cutting
inferredcites →https://doi.org/10.1109/tnet.2015.2398197openalex-snapshot
Real-Time Verification of Network Properties Using Atomic Predicates
inferredcites →https://doi.org/10.1109/tnet.2017.2720172openalex-snapshot
Scalable Verification of Networks With Packet Transformers Using Atomic Predicates
inferredcites →https://doi.org/10.1109/tnet.2021.3114448openalex-snapshot
Fast Configuration Change Impact Analysis for Network Overlay Data Center Networks
inferredcites →https://doi.org/10.1145/1592568.1592576openalex-snapshot
VL2
inferredcites →https://doi.org/10.1145/2043164.2018470openalex-snapshot
Debugging the data plane with anteater
inferredcites →https://doi.org/10.1145/3226588openalex-snapshot
The compositional architecture of the internet
inferredcites →https://doi.org/10.1145/3341302.3342094openalex-snapshot
Validating datacenters at scale
inferredcites →https://doi.org/10.1145/3422604.3425930openalex-snapshot
A General Framework for Compositional Network Modeling
inferredcites →https://doi.org/10.1145/3603269.3604842openalex-snapshot
Lightyear: Using Modularity to Scale BGP Control Plane Verification
inferredcites →https://doi.org/10.1145/800061.808753openalex-snapshot
A linear-time algorithm for a special case of disjoint set union
inferredcites →https://doi.org/10.14722/ndss.2017.23365openalex-snapshot
TenantGuard: Scalable Runtime Verification of Cloud-Wide VM-Level Network Isolation
inferredcites →https://doi.org/10.17487/rfc7637openalex-snapshot
NVGRE: Network Virtualization Using Generic Routing Encapsulation
inferredcites →https://doi.org/10.17487/rfc7938openalex-snapshot
Use of BGP for Routing in Large-Scale Data Centers
inferredcites →https://doi.org/10.17487/rfc8986openalex-snapshot
Segment Routing over IPv6 (SRv6) Network Programming

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1016/j.comnet.2025.111635openalex-snapshot
GraphVeri: A NAR-based control plane verification framework for routing protocols
inferred← citeshttps://doi.org/10.1109/access.2024.3498737openalex-snapshot
Tempus: Probabilistic Network Latency Verification
inferred← citeshttps://doi.org/10.1109/icnp65844.2025.11192409openalex-snapshot
HeTu: High-Performance Centralized Parallel Data-Plane Verification for Hyper-Scale DCNs
inferred← citeshttps://doi.org/10.1109/infocom59046.2026.11571533openalex-snapshot
Comprehensive Network Configuration Verification via Effective Environment Reduction
inferred← citeshttps://doi.org/10.1145/3626111.3628196openalex-snapshot
Generative, High-Fidelity Network Traces
inferred← citeshttps://doi.org/10.1145/3639037openalex-snapshot
NetDiffusion: Network Data Augmentation Through Protocol-Constrained Traffic Generation
inferred← citeshttps://doi.org/10.1145/3672202.3673722openalex-snapshot
Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification
inferred← citeshttps://doi.org/10.1145/3768974openalex-snapshot
Scalable and Interpretable Overlay Network Checking via Ensemble Verification
inferred← citeshttps://doi.org/10.1145/3797087openalex-snapshot
AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
inferred← citeshttps://doi.org/10.2197/ipsjjip.33.41openalex-snapshot
Verifying Network-level Properties for Large-scale Networks with Header Transformations in Realtime
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.