Paper Citation Record · LEDGER

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

As of 11 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:1907.02881.

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

pith.paper-citation-record.v1
1907.02881 v2

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-25T01:55:15.352424Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

15 of 15 outbound references displayed

verified exact0
verified fuzzy15
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6fe3680b-c098-48de-ae9b-b2025ef94685 · outbound

This paper cites Hybrid automata: An algorithmic approach to the speciﬁcation and v eriﬁcation of hybrid systems.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Hybrid automata: An algorithmic approach to the speciﬁcation and v eriﬁcation of hybrid systems

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.074720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e0dbd876-4a8e-47f3-ad80-b352ad74307d · outbound

This paper cites Contrac ts for system design.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Contrac ts for system design

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.088516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f6630fb4-1a2a-4095-ae68-c161b071c783 · outbound

This paper cites Keymaera X: an axiomatic tactical theorem prover for hybrid systems.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Keymaera X: an axiomatic tactical theorem prover for hybrid systems

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.102645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5bf9c8ba-16e2-4418-b57e-ea90367c77fd · outbound

This paper cites Ass ume-guarantee reasoning for hierarchical hybrid systems.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Ass ume-guarantee reasoning for hierarchical hybrid systems

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.082434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e2f2a5f1-89a8-4ce5-9974-04fe207b99e2 · outbound

This paper cites From CSP to hybrid systems.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic From CSP to hybrid systems

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.086128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1f8a7a02-c164-4f71-af38-1ae8cca1dfec · outbound

This paper cites A calculus for hybrid CSP.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic A calculus for hybrid CSP

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.107858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 86aab8af-4e41-4f10-8f50-5996b017da46 · outbound

This paper cites Comp ositional proofs in dif- ferential dynamic logic.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Comp ositional proofs in dif- ferential dynamic logic

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.125480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 48379873-11ac-4f8d-8a4d-2069c3a41410 · outbound

This paper cites Lynch, Roberto Segala, and Frits W.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Lynch, Roberto Segala, and Frits W

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.079296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation afca92f1-74bb-4274-9091-ea24e7ba7e8b · outbound

This paper cites A component-based approach to hybrid systems safety veriﬁcation.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic A component-based approach to hybrid systems safety veriﬁcation

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.104807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9caea784-7e9c-401d-8026-02bc2d07796b · outbound

This paper cites Tactical contract composition for hybrid s ystem component veriﬁ- cation.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Tactical contract composition for hybrid s ystem component veriﬁ- cation

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.101187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9d35865b-29b9-46ab-a63e-b4f4ef52269d · outbound

This paper cites The complete proof theory of hybrid syst ems.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic The complete proof theory of hybrid syst ems

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.093200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e868ded5-342c-4297-ba1d-bab24ce688ae · outbound

This paper cites A complete uniform substitution calcul us for diﬀerential dynamic logic.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic A complete uniform substitution calcul us for diﬀerential dynamic logic

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.121339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cb6b0159-f964-4138-bbb2-592030c0311f · outbound

This paper cites Logical Foundations of Cyber-Physical Systems.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Logical Foundations of Cyber-Physical Systems

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.112987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8a23763d-b1e5-4844-a391-62e399ae97af · outbound

This paper cites Diﬀerential equation a xiomatization: The impressive power of diﬀerential ghosts.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Diﬀerential equation a xiomatization: The impressive power of diﬀerential ghosts

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.117408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1e9ab236-eff6-4711-9cf4-547f654e796a · outbound

This paper cites Frama-c: a software analysis p erspective.

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Frama-c: a software analysis p erspective

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T01:56:33.077210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Pith citing papers

No inbound Pith citation observations are available.