Pith. sign in

Paper Citation Record · LEDGER

A Taxonomy of Real-World Defeaters in Safety Assurance Cases

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.

pith.paper-citation-record.v1
2502.00238 v1

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T19:46:25.603986Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-28T08:44:25.311618Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

49 of 49 outbound references displayed

  • verified exact1
  • verified fuzzy45
  • unresolved3
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 51f5d65a-e393-47de-81e9-b670c79d1705 · outbound

This paper cites A survey on concepts, applications, and challenges in cyber-physical systems,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A survey on concepts, applications, and challenges in cyber-physical systems,

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.110866Z

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.

source=pdf_text observed=2026-08-09T19:46:25.439590Z digest=sha256:8d240b9dea322cd382cb004b7d105fc10a07dc6908afef209c696fbb34fc93ab

Observation 4fd6e07b-426c-4798-b047-78b13ca45455 · outbound

This paper cites Medical cyber-physical systems: A survey,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Medical cyber-physical systems: A survey,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.100322Z

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.

source=pdf_text observed=2026-08-09T19:46:25.443741Z digest=sha256:9bdd4e4415bec394836d6b30f8307173160e3c8add0765f589c84eb1e9c20dd4

Observation bbad7f7c-2fb6-436a-8d41-bfc8da3cccc1 · outbound

This paper cites Autonomous vehicle safety: An interdis- ciplinary challenge,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Autonomous vehicle safety: An interdis- ciplinary challenge,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.089593Z

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.

source=pdf_text observed=2026-08-09T19:46:25.447473Z digest=sha256:02bd775053acf8386fdaf39e5081ab9d0e95f99623ca6f09e283c0175fce8823

Observation 2c1bd686-fbd9-4095-b39d-3d18035d5975 · outbound

This paper cites Weaving an assurance case from design: a model-based approach,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Weaving an assurance case from design: a model-based approach,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.079386Z

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.

source=pdf_text observed=2026-08-09T19:46:25.451221Z digest=sha256:df8d723d006ffc9253f5aa0cddc547783c096c93baabb7703b9822f74bf2478b

Observation be19d94c-4ec3-4bfa-bc4a-47e6b180b6bb · outbound

This paper cites Software considerations in airborne systems and equipment certification,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Software considerations in airborne systems and equipment certification,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.069161Z

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.

source=pdf_text observed=2026-08-09T19:46:25.455091Z digest=sha256:0f7a2a54726e826c136420e78069086bf2020ba695f56cc6fecc2f76bec34216

Observation 0122b8df-2e93-47dd-a1ac-ff8e4925ed0b · outbound

This paper cites Ascad—adelard safety case development manual,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Ascad—adelard safety case development manual,

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.058584Z

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.

source=pdf_text observed=2026-08-09T19:46:25.458712Z digest=sha256:994941e62e807b0cb6c6bc76ddc16a890a2f1dd06b47496da6438f52a1401b81

Observation 1532e9b3-2adc-4e64-bb91-132c601d58d4 · outbound

This paper cites Knight, Fundamentals of Dependable Computing for Software Engi- neers.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Knight, Fundamentals of Dependable Computing for Software Engi- neers

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.048262Z

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.

source=pdf_text observed=2026-08-09T19:46:25.462730Z digest=sha256:35704b704dfe6947862587d3d13fc36957d66a0285ed7e150d4315a0a624f3d0

Observation ae92b595-12b7-4866-85e4-db6c3984892b · outbound

This paper cites The goal structuring notation–a safety argu- ment notation,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases The goal structuring notation–a safety argu- ment notation,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.039042Z

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.

source=pdf_text observed=2026-08-09T19:46:25.466015Z digest=sha256:fa465fc4b7989c370a98f6ad200010e34daa3e8f1ac4d754dd5bfea8f334e773

Observation 23b8533c-d448-468a-a70b-a2c2e443ae25 · outbound

This paper cites The interpretation and evaluation of assurance cases,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases The interpretation and evaluation of assurance cases,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.029256Z

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.

source=pdf_text observed=2026-08-09T19:46:25.469460Z digest=sha256:8c2a55957840381d6954f98526f3f479030040095a8052b5561f9a9a1c62ab01

Observation 1879ccb7-be51-414b-93a6-eef9113c3239 · outbound

This paper cites Defeaters and Eliminative Argumentation in Assurance 2.0.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Defeaters and Eliminative Argumentation in Assurance 2.0

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-09T19:46:25.472777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-09T19:46:25.472777Z digest=sha256:cf9af875d7132a2b50e9b6ca7e0dabfaeb4ed29d8e424ef59548e05637082331

Observation fa45d604-71aa-4e4d-8518-0be603285795 · outbound

This paper cites A survey of tool- supported assurance case assessment techniques,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A survey of tool- supported assurance case assessment techniques,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.020251Z

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.

source=pdf_text observed=2026-08-09T19:46:25.476465Z digest=sha256:54f1631d43ffc5d4b236cf252c45ced309d13f0baf5a4c82c953a6806b02ae43

Observation 755af304-6197-49e7-9d3b-e7c741f7af02 · outbound

This paper cites Clarissa: Foundations, tools & automation for assurance cases,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Clarissa: Foundations, tools & automation for assurance cases,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.010985Z

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.

source=pdf_text observed=2026-08-09T19:46:25.479756Z digest=sha256:fa7e54d0bf053367a7b2eb98f8d914da880d60ecb9285a5e5549a5a19695f163

Observation d389c9bf-d84e-4c7c-8d3a-fada14aa57e3 · outbound

This paper cites Advocate: An assurance case automation toolset,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Advocate: An assurance case automation toolset,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:26.001607Z

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.

source=pdf_text observed=2026-08-09T19:46:25.483240Z digest=sha256:66d13aaf79b60f06ecbb4857da30cf23cc5a9e76d1b8d42ba51ec55d34cbd115

Observation 53880549-d510-45a3-9b3a-42135c708de7 · outbound

This paper cites An independent review into the broader issues surrounding the loss of the RAF Nimrod MR2 Aircraft XV230 in Afghanistan in 2006,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.992542Z

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.

source=pdf_text observed=2026-08-09T19:46:25.486273Z digest=sha256:49c9c00c30f25e110af9ef99793631f746f87d8706c9514cbacefc96d2dfd671

Observation 34b750f6-8a02-4f73-80e2-6c345fa9c2ad · outbound

This paper cites Handling obstacles in goal-oriented requirements engineering,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Handling obstacles in goal-oriented requirements engineering,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.983282Z

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.

source=pdf_text observed=2026-08-09T19:46:25.489485Z digest=sha256:347e7afd6225147556f573abafe31af7445cbbacae0b43d1498eca220f66a0c1

Observation 439baa7d-3637-48a2-b41b-069d0d6c14d2 · outbound

This paper cites Eliminative induction: A basis for arguing system confidence,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Eliminative induction: A basis for arguing system confidence,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.973876Z

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.

source=pdf_text observed=2026-08-09T19:46:25.492699Z digest=sha256:3acf47057a569e1f19b0b151db59bd6cba1c9ca5d00b3e45c090dcce311e0d19

Observation 49f31eb1-2b42-4529-b3e2-b28617b8c63a · outbound

This paper cites CoDefeater: Using LLMs to find defeaters in assurance cases,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases CoDefeater: Using LLMs to find defeaters in assurance cases,

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.963548Z

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.

source=pdf_text observed=2026-08-09T19:46:25.495841Z digest=sha256:f3361a31c55e4bf04462f83ffbdb84b1ff9e894eeecbfbca5ed498f929304648

Observation b46df7ac-d596-483f-a91f-49fbb2ca275d · outbound

This paper cites AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.953685Z

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.

source=pdf_text observed=2026-08-09T19:46:25.498975Z digest=sha256:bf974390493885ad52eef3eb11b808e5f8537c3c7c342b7bad6d7c1bc186e117

Observation a5b181f9-97cb-494d-bf20-4c4b9d92f8c7 · outbound

This paper cites Semantic analysis of assurance cases using s (CASP).

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Semantic analysis of assurance cases using s (CASP)

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.944093Z

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.

source=pdf_text observed=2026-08-09T19:46:25.502282Z digest=sha256:9efc84a2e763f76d462372495f05dc95beb2fd69c51ae376d01a02031e41169a

Observation 29bb157b-7967-4251-a328-28164f7edeaa · outbound

This paper cites Understanding and evaluating assurance cases,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Understanding and evaluating assurance cases,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.934141Z

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.

source=pdf_text observed=2026-08-09T19:46:25.506081Z digest=sha256:1b704206c39771161baf80ba4351d96eaa6597f1c54284924b777c176f27778b

Observation 738e7117-a2ea-4da6-a4ce-9d2284cabf46 · outbound

This paper cites Safety Case Templates for Autonomous Systems.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Safety Case Templates for Autonomous Systems

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-09T19:46:25.509403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-09T19:46:25.509403Z digest=sha256:440ae17092a6fdabb99ffb702ee21243445d359b0864903c1bfb9f93d9acd162

Observation 2551660f-bf4c-42a2-9a56-6130264d786d · outbound

This paper cites A taxonomy of fallacies in system safety arguments,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A taxonomy of fallacies in system safety arguments,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.925049Z

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.

source=pdf_text observed=2026-08-09T19:46:25.514010Z digest=sha256:cb4f5de96305e201621104d2515c41d86eee91e35dc53225dd8a81306569e062

Observation 265d5067-5575-48a7-b6bf-a5b73cd15ade · outbound

This paper cites Driving the development process from the safety case,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Driving the development process from the safety case,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.915481Z

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.

source=pdf_text observed=2026-08-09T19:46:25.518118Z digest=sha256:437af1dcf6c9347cc46937d458b9413da42e77ff01491ed72c793a553e6f475c

Observation e8a00f0c-5aa8-41db-84ab-2d7b7f1331fe · outbound

This paper cites Assurance Case Arguments in the Large: The CERN LHC Machine Protection System,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Assurance Case Arguments in the Large: The CERN LHC Machine Protection System,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.905856Z

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.

source=pdf_text observed=2026-08-09T19:46:25.521472Z digest=sha256:d0c9fe5cef8961613c4b0ec25485d9da1aba1b92455970087292b20dbb923ac8

Observation 8fa88417-e9f3-4a11-9f72-b6c0a721d3b2 · outbound

This paper cites Red-teaming for generative AI: Silver bullet or security theater?.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Red-teaming for generative AI: Silver bullet or security theater?

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.896352Z

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.

source=pdf_text observed=2026-08-09T19:46:25.524769Z digest=sha256:892e28a655124087df17d04aea6a1e49e9f093eb76506bab97d179dbd728780c

Observation ee9ed17e-3ad1-49e5-a463-72a66cbfbe7e · outbound

This paper cites A taxonomy of uncertainty for dynamically adaptive systems,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A taxonomy of uncertainty for dynamically adaptive systems,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.887118Z

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.

source=pdf_text observed=2026-08-09T19:46:25.528760Z digest=sha256:9b7442fb67034d4f8753e7626b1064293a9800c5e83aeaa7be0108e69935c16f

Observation d2ff0fa3-3208-466e-b920-0e8cb5c07377 · outbound

This paper cites Taxonomy of machine learning safety: A survey and primer,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Taxonomy of machine learning safety: A survey and primer,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.877575Z

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.

source=pdf_text observed=2026-08-09T19:46:25.532139Z digest=sha256:267f9543c0d63b015b033a780a34ceb79a58435411fbad1612eef9e0d36a23c2

Observation 001ea07f-1452-4151-8fe5-b00df2b77852 · outbound

This paper cites A family-based approach to safety cases for controlled airspaces in small uncrewed aerial systems,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.868029Z

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.

source=pdf_text observed=2026-08-09T19:46:25.535183Z digest=sha256:1f7e2fd74a7b031e61a6115f45ee46a31bd029b1309b963825f1d3c030eaf420

Observation 1ae91df0-f8c4-41a6-ab73-cac2e6a118cc · outbound

This paper cites Towards engineering fair and equitable software systems for managing low-altitude airspace authorizations,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.858352Z

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.

source=pdf_text observed=2026-08-09T19:46:25.538604Z digest=sha256:3897516bfb455492147f3a7b71a049046069d6b4a3f1328934a6903a70d1bdf4

Observation d86b9d0d-59cf-4995-ba80-2c96792e6fa2 · outbound

This paper cites The art and practice of data science pipelines: A comprehensive study of data science pipelines in theory, in-the-small, and in-the-large,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.848661Z

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.

source=pdf_text observed=2026-08-09T19:46:25.541772Z digest=sha256:8d9ad1509bc24c078cbd10d01d2241e3aaf3e3db1d4e819fee32e2ccf325ac78

Observation 64b50243-6141-47a8-ad15-d4e838361ac2 · outbound

This paper cites Sociotechnical harms of algorithmic systems: Scoping a taxonomy for harm reduction,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Sociotechnical harms of algorithmic systems: Scoping a taxonomy for harm reduction,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.838821Z

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.

source=pdf_text observed=2026-08-09T19:46:25.545000Z digest=sha256:17c96009edaa5855bed8d1c743161501cd24944073b932d4ef9908df92e82b24

Observation 2b733e86-2870-42de-b633-b4fa14fead73 · outbound

This paper cites Long-Term Fairness Inquiries and Pursuits in Machine Learning: A Survey of Notions, Methods, and Challenges.

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

Resolution
verified exact
local_arxiv, observed 2026-08-09T19:46:25.638438Z

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.

source=pdf_text observed=2026-08-09T19:46:25.548205Z digest=sha256:46a86eb08f7259d8aed783bee46ca23f37d4fb73641ba24fdeb284e7f9ed7851

Observation 8aef06c6-e0b5-480c-9959-4d42730e2526 · outbound

This paper cites Clarke and V.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Clarke and V

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.828828Z

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.

source=pdf_text observed=2026-08-09T19:46:25.551674Z digest=sha256:237a588a63d5116f9cfbb6c300664c718fcb78b8857d825208a861cb0f683056

Observation dfc07b33-5d4b-4a61-8aae-d056f1ce764f · outbound

This paper cites an unresolved cited work.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-09T19:46:25.819476Z

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.

source=pdf_text observed=2026-08-09T19:46:25.554971Z digest=sha256:1481753b7db6ba6a8062459da33c149cb0bccaefa34a4a105fdad7437064b470

Observation a29f9a13-68b3-4bd1-bf28-fd228e32ddd5 · outbound

This paper cites Orthogonal defect classification - A concept for in-process measurements,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Orthogonal defect classification - A concept for in-process measurements,

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.809973Z

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.

source=pdf_text observed=2026-08-09T19:46:25.558074Z digest=sha256:827cd08954ca753fdf92962f46fb42412cac49a87a9746527c21c02a98a49db5

Observation 34113936-de72-4c42-ae3b-c440a7dbae30 · outbound

This paper cites Dubrova, Fault-tolerant design.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Dubrova, Fault-tolerant design

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.800372Z

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.

source=pdf_text observed=2026-08-09T19:46:25.561361Z digest=sha256:43a5bd9fbae7e985f6c0c82537040308125e7caa9814f088ff6c282b7274fa4d

Observation ecc47ce7-aba2-42c1-8882-eaefbc44e0dd · outbound

This paper cites van Lamsweerde, Requirements Engineering - From System Goals to UML Models to Software Specifications.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.791149Z

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.

source=pdf_text observed=2026-08-09T19:46:25.564783Z digest=sha256:ad5753251856c156f13faea2fa181217addfb783381c7e497905e39512b9f568

Observation 5b7313d1-de55-45f7-bc9c-43920240737b · outbound

This paper cites Security requirements engineering: A framework for representation and analysis,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Security requirements engineering: A framework for representation and analysis,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.780939Z

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.

source=pdf_text observed=2026-08-09T19:46:25.568033Z digest=sha256:4dfc437f373c34ba677d1eab3edafd3b7ea7b4e8ce6b5b15ebc45200eb141def

Observation 5a3153bf-e88c-4f6f-bbd2-22dc828d293a · outbound

This paper cites A survey on adversarial attacks in computer vision: Taxonomy, visualization and future directions,.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.771354Z

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.

source=pdf_text observed=2026-08-09T19:46:25.571208Z digest=sha256:abe1407448a09679a01f51d66085093bf02893e58d32043599eca5b490bb5610

Observation 6aa19bbc-8fca-4095-82f8-215e4dbfdb1e · outbound

This paper cites A taxonomy and terminology of adversarial machine learning,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A taxonomy and terminology of adversarial machine learning,

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.761386Z

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.

source=pdf_text observed=2026-08-09T19:46:25.574484Z digest=sha256:5d8e5c2ba384a0228347da6928dc94900e35b958d4e0c05adb3944c3c21218db

Observation a1a7aecf-a4eb-4c60-b1b7-74ad9c00b808 · outbound

This paper cites Reasoning about confidence and uncertainty in assurance cases: A survey,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Reasoning about confidence and uncertainty in assurance cases: A survey,

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.751525Z

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.

source=pdf_text observed=2026-08-09T19:46:25.577799Z digest=sha256:8ce8c944222966edf1dfdbec0a1f117d4cf424e66b7844725b0a14745e67ae56

Observation 7d10eb02-f636-4b8f-b9d7-d646d77dae86 · outbound

This paper cites Advancing requirements engineering through generative AI: Assessing the role of LLMs,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Advancing requirements engineering through generative AI: Assessing the role of LLMs,

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.741824Z

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.

source=pdf_text observed=2026-08-09T19:46:25.581016Z digest=sha256:45c775fd9d6ac601d45cc495775d67a82b42ec34279731daee6733a74e0f0ab5

Observation 1cc3fe10-d01b-4fd3-8fb7-446c915bb5b9 · outbound

This paper cites Large language model for vulnerability detection: Emerging results and future directions,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Large language model for vulnerability detection: Emerging results and future directions,

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.732116Z

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.

source=pdf_text observed=2026-08-09T19:46:25.584022Z digest=sha256:c066b86b5e7ffaedb0475dcbc452188dd8c03f75c6067abe7542559a7b4f3cac

Observation 53ba31be-5fc3-4380-9a95-8c0fa6732449 · outbound

This paper cites Attest: Automating the review and update of assurance case arguments,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Attest: Automating the review and update of assurance case arguments,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.721800Z

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.

source=pdf_text observed=2026-08-09T19:46:25.587502Z digest=sha256:200c293fdd3ffa51866ad5b96535ba88ee1aeda4f70a9d5f1b965fbc09ab7d7c

Observation 568908f7-3df6-49c8-a852-024cabe6cab3 · outbound

This paper cites Automatically detecting fallacies in system safety arguments,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Automatically detecting fallacies in system safety arguments,

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.711032Z

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.

source=pdf_text observed=2026-08-09T19:46:25.591034Z digest=sha256:ddda70afc86a34ec8b40998e5b1136584b48d8a24f07ec54159215b40f941bc2

Observation c1756bc4-0435-4fbc-8301-c6127ea3a3ee · outbound

This paper cites Argument-based approach to computer system safety engineering,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Argument-based approach to computer system safety engineering,

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.700553Z

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.

source=pdf_text observed=2026-08-09T19:46:25.594158Z digest=sha256:9332a25140c7cfcfbcb6201b1696ac9df3de53fca6d0c1c6a4bfc585aa7cdd66

Observation 0236aacd-569c-4f6a-b219-2a36f79f1373 · outbound

This paper cites A systematic approach and tool support for GSN-based safety case assessment,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A systematic approach and tool support for GSN-based safety case assessment,

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.689912Z

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.

source=pdf_text observed=2026-08-09T19:46:25.597296Z digest=sha256:502f4e547cb9b92534609f256ec48afb01165ba5e89c5ddee835df62151914e0

Observation 02ab0462-450e-42c9-9f97-ed33b34e45b8 · outbound

This paper cites Systematic evaluation of (safety) assurance cases,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases Systematic evaluation of (safety) assurance cases,

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.679629Z

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.

source=pdf_text observed=2026-08-09T19:46:25.600844Z digest=sha256:3717138da0ac34fec6f0c3980e56092a5259071d44364b48acb1417debdf7a5c

Observation a1174989-da88-46a8-a9fd-4f12fb9aed89 · outbound

This paper cites A PRISMA-driven systematic mapping study on system assurance weakeners,.

A Taxonomy of Real-World Defeaters in Safety Assurance Cases A PRISMA-driven systematic mapping study on system assurance weakeners,

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-09T19:46:25.668742Z

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.

source=pdf_text observed=2026-08-09T19:46:25.603986Z digest=sha256:1841bda6dcd0a48b904040debb9867ad6125841f6b4d43bc25b693878463acc9

Pith citing papers

Observation d8f57c87-b378-4520-818f-4418222b6ff4 · inbound

Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables cites this paper.

Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables A Taxonomy of Real-World Defeaters in Safety Assurance Cases

Reference 31

Resolution
verified exact
arxiv_id, observed 2026-06-28T08:51:49.162538Z

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.

source=pdf_text observed=2026-06-28T08:44:25.311618Z digest=sha256:ac624fe344970dcfbdc99b38225f0a56d98397fe59c1212e19e9f2f2615cdf84