Paper Citation Record · LEDGER

Deductive Verification for Earliest Deadline First Scheduler Implementations

As of 14 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2607.26927.

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

pith.paper-citation-record.v1
2607.26927 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-30T16:47:14.661962Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

42 of 42 outbound references displayed

verified exact0
verified fuzzy0
unresolved42
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1db45afd-8640-47a9-afef-91cf2c0db1f3 · outbound

This paper cites Potential Issues with the EDF Sched- uler in Zephyr, 2024.

Deductive Verification for Earliest Deadline First Scheduler Implementations Potential Issues with the EDF Sched- uler in Zephyr, 2024

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.047956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1cab004-b34b-4326-9983-a087409cb3c0 · outbound

This paper cites FreeRTOS: Real-time operating system for microcontrollers.

Deductive Verification for Earliest Deadline First Scheduler Implementations FreeRTOS: Real-time operating system for microcontrollers

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.105385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f52168a4-687b-429f-be45-4c8f892c2ec0 · outbound

This paper cites Baier and J.-P.

Deductive Verification for Earliest Deadline First Scheduler Implementations Baier and J.-P

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.146161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57785f1d-8039-434c-acb2-f7eb417ab56d · outbound

This paper cites Bertot and P.

Deductive Verification for Earliest Deadline First Scheduler Implementations Bertot and P

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.181859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2668b344-d5d9-413d-bf45-44bec0e46459 · outbound

This paper cites Blom and M.

Deductive Verification for Earliest Deadline First Scheduler Implementations Blom and M

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.228377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d5ed2f6-c56b-462f-b445-b0b9b6555196 · outbound

This paper cites Bobot, J.-C.

Deductive Verification for Earliest Deadline First Scheduler Implementations Bobot, J.-C

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.269079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2aba100-72b5-450f-bbd7-9eb21130555f · outbound

This paper cites Boukir, J.

Deductive Verification for Earliest Deadline First Scheduler Implementations Boukir, J

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.307304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 948cd316-471b-49b4-bbfe-db9d892a6bd8 · outbound

This paper cites Bozhko and B.

Deductive Verification for Earliest Deadline First Scheduler Implementations Bozhko and B

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.342736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1dc973d-e204-4e32-b3a0-a65173943347 · outbound

This paper cites Chong and B.

Deductive Verification for Earliest Deadline First Scheduler Implementations Chong and B

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.385409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3d6812a-2a07-47d4-814e-c4ffcc197c50 · outbound

This paper cites Cohen, M.

Deductive Verification for Earliest Deadline First Scheduler Implementations Cohen, M

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.462455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fce695b1-4ab0-4ab1-ab3a-dfac424e0255 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.516218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6fffb26-c512-4a4a-a742-5392a2471c76 · outbound

This paper cites ESP-IDF Programming Guide.

Deductive Verification for Earliest Deadline First Scheduler Implementations ESP-IDF Programming Guide

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.542482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84fbc524-25cd-4dcc-9ccf-ecce660e142c · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.578230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d72b4fa1-9a9f-4094-af9b-3e07411bb83f · outbound

This paper cites Frama-C Software Analyzers.

Deductive Verification for Earliest Deadline First Scheduler Implementations Frama-C Software Analyzers

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.641985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0e9b735-bb19-418e-84cc-c3a72ee53909 · outbound

This paper cites ANSI/ISO C Specification Language, 2007.

Deductive Verification for Earliest Deadline First Scheduler Implementations ANSI/ISO C Specification Language, 2007

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.714107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35c3cb56-42ab-4d58-8870-a28f67fcda35 · outbound

This paper cites WP Plugin, 2007.

Deductive Verification for Earliest Deadline First Scheduler Implementations WP Plugin, 2007

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.770861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3d32a77-6b08-453b-8b84-86030e05d37a · outbound

This paper cites Gadia, C.

Deductive Verification for Earliest Deadline First Scheduler Implementations Gadia, C

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.811235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bba16c06-ce64-413f-980b-991a242ea20d · outbound

This paper cites Garion, G.

Deductive Verification for Earliest Deadline First Scheduler Implementations Garion, G

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.862726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6803058a-5d4f-4223-9fdd-bb0ed17f2a67 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.925366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aedeef22-ece0-4ce3-9d06-c6b92ed45c73 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:12.989847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8a1c83f-c483-4bea-b8d2-4e63d6dbdf36 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.035631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1ec034c-9860-4ea2-a97a-22dd3e12dbd6 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.094750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05ce5476-d96f-4f72-841f-1336c6db42a9 · outbound

This paper cites Jomaa, P.

Deductive Verification for Earliest Deadline First Scheduler Implementations Jomaa, P

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.168933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e11dfb0-c710-4c9f-889b-56406db4961c · outbound

This paper cites Klein, K.

Deductive Verification for Earliest Deadline First Scheduler Implementations Klein, K

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.276647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27a44736-04c9-48d8-8b3a-63ca2a1f8723 · outbound

This paper cites Kuhse, J.

Deductive Verification for Earliest Deadline First Scheduler Implementations Kuhse, J

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.302903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 350d77cb-0479-49b1-a3e6-bf1bc9fbcd01 · outbound

This paper cites Lammich and T.

Deductive Verification for Earliest Deadline First Scheduler Implementations Lammich and T

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.383132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6c4aedc-9a95-46a1-ab90-f00366eb7326 · outbound

This paper cites Leinenbach and T.

Deductive Verification for Earliest Deadline First Scheduler Implementations Leinenbach and T

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.477512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 063640bf-abea-4385-b21d-c7b6b60af14a · outbound

This paper cites Liang, D.

Deductive Verification for Earliest Deadline First Scheduler Implementations Liang, D

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.546716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0dd70b5-8af1-4317-9e43-36c6fce4050f · outbound

This paper cites Lin and B.

Deductive Verification for Earliest Deadline First Scheduler Implementations Lin and B

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.613127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 253063ea-87c3-4d29-a9ee-78d12ab8b781 · outbound

This paper cites Zephyr project.

Deductive Verification for Earliest Deadline First Scheduler Implementations Zephyr project

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.693370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 765828ed-d6fe-41a2-8f8c-02ae45538c40 · outbound

This paper cites Mousavi, A.

Deductive Verification for Earliest Deadline First Scheduler Implementations Mousavi, A

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.794429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e3428be-eac8-4a24-a196-b2a77717386e · outbound

This paper cites Nicole, M.

Deductive Verification for Earliest Deadline First Scheduler Implementations Nicole, M

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.888672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8222b48e-2695-48cb-9fb3-b37df8cee4e2 · outbound

This paper cites An SMT Solver For Software Verification.

Deductive Verification for Earliest Deadline First Scheduler Implementations An SMT Solver For Software Verification

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.012933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41bed0e9-2835-4b5f-9c87-575e6ee0476f · outbound

This paper cites Pollien, C.

Deductive Verification for Earliest Deadline First Scheduler Implementations Pollien, C

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.098939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 846d6577-a342-43b8-a45b-d0f14e49efa7 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.193620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8037daf-cbaa-4305-8013-7a6f4286b38e · outbound

This paper cites Singh, M.

Deductive Verification for Earliest Deadline First Scheduler Implementations Singh, M

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.257883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52bba761-673f-4666-adc6-6097ea00af58 · outbound

This paper cites Staroletov.

Deductive Verification for Earliest Deadline First Scheduler Implementations Staroletov

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.336811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24399e6e-33b6-45e5-8db8-f269bcee66ec · outbound

This paper cites Tasche, P.

Deductive Verification for Earliest Deadline First Scheduler Implementations Tasche, P

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.420378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cf421fe-4381-4bfa-aa64-777aad3f997e · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.511300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9817db0d-8af9-4a5b-b979-4afc51e25336 · outbound

This paper cites Real-Time Executive for Multiprocessor Systems (RTEMS), 2014.

Deductive Verification for Earliest Deadline First Scheduler Implementations Real-Time Executive for Multiprocessor Systems (RTEMS), 2014

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.591156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e5949eb-69d1-4ca3-a943-e9f051cbad8c · outbound

This paper cites Vanhems, V.

Deductive Verification for Earliest Deadline First Scheduler Implementations Vanhems, V

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:14.661962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c57ad58c-645a-4dbe-9251-430c9bdad485 · outbound

This paper cites an unresolved cited work.

Deductive Verification for Earliest Deadline First Scheduler Implementations Unresolved cited work

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-07-30T16:47:13.334142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.