Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-25T01:55:15.352424Z
Paper Citation Record · LEDGER
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
As of 18 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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
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 specification and v erification of hybrid systems.
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Hybrid automata: An algorithmic approach to the specification and v erification 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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.
Observation afca92f1-74bb-4274-9091-ea24e7ba7e8b · outbound
This paper cites A component-based approach to hybrid systems safety verification.
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic A component-based approach to hybrid systems safety verification
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-17T06:30:58.91139+00:00.
Observation 9caea784-7e9c-401d-8026-02bc2d07796b · outbound
This paper cites Tactical contract composition for hybrid s ystem component verifi- cation.
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Tactical contract composition for hybrid s ystem component verifi- 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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.
Observation e868ded5-342c-4297-ba1d-bab24ce688ae · outbound
This paper cites A complete uniform substitution calcul us for differential dynamic logic.
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic A complete uniform substitution calcul us for differential 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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.
Observation 8a23763d-b1e5-4844-a391-62e399ae97af · outbound
This paper cites Differential equation a xiomatization: The impressive power of differential ghosts.
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic Differential equation a xiomatization: The impressive power of differential 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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.
Pith citing papers
No inbound Pith citation observations are available.