Paper Citation Record · LEDGER

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B

As of 13 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2411.14168.

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

pith.paper-citation-record.v1
2411.14168 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:33:07.135208Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

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

17 of 17 outbound references displayed

verified exact6
verified fuzzy7
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6600570b-4924-41dd-9e7b-5c457f3287e1 · outbound

This paper cites Abrial (1996): The B-Book: Assigning Programs to Meanings.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Abrial (1996): The B-Book: Assigning Programs to Meanings

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:07.086026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd739ed1-b752-4f48-8b99-18a8183e8f88 · outbound

This paper cites Abrial (2005): Event-B: Structure and Laws.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Abrial (2005): Event-B: Structure and Laws

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.414008Z

Source-reported events for the cited work

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

Observation 97b20f89-4903-4c57-8010-c8943701f9c8 · outbound

This paper cites Abrial (2010): Modeling in Event-B: System and Software Engineering.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Abrial (2010): Modeling in Event-B: System and Software Engineering

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:07.093062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a983ead-f62e-4a44-8ce8-b37f153d45a8 · outbound

This paper cites Banach (2024): Core Hybrid Event-B III: Fundamentals of a Reasoning Framework.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Banach (2024): Core Hybrid Event-B III: Fundamentals of a Reasoning Framework

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:07.096219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46757d15-3408-458f-b667-a3abb9a81f86 · outbound

This paper cites Banach (2024): Hybrid Event-B.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Banach (2024): Hybrid Event-B

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.405354Z

Source-reported events for the cited work

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

Observation 737af6ee-4361-4669-bbe6-2f80e22c58fc · outbound

This paper cites Banach, M.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Banach, M

Reference 6

Resolution: verified exact; doi, observed 2026-08-12T15:33:07.209346Z

Source-reported events for the cited work

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

Observation 9bc050d3-5469-4702-b0e6-c64d19137212 · outbound

This paper cites Banach, M.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Banach, M

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T15:33:07.200029Z

Source-reported events for the cited work

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

Observation 58526686-8bfa-49c5-8f21-05c02ab828a0 · outbound

This paper cites Butler (2009): Decomposition Strategies for Event-B.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Butler (2009): Decomposition Strategies for Event-B

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.395999Z

Source-reported events for the cited work

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

Observation 4f40e494-62de-4bae-9806-1aa0b81bdda5 · outbound

This paper cites Carloni, R.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Carloni, R

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:33:07.191129Z

Source-reported events for the cited work

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

Observation 58fc5291-02d2-4b13-8bc4-bfab49648ce3 · outbound

This paper cites Garoche (2019): Formal Verification of Control System Software.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Garoche (2019): Formal Verification of Control System Software

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T15:33:07.114724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4edd2171-3acc-4219-a6a9-9d7693c8370d · outbound

This paper cites Geisberger & M.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Geisberger & M

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.386790Z

Source-reported events for the cited work

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

Observation f36f0a90-4b8a-496f-a3b2-72d2293c0ca1 · outbound

This paper cites Hallerstede & J.-R.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Hallerstede & J.-R

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.377744Z

Source-reported events for the cited work

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

Observation 81f79484-08fa-40cc-9927-fd58d0f78a63 · outbound

This paper cites Hallerstede & T.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Hallerstede & T

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.367716Z

Source-reported events for the cited work

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

Observation 94e9b72a-846e-4561-ba5e-3973de168267 · outbound

This paper cites Sanfelice (2021): Hybrid Feedback Control.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Sanfelice (2021): Hybrid Feedback Control

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T15:33:07.181615Z

Source-reported events for the cited work

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

Observation 96a7bee8-0913-4415-b165-a4c2d614483d · outbound

This paper cites Silva & M.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Silva & M

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:33:07.358876Z

Source-reported events for the cited work

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

Observation a36cccbe-9bf9-414f-aee4-ba06779c5cf1 · outbound

This paper cites Silva, C.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Silva, C

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T15:33:07.171793Z

Source-reported events for the cited work

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

Observation ed9e12c3-44e7-4560-b7c8-56b1a00b6f40 · outbound

This paper cites Tabuada (2009): Verification and Control of Hybrid Systems: A Symbolic Approach.

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Tabuada (2009): Verification and Control of Hybrid Systems: A Symbolic Approach

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T15:33:07.162656Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.