Paper Citation Record · LEDGER

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans

As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2608.01047.

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

pith.paper-citation-record.v1
2608.01047 v3

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T04:18:36.779686Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

43 of 43 outbound references displayed

verified exact0
verified fuzzy0
unresolved43
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 314e7c1b-e4b2-4d85-b5b7-2489c5461a97 · outbound

This paper cites Toward dynamic energy- efficient operation of cellular network infrastructure,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Toward dynamic energy- efficient operation of cellular network infrastructure,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:31.558333Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d78a8ca-8060-4b68-9909-e74d953ef904 · outbound

This paper cites Energy-efficient wireless communications: Tutorial, survey, and open issues,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Energy-efficient wireless communications: Tutorial, survey, and open issues,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:31.668904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbef4c83-5705-48f8-9896-4de57bddcf75 · outbound

This paper cites Multi- tenant radio access network slicing: Statistical multiplexing of spatial loads,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Multi- tenant radio access network slicing: Statistical multiplexing of spatial loads,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:31.772310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 092380c0-667a-492e-a235-459b7569f24f · outbound

This paper cites O-RAN: Disrupting the vir- tualized RAN ecosystem,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans O-RAN: Disrupting the vir- tualized RAN ecosystem,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:31.918314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ae248a7-7460-404c-9b48-0684c23aabcf · outbound

This paper cites Under- standing O-RAN: Architecture, interfaces, algorithms, security, and re- search challenges,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Under- standing O-RAN: Architecture, interfaces, algorithms, security, and re- search challenges,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:31.987833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90a06793-a72d-4f69-be91-be934629c8fa · outbound

This paper cites Open RAN xApps design and evaluation: Lessons learnt and identi- fied challenges,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Open RAN xApps design and evaluation: Lessons learnt and identi- fied challenges,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.095719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f3f22b7-5a9f-4552-a913-b20bf82dcded · outbound

This paper cites E2 interface: Application protocol (E2AP),.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans E2 interface: Application protocol (E2AP),

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.198994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d0682a9-5ae4-4e2a-890a-83eba0c94745 · outbound

This paper cites A1 interface: General aspects and principles,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans A1 interface: General aspects and principles,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.273584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d83f474-c1ab-4eca-b7ee-6affdfe349e6 · outbound

This paper cites O-RAN operations and maintenance interface specification,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans O-RAN operations and maintenance interface specification,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.421888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a9668c3-9f5a-42d6-b322-709451b4d0f5 · outbound

This paper cites Intelli- gence and learning in O-RAN for data-driven NextG cellular networks,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Intelli- gence and learning in O-RAN for data-driven NextG cellular networks,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.553120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10d95ab9-40c2-49b6-af55-18612e978d09 · outbound

This paper cites AgentRAN: An agentic AI architecture for autonomous control of open 6G networks,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans AgentRAN: An agentic AI architecture for autonomous control of open 6G networks,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.670034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ab942c2-2211-444b-9775-e9b36333d7ff · outbound

This paper cites ns-O- RAN: Simulating O-RAN 5G systems in ns-3,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans ns-O- RAN: Simulating O-RAN 5G systems in ns-3,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.802574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdef7bc2-4991-48eb-b8f3-d3005690efd2 · outbound

This paper cites 5G; NR; radio resource control (RRC); protocol specification,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans 5G; NR; radio resource control (RRC); protocol specification,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:32.886954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 386a2312-9975-4597-b901-a72a59ca7185 · outbound

This paper cites E2 service model (E2SM) RAN control,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans E2 service model (E2SM) RAN control,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.014280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b6548db-c9a4-4887-9453-523f6d0cb3f5 · outbound

This paper cites OCUDU: Open-source 5G and beyond CU/DU,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans OCUDU: Open-source 5G and beyond CU/DU,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.139183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff58e4cf-7841-4a12-af4a-257e569798d5 · outbound

This paper cites Qwen3.6-35B-A3B model card,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Qwen3.6-35B-A3B model card,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.254835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d65c084-ad12-4739-8743-d106ca94aaec · outbound

This paper cites Qwen3-4B-Instruct-2507 model card,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Qwen3-4B-Instruct-2507 model card,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.395494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f209c0f-b0df-448e-94e6-319717f13fb5 · outbound

This paper cites PACIFISTA: Conflict evaluation and management in open RAN,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans PACIFISTA: Conflict evaluation and management in open RAN,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.534862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ccf8ebf-537f-415b-b64a-5bb64289e317 · outbound

This paper cites COMIX: Generalized conflict management in O-RAN xApps—architecture, workflow, and a power control case,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans COMIX: Generalized conflict management in O-RAN xApps—architecture, workflow, and a power control case,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.629936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6c2be29-1321-43bb-952a-f32064fe755d · outbound

This paper cites Conflict mitigation framework and conflict detection in O-RAN Near-RT RIC,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Conflict mitigation framework and conflict detection in O-RAN Near-RT RIC,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:33.771824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2d65737-1af8-4cda-95a9-3d91ddfd1364 · outbound

This paper cites QACM: QoS-aware xApp conflict mitigation in open RAN,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans QACM: QoS-aware xApp conflict mitigation in open RAN,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.032392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e287579-a10a-4fe3-bf55-8cde7aaa4065 · outbound

This paper cites ACCoRD: Actor-critic conflict resolution with deep learning for O-RAN xApps,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans ACCoRD: Actor-critic conflict resolution with deep learning for O-RAN xApps,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.127603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d08ec37-8228-4f6d-99c0-0ceeeef06221 · outbound

This paper cites Open RAN conflict agents: Detecting and mitigating xApp conflicts with generative agents,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Open RAN conflict agents: Detecting and mitigating xApp conflicts with generative agents,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.265219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc98c475-27a1-4b9c-a43d-2c45b85418a0 · outbound

This paper cites Experimental evaluation of xApp conflict mitigation framework in O-RAN: Insights from testbed deployment in OTIC,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Experimental evaluation of xApp conflict mitigation framework in O-RAN: Insights from testbed deployment in OTIC,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.457789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa184246-6850-45c4-802a-9605c8c9e252 · outbound

This paper cites Detecting out-of-order control messages in O-RAN: Dataset, benchmarks, and early-warning models,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Detecting out-of-order control messages in O-RAN: Dataset, benchmarks, and early-warning models,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.627089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a19825fd-a8ad-48e7-893a-5c1e713173f5 · outbound

This paper cites A runtime safety copilot for AI-native O-RAN: Predictive verification and fail-safe enforcement in Near-RT RIC control loops,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans A runtime safety copilot for AI-native O-RAN: Predictive verification and fail-safe enforcement in Near-RT RIC control loops,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.757164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d74ac6a-54f5-48f0-be2d-ecd34ea7a3eb · outbound

This paper cites Consistent updates for software-defined networks: Change you can believe in!.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Consistent updates for software-defined networks: Change you can believe in!

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:34.875915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea7c61f7-04de-4689-a800-72474556b378 · outbound

This paper cites Abstractions for network update,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Abstractions for network update,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.031675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deea672b-33b6-4181-9dac-45c1fbad4272 · outbound

This paper cites Dionysus: Dynamic scheduling of network updates,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Dionysus: Dynamic scheduling of network updates,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.162437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf34ccdb-c9dd-4d62-98d0-dc158811cfd8 · outbound

This paper cites A NICE way to test OpenFlow applications,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans A NICE way to test OpenFlow applications,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.238063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92ca11ae-e546-41a4-832b-139874be416e · outbound

This paper cites SDNRacer: Concurrency analysis for software-defined networks,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans SDNRacer: Concurrency analysis for software-defined networks,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.363437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a29cba21-44af-4305-80a1-d37c4547b282 · outbound

This paper cites Abstraction-guided synthesis of synchronization,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Abstraction-guided synthesis of synchronization,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.471099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae344150-5631-4549-b2ef-96d0ae1336b4 · outbound

This paper cites Synchronization synthesis for network programs,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Synchronization synthesis for network programs,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.597751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 747a9efc-0871-4552-8f50-48ab8a8dd57b · outbound

This paper cites Towards achieving energy efficiency and service availability in 6G O-RAN via formal verification,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Towards achieving energy efficiency and service availability in 6G O-RAN via formal verification,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.701484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1688b2a8-10f1-4cdd-aa15-fc708ddf2404 · outbound

This paper cites Agentic Model Checking.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Agentic Model Checking

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.842791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a900609-b0b1-49dd-9bce-50b35747a2a8 · outbound

This paper cites Time, clocks, and the ordering of events in a distributed system,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Time, clocks, and the ordering of events in a distributed system,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:35.926395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dd6d0ca-27f1-4408-98a9-e3c036d77f91 · outbound

This paper cites All from one, one for all: On model checking using repre- sentatives,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans All from one, one for all: On model checking using repre- sentatives,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.053194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc49899b-be99-458e-8b17-cbd4ff0e04d5 · outbound

This paper cites an unresolved cited work.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.208750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bf9ae05-7c17-43fe-abb5-49203aad04a2 · outbound

This paper cites Godefroid,Partial-Order Methods for the Verification of Concurrent Systems.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Godefroid,Partial-Order Methods for the Verification of Concurrent Systems

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.354669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c98467c1-696c-4f51-af76-8cc415d14403 · outbound

This paper cites Finding and reproducing heisenbugs in concurrent programs,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Finding and reproducing heisenbugs in concurrent programs,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.494099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10711b3e-db41-4fb2-b193-fdd961e75288 · outbound

This paper cites Dynamic partial-order reduction for model checking software,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Dynamic partial-order reduction for model checking software,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.565602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b5efe17-a54a-4f24-a8d5-122c8d513fb0 · outbound

This paper cites Optimal dynamic partial order reduction,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Optimal dynamic partial order reduction,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.668246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35be8796-4a19-4f8b-b449-106aca294f82 · outbound

This paper cites Source sets: A foundation for optimal dynamic partial order reduction,.

VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans Source sets: A foundation for optimal dynamic partial order reduction,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-06T04:18:36.779686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.