Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-11T02:52:49.268354Z
Paper Citation Record · LEDGER
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
As of 15 August 2026, this Paper Citation Record lists 100 of 219 outbound references and 1 inbound Pith citation observation for arXiv:2605.07814.
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-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-06-26T07:46:24.015741Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-04T11:39:47.548599Z
Reference resolution
100 of 219 outbound references displayed
- verified exact25
- verified fuzzy5
- unresolved55
- parse uncertain1
- malformed identifier10
- metadata mismatch4
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 22388e4a-f8df-476d-b687-ef8c76baa2c1 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 1
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.135572Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 76d7a6b6-549f-451c-aa70-5c54d85dc7bb · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.596970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c6c06776-fa02-4fa1-8ccd-ccb7d3cb1e68 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.582397Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f49a8ebe-6c80-4813-9674-1b9be293b3a3 · outbound
This paper cites In: Proc.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers In: Proc
Reference 4
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-11T02:55:52.069862Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4a56dbab-a6b3-413e-b8dd-a1f0f45be4cc · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.587142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dbdbfdf3-2c1c-4215-b19b-9dcf28a8e53d · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 6
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-11T03:05:54.936675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c959aaad-756a-4771-9e02-f564c2828579 · outbound
This paper cites Allen, Sean Barnum, Robert J.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Allen, Sean Barnum, Robert J
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T11:24:37.577186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1565de73-d876-4b37-b274-74561e7d2264 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 8
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T03:05:54.928594Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1cff31a1-c308-42d4-8986-a82c8ce815fe · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.584051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1434c0db-046c-4bd2-b78c-4f7db85aca76 · outbound
This paper cites Murphy-Hill, and Robert W.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Murphy-Hill, and Robert W
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.118397Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2b56c892-0d8e-481a-a62f-d41501c24e9c · outbound
This paper cites Fernandez.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Fernandez
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.080474Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f8ad9183-b447-4cc2-8805-6ca281b429a6 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.593582Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2e510af4-8f31-4625-aa0a-5ce4c18525fd · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.123682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 23fc633d-5cf6-4fc4-bbbc-44cea4d64200 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.646039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 34586678-88f0-44b6-a6d9-08b4e2e2a79f · outbound
This paper cites McDaniel.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers McDaniel
Reference 15
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T02:55:52.099513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 595371ea-2997-40f7-8f7a-2c340606d2fd · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 16
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.071611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 53552a1f-dc56-43fd-a1bc-224e910fd1a3 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 17
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-11T02:55:52.087191Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c5c8c9f1-28cb-4825-b830-d10c1f6531d6 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:29:37.823782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3f958b82-a5fd-4548-95a2-598e1b2134ff · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.158144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e8f9c8cd-6b3c-4bda-b22c-4fdcb497bfc6 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.761667Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6e5bd79a-0aa2-48c0-a9ad-15bb60978e8e · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.763242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 74415d3b-c35d-4725-87b1-3b7da34e35ce · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.215147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 65fb4d62-c633-4caf-81b6-19bb1bf97c48 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.765358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9aed7235-a426-4f53-aaa9-e84721f972c8 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.753324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 736ff3aa-9fbe-41eb-b78f-b68abbfe0f91 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.755745Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a8978e99-229c-49d6-8cc8-4cb71d245a26 · outbound
This paper cites Burt, Barrett R.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Burt, Barrett R
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T11:24:37.758829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 815b73a7-d337-4282-afaa-303a752dfe07 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.766913Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5ff6cfeb-eb74-4718-9dfb-8340b1958202 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:29:37.831323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 471f07f7-fdc6-42aa-8a3d-292dd400181b · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.774947Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 414dbd6d-4e8a-4888-bdee-6d4174023706 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.709513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fb22e459-5aa5-40e7-a932-37bd2ef9f4c8 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 31
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.185342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a21095b2-87e9-4dda-a568-531456eb8deb · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.701246Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 92636012-3915-4ccc-84aa-7b437d609d5e · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.670691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9a7cad34-c3c9-4c2a-bc3d-415832c6e424 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.658885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f3435cd0-2d25-4fd2-a7e0-ededd515045c · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.665569Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 34af104f-128e-403f-8cfb-9e092ba5f40c · outbound
This paper cites Seacord, David Svoboda, and Kazuya Togashi.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Seacord, David Svoboda, and Kazuya Togashi
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T11:24:37.675884Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1b2ee408-4d25-444e-b079-d0fcb0c43c88 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 37
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.036350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 49fdb860-49d2-4f95-8d80-a272585b969a · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.699724Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ba5dc74f-06ff-4896-acc3-097dc95a1bd6 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.776469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e17bd835-aa13-44c7-88cd-59b91398614b · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 40
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.031168Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation bcc5db53-dec3-4d13-b09b-77c84627ed04 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.653757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1b2edfb8-3cd6-4ac1-a346-aa6ee826c63f · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.570071Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3e67a007-7b5a-4bc6-bb32-1997d590cc83 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.571685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0862c330-8954-43d6-8c5c-9113e27d491a · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.580722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 53fd20cb-2a77-4cf7-99f0-fa0c0c94a238 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.585624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0b19d328-d626-42a5-be7d-a2ca9cad2543 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.595260Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ef641bb4-c1e2-4d1c-b768-328daf0068ca · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.638971Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d07779ea-425e-4b23-a136-4d8d02e6cc3e · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.779526Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1e49e209-8377-45cc-be91-1589eb015ef1 · outbound
This paper cites Transactions on Software 46 Peldszus et al.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Transactions on Software 46 Peldszus et al
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T11:29:37.836321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 247da153-5353-49f9-8d21-f5ebf3223ad9 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:29:37.826353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5db549d2-dd83-457e-85b8-c7843606df74 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.771579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4f0df3c4-e448-45c4-ba41-fdf280d1dcf8 · outbound
This paper cites InInternational Conference on Source Code Analysis and Manipulation (SCAM).
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers InInternational Conference on Source Code Analysis and Manipulation (SCAM)
Reference 52
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-11T02:55:52.051235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 74e108bc-6e87-4520-b664-adefc304d146 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.770118Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 56147c41-a561-4909-bfdd-1cd1636653e5 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:29:37.816736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 83ba6c91-539a-4fe3-8bab-af6c9c052697 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 55
- Resolution
- parse uncertain
- raw_fallback, observed 2026-05-14T11:24:37.749422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f7380807-9889-485e-b670-5794e66013db · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.735193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 91e0532b-e92c-467b-9e8d-41746740732a · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.642209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 76fb9ca7-3eff-498e-8e3f-4bbeb38ca8b8 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 58
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.213201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 69669ad7-3d8f-46d9-a56f-3f24b251c865 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 59
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.219951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6b70b821-5b87-490e-bcbe-01b2a0dd6f89 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.738491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c455cb15-632e-4a8a-9675-803ada8d4c79 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.740116Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 22ca4960-a83b-4408-83c5-366042010fa7 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.731968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0b42026d-b2c4-42fb-8bac-a02db9f16896 · outbound
This paper cites Stolee, and Christopher Parnin.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Stolee, and Christopher Parnin
Reference 63
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.194070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b1d451e0-26be-435e-87cb-de59a4f8ad38 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.723675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 20cb9269-4728-42e7-a591-137bd1b1b6f9 · outbound
This paper cites 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
Reference 65
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T02:55:52.180656Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 65764926-6dd8-4ea4-b412-f3c06edcf149 · outbound
This paper cites Angela Sasse, and Alena Naiakshina.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Angela Sasse, and Alena Naiakshina
Reference 66
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.200834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3fb2e2da-b769-4e38-b82b-56420a31fafb · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 67
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.183167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7155a09a-e141-4748-a39f-ae56d7b60db5 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.720707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 60655cce-eaa6-43cd-975a-8c8c89bf7870 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.725188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b017d6a4-8b83-46b2-acac-6f957942007d · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.730304Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 52e51a29-d23d-423e-9ce7-38ac7ab48f94 · outbound
This paper cites Katherine Hough and Jonathan Bell.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Katherine Hough and Jonathan Bell
Reference 71
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.198472Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 512d3085-ac8d-4a44-8b82-ec40a405ec75 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.744608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fb206b94-27f3-4cac-940f-5977fd895fcf · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 73
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.188100Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 797b8fab-ac51-4406-b813-9e0f0454ff8e · outbound
This paper cites N., Abdrasheva, G.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers N., Abdrasheva, G
Reference 74
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-11T02:55:52.208037Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c66853b1-c466-498f-ac0d-9b79bf12297a · outbound
This paper cites In: Proceedings of the 15th ACM/IEEE International Symposium on Empirical Software Engineer- ing and Measurement (ESEM).
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers In: Proceedings of the 15th ACM/IEEE International Symposium on Empirical Software Engineer- ing and Measurement (ESEM)
Reference 75
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.121618Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation aafbce07-2d16-453f-8baa-78420dec166c · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 76
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.757189Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8bae17e7-6b19-426b-9c61-e9b7ca27dff4 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 77
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.102149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 29b1463a-2e58-4791-97d3-3c8d8ab1d1fe · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.696624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5d09bc70-cdad-4f39-9d83-8d6fba34349c · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 79
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.698142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d9cd7ac5-7af5-4dd4-bd05-5a3e3801f09d · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 80
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.707741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9acc2d64-9f83-4bef-bcd8-4a8587cd5b3f · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 81
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.148353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6fd5b6ea-def5-4f57-87ba-a848be1778c9 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 82
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.688496Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 41551649-e8a0-4e3b-9fb1-0cd304132743 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 83
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.694965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 386d4fd8-faf8-4eac-afec-6dba4fa8fd0c · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 84
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.096215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0a057d98-39ef-4016-9e4d-e359fc74bd66 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 85
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.683644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 132b5b2f-1e2f-448f-8230-482649493222 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 86
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-14T11:24:37.686888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2bdd4d42-bd8f-46dd-b661-cc1c05f8b27d · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 87
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.690152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 276bdbde-5f06-4232-82d8-95e2c1b006c3 · outbound
This paper cites and Lee, Jessica K.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers and Lee, Jessica K
Reference 88
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T02:55:52.083152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 113562b7-e94a-46ba-ab63-7b17a0616d75 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 89
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-11T03:05:54.932641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 631de2f0-c235-4df4-93b2-ddce6b0bc0a8 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 90
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.712570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 32d10f8c-1ca3-4ce5-b05e-36967e72a6a3 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 91
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.682194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ee90207e-6abb-41c0-830e-16883f577dbf · outbound
This paper cites Mancini, and Francesco Parisi-Presicce.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Mancini, and Francesco Parisi-Presicce
Reference 92
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-14T11:24:37.672573Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 246f7ec7-f8b1-4c0d-86ea-7c804ed2e3aa · outbound
This paper cites An extension of HybridSynchAADL and its application to collaborating au- tonomous UA Vs.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers An extension of HybridSynchAADL and its application to collaborating au- tonomous UA Vs
Reference 93
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-11T02:55:52.085349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2288941f-d6f1-4e08-94ea-f9e5c63bad50 · outbound
This paper cites Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko
Reference 94
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.140962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation bf846870-7dca-42b9-88d0-8fe48b13995a · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 95
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-11T03:05:54.941209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation faf5df1e-140c-44b2-9593-b89a90cc8232 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 96
- Resolution
- verified exact
- doi, observed 2026-05-11T02:55:52.059777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2c5cb316-cd2f-426b-9b7a-82837f082fc6 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 97
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T02:55:52.065165Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8d25687e-ac46-49ca-a675-58ceb0f0d214 · outbound
This paper cites an unresolved cited work.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Unresolved cited work
Reference 98
- Resolution
- unresolved
- raw_fallback, observed 2026-05-14T11:24:37.674295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3489e37d-13df-4931-8df8-153fe5585a85 · outbound
This paper cites In: 10th IEEE High Assurance Systems Engineer- ing Symposium (HASE’07).
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers In: 10th IEEE High Assurance Systems Engineer- ing Symposium (HASE’07)
Reference 99
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-11T02:55:52.044034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 43670489-4a88-4d61-8990-d3ae3ce9882a · outbound
This paper cites Integration of the Static Analysis Results Interchange Format in CogniCrypt.
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers Integration of the Static Analysis Results Interchange Format in CogniCrypt
Reference 100
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T23:46:14.319743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
Observation 44577585-c946-4d20-9e3b-b6b8a027ea7c · inbound
The EVerest Dataset for Secure Software Engineering cites this paper.
The EVerest Dataset for Secure Software Engineering Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
Reference 19
- Resolution
- verified exact
- local_arxiv, observed 2026-07-04T11:39:47.549955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.