Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:31:18.971618Z
Paper Citation Record · LEDGER
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
As of 19 August 2026, this Paper Citation Record lists 90 of 90 outbound references and 0 inbound Pith citation observations for arXiv:1908.09068.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
90 of 90 outbound references displayed
- verified exact0
- verified fuzzy72
- unresolved18
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a6d94a08-7a74-4880-938f-815f52f94546 · outbound
This paper cites Making middleboxes someone else’s problem: Netw ork processing as a cloud service,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Making middleboxes someone else’s problem: Netw ork processing as a cloud service,
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.507649Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 48d4a921-9ec0-46b6-a400-2cff35467621 · outbound
This paper cites CrystalNet: Faithfully emulating large production networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification CrystalNet: Faithfully emulating large production networks,
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.513189Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47e2f94d-84fe-407d-beae-a9ae5b1171cb · outbound
This paper cites A quantitative study of firewall configuration e rrors,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification A quantitative study of firewall configuration e rrors,
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.518530Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b1aba0a8-6561-45d3-b37f-0f72cc5f2e1b · outbound
This paper cites Taxonomy of conflicts in networ k security policies,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Taxonomy of conflicts in networ k security policies,
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.523776Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e28ffaa2-d35d-430f-9b1a-24bf1362eb20 · outbound
This paper cites Trends in firewall configuration errors: Measur ing the holes in swiss cheese,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Trends in firewall configuration errors: Measur ing the holes in swiss cheese,
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.530253Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ca88c59-901a-4061-b762-847d9fcb3aed · outbound
This paper cites A general approach to network con- figuration analysis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification A general approach to network con- figuration analysis,
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.535503Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9085c112-a1d6-4bc7-a582-4e09a3d20806 · outbound
This paper cites Fast control plane analysis using an abstract representation,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Fast control plane analysis using an abstract representation,
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.541227Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa66a3d9-0277-4bee-a0a4-72e8c6a6e13a · outbound
This paper cites Efficient network reachability a nalysis using a succinct control plane representation,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Efficient network reachability a nalysis using a succinct control plane representation,
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.546398Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f56ed78a-89c1-485b-80d4-0c721af6cd59 · outbound
This paper cites A genera l approach to network configuration verification,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification A genera l approach to network configuration verification,
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.551603Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9a9beb6d-49d2-4aeb-9f4f-b8802425f81a · outbound
This paper cites Debugging the data plane with Anteater,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Debugging the data plane with Anteater,
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.556769Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 22d1a607-0c14-4ea7-ade7-7c25e176f612 · outbound
This paper cites Header space analysis: Static checking for networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Header space analysis: Static checking for networks,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.489833Z
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.
Observation df9f6bdc-2ec1-420f-a612-8809ed7d644c · outbound
This paper cites Real time network policy checking using header sp ace analysis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Real time network policy checking using header sp ace analysis,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.471190Z
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.
Observation c0931d5b-8ae5-4ef4-ae5d-5a2a55bd7fcd · outbound
This paper cites V eriflow system analysis and optimization ,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification V eriflow system analysis and optimization ,
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.454822Z
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.
Observation 0a9e903c-0501-4418-a1bf-18ca3bd1cbdf · outbound
This paper cites Delta-net: Real -time network verification using atoms,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Delta-net: Real -time network verification using atoms,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.439263Z
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.
Observation c1e77d08-76e7-4b7d-993b-01ba0bc1bac2 · outbound
This paper cites Reachability analysis for AWS-based networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Reachability analysis for AWS-based networks,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.421467Z
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.
Observation 0fb05e36-e6d6-4456-a08c-a1ba667be944 · outbound
This paper cites On static reachability analysis of IP networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification On static reachability analysis of IP networks,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.405039Z
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.
Observation 8b25816a-5f5e-4e51-9c12-40e497d37e12 · outbound
This paper cites Model checking firewall policy configura- tions,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Model checking firewall policy configura- tions,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.389362Z
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.
Observation cf2e0191-ea28-489f-a0b2-b2f5f12505c6 · outbound
This paper cites The Margrave tool for firewall analysis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification The Margrave tool for firewall analysis,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.372664Z
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.
Observation c4595bcc-9d69-46f8-9e2d-b5beb0638453 · outbound
This paper cites FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.356819Z
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.
Observation 35330b49-ab06-43ec-b6f3-1664e8c18374 · outbound
This paper cites Model checking invariant security properties in OpenFlow,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Model checking invariant security properties in OpenFlow,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.340327Z
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.
Observation d26bc74a-4a71-4767-9e92-2a8f1b6bc148 · outbound
This paper cites V erificat ion and synthesis of firewalls using sat and qbf,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification V erificat ion and synthesis of firewalls using sat and qbf,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.324511Z
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.
Observation 3d94267e-e0f9-4b4a-bf20-e85effd84206 · outbound
This paper cites V eriCon: Towards verifying controller programs in software-defined networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification V eriCon: Towards verifying controller programs in software-defined networks,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.289827Z
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.
Observation 3e37f30e-dee3-444f-b3ca-c1053bfd9ffd · outbound
This paper cites Detect ion and prevention of firewall-rule conflicts on software-defined ne tworking,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Detect ion and prevention of firewall-rule conflicts on software-defined ne tworking,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.272765Z
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.
Observation 7b8f5fbc-756a-4013-84d2-4a79ab1f81e8 · outbound
This paper cites Checking beliefs in dynamic networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Checking beliefs in dynamic networks,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.254627Z
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.
Observation f065a4e9-1cdd-4d01-9c59-4a7d3d4a1758 · outbound
This paper cites FLOWGUARD: Buildi ng robust firewalls for software-defined networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification FLOWGUARD: Buildi ng robust firewalls for software-defined networks,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.238525Z
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.
Observation 12ee8b16-a49c-4b04-b035-09d4110b40d1 · outbound
This paper cites Real-time verification of network properties using atomic predicates,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Real-time verification of network properties using atomic predicates,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.222262Z
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.
Observation 3140529e-329d-4b09-8cde-2232ce102955 · outbound
This paper cites ddNF: An efficient data structure for header spaces,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification ddNF: An efficient data structure for header spaces,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.205757Z
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.
Observation b2b665b9-1aa3-4ab5-8a1f-8c07dbddcf73 · outbound
This paper cites V erification of switching network properti es using satisfi- ability,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification V erification of switching network properti es using satisfi- ability,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.189153Z
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.
Observation b3e2eecf-0d8a-4557-b130-05d16be9a4de · outbound
This paper cites V eriFlow: V erifying network-wide invariants in real time,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification V eriFlow: V erifying network-wide invariants in real time,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.172233Z
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.
Observation ec1313ad-7e48-404a-a7fa-5fdda204f8ca · outbound
This paper cites Graph-based algorithms for boolean func tion manipula- tion,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Graph-based algorithms for boolean func tion manipula- tion,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.154655Z
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.
Observation cf3ee16d-0011-4e53-8030-129784686f05 · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:20.138297Z
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.
Observation 3a5cd3f1-f1aa-4249-a857-f4bcb0355b87 · outbound
This paper cites V erified iptables firewall analysis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification V erified iptables firewall analysis,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.122761Z
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.
Observation 36cf6948-f150-43e0-bed8-cb658a121780 · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:20.106057Z
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.
Observation 96bd6666-6207-4b9b-a767-dd421eaf7dfe · outbound
This paper cites An incremental algorithm to construct a lattice of set interse ctions,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification An incremental algorithm to construct a lattice of set interse ctions,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.089530Z
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.
Observation 01950387-4314-48fa-bd18-56502505b0f7 · outbound
This paper cites Instruction latencies, throughputs and micro - operation breakdowns for intel, amd and via cpus,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Instruction latencies, throughputs and micro - operation breakdowns for intel, amd and via cpus,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.070144Z
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.
Observation b01bfea1-e27f-414b-8f25-69bf217e8b40 · outbound
This paper cites Ca cheflow: Dependency-aware rule-caching for software-defined netwo rks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Ca cheflow: Dependency-aware rule-caching for software-defined netwo rks,
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.053367Z
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.
Observation b345042f-a77e-42c1-9177-e1d7f4c31db1 · outbound
This paper cites Cardigan: Sdn distributed ro uting fabric going live at an internet exchange,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Cardigan: Sdn distributed ro uting fabric going live at an internet exchange,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.036610Z
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.
Observation 6afc1f4c-bf41-488f-9900-a9ba24a3b36d · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:20.018260Z
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.
Observation 24d49e94-0653-4159-a1ff-e59a1804eb3a · outbound
This paper cites Z3: An efficient SMT solver,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Z3: An efficient SMT solver,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.999048Z
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.
Observation 0683c7cd-62fd-489c-922c-36ada7e72935 · outbound
This paper cites The SMT-LIB St andard: V ersion 2.6,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification The SMT-LIB St andard: V ersion 2.6,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.981546Z
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.
Observation 58e2c80b-c236-46b7-8854-1fb1d9d6b525 · outbound
This paper cites Khurshid and B.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Khurshid and B
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.961015Z
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.
Observation a34d2b99-4885-44bb-9ce9-f4382b1ba2c1 · outbound
This paper cites Lessons from building static analysis tools at google,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Lessons from building static analysis tools at google,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.943857Z
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.
Observation 0f2ee336-4bb9-4a5e-b94d-28eb0546b9e8 · outbound
This paper cites Pr edicting network futures with plankton,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Pr edicting network futures with plankton,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.924703Z
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.
Observation eb90752f-7c88-4fc9-b0ca-d236f00a36cc · outbound
This paper cites An analysis of BGP converge nce properties,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification An analysis of BGP converge nce properties,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.901939Z
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.
Observation 3a39e307-aa08-45ac-a3d1-7e8aa24c7d93 · outbound
This paper cites Detecting BGP configu ration faults with static analysis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Detecting BGP configu ration faults with static analysis,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.872197Z
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.
Observation 137a0586-0dfc-4b72-b258-2c78bef824da · outbound
This paper cites Modeling the routing of an auto nomous system with C-BGP,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Modeling the routing of an auto nomous system with C-BGP,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.843521Z
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.
Observation e3e046c2-7ebe-460e-8023-ba149d79a5fd · outbound
This paper cites FSR: Formal analysis and implem entation toolkit for safe interdomain routing,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification FSR: Formal analysis and implem entation toolkit for safe interdomain routing,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.824738Z
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.
Observation 76f64e49-f630-4b13-935f-fc115d7c3489 · outbound
This paper cites Formal semantics and automated verification fo r the border gateway protocol,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Formal semantics and automated verification fo r the border gateway protocol,
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.802199Z
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.
Observation fa922c9f-29b9-4a57-80ae-56906613fbe6 · outbound
This paper cites Efficient network reachability analysis usin g a succinct control plane representation,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Efficient network reachability analysis usin g a succinct control plane representation,
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.781490Z
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.
Observation c572ab07-c9eb-4076-b9c1-99a6392996d7 · outbound
This paper cites Plankton: Scalable network configuration verification thr ough model checking,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Plankton: Scalable network configuration verification thr ough model checking,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.762601Z
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.
Observation 92af9850-5c51-439b-9c55-0320f8285eba · outbound
This paper cites Detecting and re solving policy misconfigurations in access-control systems,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Detecting and re solving policy misconfigurations in access-control systems,
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.739664Z
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.
Observation 02249010-0f61-4550-8844-73a843e803e7 · outbound
This paper cites Automatic error finding in access-control policies,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Automatic error finding in access-control policies,
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.719893Z
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.
Observation a09f04fb-cbc1-4f99-b026-ad18f0197024 · outbound
This paper cites FIREMAN: A toolkit for firewall modeling and analysis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification FIREMAN: A toolkit for firewall modeling and analysis,
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.700539Z
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.
Observation a30e92e8-0389-42c3-8728-c68d7133f568 · outbound
This paper cites A NICE way to test openflow applications,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification A NICE way to test openflow applications,
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.677481Z
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.
Observation 7a99ec20-78da-4eef-a37e-39002ef56ef2 · outbound
This paper cites Correct by construction netwo rks using stepwise refinement.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Correct by construction netwo rks using stepwise refinement
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.655773Z
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.
Observation 43c132a3-fb37-4445-937a-47dfccca6e10 · outbound
This paper cites Auto matic test packet generation,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Auto matic test packet generation,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.636450Z
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.
Observation 5f0d234a-256b-4f9a-a294-afab57c798d8 · outbound
This paper cites Towards test-driven software defined networking,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Towards test-driven software defined networking,
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.618094Z
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.
Observation 2e2f663f-775b-4105-9821-24797ba2c748 · outbound
This paper cites Cha os monkey: Increasing sdn reliability through systematic network des truction,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Cha os monkey: Increasing sdn reliability through systematic network des truction,
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.596139Z
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.
Observation ec64f57b-5213-448c-a8d0-6a4dad908351 · outbound
This paper cites BU ZZ: Testing context-dependent policies in stateful networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification BU ZZ: Testing context-dependent policies in stateful networks,
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.577471Z
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.
Observation 0d6c66db-549e-4c0e-815a-be51d5f4849b · outbound
This paper cites An assertion language for debugging SDN applications,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification An assertion language for debugging SDN applications,
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.561085Z
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.
Observation d28c3805-4a02-44ea-a3d3-9490767bd4b9 · outbound
This paper cites Troubleshooting blackbox SDN control softwar e with minimal causal sequences,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Troubleshooting blackbox SDN control softwar e with minimal causal sequences,
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.542844Z
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.
Observation 8146085d-3a37-42c8-aafc-5125597ea4a9 · outbound
This paper cites Stati c differential program analysis for software-defined networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Stati c differential program analysis for software-defined networks,
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.521662Z
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.
Observation f1fed88e-be17-4dc3-9303-9683c173d8ce · outbound
This paper cites SDNRacer: Detecting concurrency violations in software- defined net- works,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification SDNRacer: Detecting concurrency violations in software- defined net- works,
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.502953Z
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.
Observation b4d69902-2c7a-40a8-bc08-62a923c17ab2 · outbound
This paper cites BigB ug: Practical concurrency analysis for SDN,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification BigB ug: Practical concurrency analysis for SDN,
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.482225Z
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.
Observation d4f49fa5-77de-4b15-b9da-582e444e7f24 · outbound
This paper cites Optimizing Horn solvers for network repair,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Optimizing Horn solvers for network repair,
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.462359Z
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.
Observation 330e13d0-1468-4447-ba6a-d0c867d198b5 · outbound
This paper cites Automat- ically repairing network control planes using an abstract r epresentation,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Automat- ically repairing network control planes using an abstract r epresentation,
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.442056Z
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.
Observation bcde173e-78f4-4ded-a76f-0401449068fe · outbound
This paper cites Auto mated bug removal for software-defined networks.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Auto mated bug removal for software-defined networks
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.421296Z
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.
Observation 0fa11fed-da0b-414d-be43-685dfa5d2581 · outbound
This paper cites Don’t mind the gap: Bridging network-wide objectives and d evice-level configurations,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Don’t mind the gap: Bridging network-wide objectives and d evice-level configurations,
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.398586Z
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.
Observation 9f0b2254-9b1a-49d2-beb2-a65950cd0091 · outbound
This paper cites Network-wide configuration synthesis,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Network-wide configuration synthesis,
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.378294Z
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.
Observation 096c536d-6a65-4c5f-9ba4-3d9e456d1206 · outbound
This paper cites Net2Text: Query-Guided Summarization of Network Forwarding Behavio rs,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Net2Text: Query-Guided Summarization of Network Forwarding Behavio rs,
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.355917Z
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.
Observation f32a8c61-1368-4e69-872b-b2e399ed7021 · outbound
This paper cites Frenetic: A network programming la nguage,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Frenetic: A network programming la nguage,
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.336174Z
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.
Observation d2fa9ebc-4e94-4af3-8bdd-98566228847e · outbound
This paper cites Concurre nt NetCore: From policies to pipelines,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Concurre nt NetCore: From policies to pipelines,
Reference 73
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.318935Z
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.
Observation c64ae06f-7aeb-4d56-a1bf-f0a8aabe6e00 · outbound
This paper cites NetKA T: Semantic foundatio ns for networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification NetKA T: Semantic foundatio ns for networks,
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.300955Z
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.
Observation 3a2f9d9f-fe78-4ac9-92b2-d4927f035cd0 · outbound
This paper cites Kinetic: V erifiable dynamic network control.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Kinetic: V erifiable dynamic network control
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.283015Z
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.
Observation 8a61a9de-1bcb-4bd8-8cda-f593fb754294 · outbound
This paper cites P4K: A Formal Semantics of P4 and Applications.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification P4K: A Formal Semantics of P4 and Applications
Reference 76
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:31:18.895713Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74b20d5a-334a-4454-a356-ba2c64bbe14c · outbound
This paper cites Abstractions for network update,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Abstractions for network update,
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.264263Z
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.
Observation c64d0894-f92b-4128-9f58-626e1c6b3a44 · outbound
This paper cites HotSwap: Correct and efficient controller upgrades for software-defi ned networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification HotSwap: Correct and efficient controller upgrades for software-defi ned networks,
Reference 78
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.245900Z
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.
Observation 6be25406-ab0a-44da-b24f-9d0a3b50d4b3 · outbound
This paper cites Safe update of hybrid SDN networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Safe update of hybrid SDN networks,
Reference 79
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.227386Z
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.
Observation eb1d8227-2b16-42bb-b14c-e6ccb729d477 · outbound
This paper cites Decentralized c onsistent updates in SDN,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Decentralized c onsistent updates in SDN,
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.208628Z
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.
Observation 546cdebf-d129-4495-bd4e-e41c316ce004 · outbound
This paper cites Libra: Divide and conquer to verify forwardi ng tables in huge networks,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Libra: Divide and conquer to verify forwardi ng tables in huge networks,
Reference 81
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.191739Z
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.
Observation b5dad5ac-e0cb-42b3-9990-6710f47464e2 · outbound
This paper cites Network configuration in a box: towards end-to-end verification of ne twork reachability and security,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Network configuration in a box: towards end-to-end verification of ne twork reachability and security,
Reference 82
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.172349Z
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.
Observation 9d43e24e-15fd-439c-b15d-cf8ebffd37d3 · outbound
This paper cites A utomated analysis and debugging of network connectivity policies,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification A utomated analysis and debugging of network connectivity policies,
Reference 83
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:20.308107Z
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.
Observation 46bf5e7e-870b-439b-bb22-d24424ae427f · outbound
This paper cites Scaling network verification using symmetry and surge ry,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Scaling network verification using symmetry and surge ry,
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.154407Z
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.
Observation 40200da7-11c4-4f0a-a308-1a12d79cd714 · outbound
This paper cites Contro l plane compression,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Contro l plane compression,
Reference 85
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.137475Z
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.
Observation 22a960b1-635f-4b5a-900d-c53a697ad55d · outbound
This paper cites Use of BGP for r outing in large-scale data centers,.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Use of BGP for r outing in large-scale data centers,
Reference 86
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.119354Z
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.
Observation f6b47739-1465-4b21-87a2-3db443043764 · outbound
This paper cites APPENDIX A WORST -CASE COMPLEXITY Here we prove results about the theoretical worst-case complexity of #PEC’s underlying model counting method.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification APPENDIX A WORST -CASE COMPLEXITY Here we prove results about the theoretical worst-case complexity of #PEC’s underlying model counting method
Reference 87
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:31:19.101285Z
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.
Observation 0ce3f225-177c-4a17-8435-7bb10b9404a9 · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 88
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:19.083455Z
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.
Observation 0a67e78e-0743-41d2-b565-f62a32f6d36e · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 89
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:19.066842Z
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.
Observation 22b9d494-628f-4e58-a7cd-734fd45dee9e · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 90
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:19.050018Z
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.
Observation 22ad8cd2-8d97-4bbb-944c-abe5a2a12721 · outbound
This paper cites an unresolved cited work.
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification Unresolved cited work
Reference 91
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:31:19.032757Z
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.
Pith citing papers
No inbound Pith citation observations are available.