Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-09T19:46:25.603986Z
Paper Citation Record · LEDGER
As of 10 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 1 inbound Pith citation observation for arXiv:2502.00238.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-09T19:46:25.603986Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-06-28T08:44:25.311618Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z
49 of 49 outbound references displayed
External citation measurements
0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Observation 51f5d65a-e393-47de-81e9-b670c79d1705 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A survey on concepts, applications, and challenges in cyber-physical systems,
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 4fd6e07b-426c-4798-b047-78b13ca45455 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Medical cyber-physical systems: A survey,
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation bbad7f7c-2fb6-436a-8d41-bfc8da3cccc1 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Autonomous vehicle safety: An interdis- ciplinary challenge,
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 2c1bd686-fbd9-4095-b39d-3d18035d5975 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Weaving an assurance case from design: a model-based approach,
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation be19d94c-4ec3-4bfa-bc4a-47e6b180b6bb · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Software considerations in airborne systems and equipment certification,
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 0122b8df-2e93-47dd-a1ac-ff8e4925ed0b · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Ascad—adelard safety case development manual,
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 1532e9b3-2adc-4e64-bb91-132c601d58d4 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Knight, Fundamentals of Dependable Computing for Software Engi- neers
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ae92b595-12b7-4866-85e4-db6c3984892b · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases The goal structuring notation–a safety argu- ment notation,
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 23b8533c-d448-468a-a70b-a2c2e443ae25 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases The interpretation and evaluation of assurance cases,
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 1879ccb7-be51-414b-93a6-eef9113c3239 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Defeaters and Eliminative Argumentation in Assurance 2.0
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa45d604-71aa-4e4d-8518-0be603285795 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A survey of tool- supported assurance case assessment techniques,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 755af304-6197-49e7-9d3b-e7c741f7af02 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Clarissa: Foundations, tools & automation for assurance cases,
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d389c9bf-d84e-4c7c-8d3a-fada14aa57e3 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Advocate: An assurance case automation toolset,
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 53880549-d510-45a3-9b3a-42135c708de7 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases An independent review into the broader issues surrounding the loss of the RAF Nimrod MR2 Aircraft XV230 in Afghanistan in 2006,
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 34b750f6-8a02-4f73-80e2-6c345fa9c2ad · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Handling obstacles in goal-oriented requirements engineering,
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 439baa7d-3637-48a2-b41b-069d0d6c14d2 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Eliminative induction: A basis for arguing system confidence,
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 49f31eb1-2b42-4529-b3e2-b28617b8c63a · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases CoDefeater: Using LLMs to find defeaters in assurance cases,
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation b46df7ac-d596-483f-a91f-49fbb2ca275d · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases,
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a5b181f9-97cb-494d-bf20-4c4b9d92f8c7 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Semantic analysis of assurance cases using s (CASP)
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 29bb157b-7967-4251-a328-28164f7edeaa · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Understanding and evaluating assurance cases,
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 738e7117-a2ea-4da6-a4ce-9d2284cabf46 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Safety Case Templates for Autonomous Systems
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2551660f-bf4c-42a2-9a56-6130264d786d · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A taxonomy of fallacies in system safety arguments,
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 265d5067-5575-48a7-b6bf-a5b73cd15ade · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Driving the development process from the safety case,
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation e8a00f0c-5aa8-41db-84ab-2d7b7f1331fe · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Assurance Case Arguments in the Large: The CERN LHC Machine Protection System,
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8fa88417-e9f3-4a11-9f72-b6c0a721d3b2 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Red-teaming for generative AI: Silver bullet or security theater?
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ee9ed17e-3ad1-49e5-a463-72a66cbfbe7e · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A taxonomy of uncertainty for dynamically adaptive systems,
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d2ff0fa3-3208-466e-b920-0e8cb5c07377 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Taxonomy of machine learning safety: A survey and primer,
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 001ea07f-1452-4151-8fe5-b00df2b77852 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A family-based approach to safety cases for controlled airspaces in small uncrewed aerial systems,
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 1ae91df0-f8c4-41a6-ab73-cac2e6a118cc · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Towards engineering fair and equitable software systems for managing low-altitude airspace authorizations,
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d86b9d0d-59cf-4995-ba80-2c96792e6fa2 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases The art and practice of data science pipelines: A comprehensive study of data science pipelines in theory, in-the-small, and in-the-large,
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 64b50243-6141-47a8-ad15-d4e838361ac2 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Sociotechnical harms of algorithmic systems: Scoping a taxonomy for harm reduction,
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 2b733e86-2870-42de-b633-b4fa14fead73 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Long-Term Fairness Inquiries and Pursuits in Machine Learning: A Survey of Notions, Methods, and Challenges
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8aef06c6-e0b5-480c-9959-4d42730e2526 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Clarke and V
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation dfc07b33-5d4b-4a61-8aae-d056f1ce764f · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Unresolved cited work
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a29f9a13-68b3-4bd1-bf28-fd228e32ddd5 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Orthogonal defect classification - A concept for in-process measurements,
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 34113936-de72-4c42-ae3b-c440a7dbae30 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Dubrova, Fault-tolerant design
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ecc47ce7-aba2-42c1-8882-eaefbc44e0dd · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases van Lamsweerde, Requirements Engineering - From System Goals to UML Models to Software Specifications
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 5b7313d1-de55-45f7-bc9c-43920240737b · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Security requirements engineering: A framework for representation and analysis,
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 5a3153bf-e88c-4f6f-bbd2-22dc828d293a · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A survey on adversarial attacks in computer vision: Taxonomy, visualization and future directions,
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 6aa19bbc-8fca-4095-82f8-215e4dbfdb1e · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A taxonomy and terminology of adversarial machine learning,
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a1a7aecf-a4eb-4c60-b1b7-74ad9c00b808 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Reasoning about confidence and uncertainty in assurance cases: A survey,
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7d10eb02-f636-4b8f-b9d7-d646d77dae86 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Advancing requirements engineering through generative AI: Assessing the role of LLMs,
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 1cc3fe10-d01b-4fd3-8fb7-446c915bb5b9 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Large language model for vulnerability detection: Emerging results and future directions,
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 53ba31be-5fc3-4380-9a95-8c0fa6732449 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Attest: Automating the review and update of assurance case arguments,
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 568908f7-3df6-49c8-a852-024cabe6cab3 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Automatically detecting fallacies in system safety arguments,
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation c1756bc4-0435-4fbc-8301-c6127ea3a3ee · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Argument-based approach to computer system safety engineering,
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 0236aacd-569c-4f6a-b219-2a36f79f1373 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A systematic approach and tool support for GSN-based safety case assessment,
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 02ab0462-450e-42c9-9f97-ed33b34e45b8 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases Systematic evaluation of (safety) assurance cases,
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a1174989-da88-46a8-a9fd-4f12fb9aed89 · outbound
A Taxonomy of Real-World Defeaters in Safety Assurance Cases A PRISMA-driven systematic mapping study on system assurance weakeners,
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d8f57c87-b378-4520-818f-4418222b6ff4 · inbound
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables A Taxonomy of Real-World Defeaters in Safety Assurance Cases
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.