{"as_of":"2026-08-23T17:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b6eba5ee6b305957863fdf2a42f1b5247519ea602bd26a5d4f842bdd18e381cf","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:42:31.765853Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.04108/citation-record","integrity":"/paper/2505.04108/integrity","json":"/paper/2505.04108/citation-record.json","paper":"/paper/2505.04108"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.416957Z","title":"Artificial Neural Networks for Space and Safety -Critical Appli- cations: Reliability Issues and Potential Solutions,","venue":null,"work_id":"e20ca6eb-35b5-4ca8-8d23-99d82138acb7","year":2024},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.573967Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:59678e22bfdb946a64fea61212f4e768224b36ac50f9825ae43a0f8d3b44d786","observation_id":"239d6527-2b44-4791-86fe-5578370c482d","resolution":{"observed_at":"2026-08-15T23:42:32.421101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.406282Z","title":"ML-Based Fault Injection for Autonomous V ehicles: A Case for Bayesian Fault Injection,","venue":null,"work_id":"2027f70c-0b82-4bbf-ad2c-24f20872de4a","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.578247Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:c773f53176444acf25180e6005e2d3046d25e3add3da7d85f6f0d69d0e0d9ec5","observation_id":"ae967feb-22d9-4870-8f3c-cbaac8965035","resolution":{"observed_at":"2026-08-15T23:42:32.410000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.394839Z","title":"Single Event Upset tests and failure r ate estimation for a front-end ASIC adopted in high-flux-particle therapy appl ications,","venue":null,"work_id":"d8983573-9c9e-49ad-8b9d-264b4f405faf","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.582335Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:705b0e0027371525f7d144deec207293ffd5b40de0aada7e6a29a1169fb0b279","observation_id":"3c912837-258b-4f3f-ba24-defab0d8270d","resolution":{"observed_at":"2026-08-15T23:42:32.398693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.384339Z","title":"Impact of Neutron-Induced SEU in FPGA CRAM on Image-Based Lane Tracking for Autonomous Driving: From Bit Upset to SEFI and Erroneous Behavior,","venue":null,"work_id":"4c611475-5a32-41d1-b652-ca707982ab79","year":2022},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.586561Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:7597b73c591dcb7eba5eb459a452408235370440649cef0b2479d525701610bb","observation_id":"7a80f6b0-2d64-497f-b909-fb92f443804f","resolution":{"observed_at":"2026-08-15T23:42:32.387949Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.374298Z","title":"Data Center Silent Data Errors: Impli cations to Artifi- cial Intelligence Workloads & Mitigations,","venue":null,"work_id":"6786c0aa-d84b-47b4-8555-fac818d3d657","year":2024},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.590426Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:2fc58e5b04b147788a5fc4ff6e0cf341278351d618e1bd1863bdcfb1cc117b73","observation_id":"645fb5a2-f46d-4091-a169-801aad15c6c2","resolution":{"observed_at":"2026-08-15T23:42:32.377949Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.364150Z","title":"The Impact of Terrestrial Radiatio n on FPGAs in Data Centers,","venue":null,"work_id":"ebf6e520-35e6-4e41-9fe8-9abbe9968bb0","year":2021},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.594140Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:7c523ee71f47dcc1649c62e0933764a21dc9ffb3b4d061d20a20f3b1c911ffdc","observation_id":"4fbc35af-1929-49d0-aa9b-c1f963fa1330","resolution":{"observed_at":"2026-08-15T23:42:32.367743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.353613Z","title":"Exploration of Fault Identification an d Automatic Recovery in Cloud-based FPGA Systems,","venue":null,"work_id":"000c13d2-43b5-4e88-9a10-d99d87583017","year":2024},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.598317Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:2763fde2c146d485af604ab8d520af4d479a7c9365e295229d89a4c9082ef3bb","observation_id":"d2d13eff-a694-4d76-affd-1af7b41fef45","resolution":{"observed_at":"2026-08-15T23:42:32.357251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.343416Z","title":"Soft Error and Its Countermeas ures in Terrestrial Environment,","venue":null,"work_id":"0ad57707-f12e-4256-be6e-c3e9508ddbff","year":2020},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.602001Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:67080511f4e6251f950e98422bdd9eabf69b10dd8ce1441d78933aa7bff2403b","observation_id":"f049fde4-3ba6-4aa9-b9cd-5cf30b44c649","resolution":{"observed_at":"2026-08-15T23:42:32.346986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.332932Z","title":"Temperature, V oltage, and Agi ng Effects in Ring Oscillator Physical Unclonable Function,","venue":null,"work_id":"222d430e-ae1e-42c4-8bb6-0f47d37dd79f","year":2015},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.606016Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:7f1a2151d9ea8515fd6ea69b6a79e9582e501186ff8a3c48cd6ab38509262dd9","observation_id":"212dbaef-54ba-4f91-bbb0-6db39a232d59","resolution":{"observed_at":"2026-08-15T23:42:32.336643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.322036Z","title":"Trustworthy Integrated Circuits: Fro m Safety to Security and Beyond,","venue":null,"work_id":"c71218ff-a7fc-493d-9e6f-5569552d9bb9","year":2024},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.609598Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:a39bf81435eef992f19289168665a7cec9702b407a6c73bf1c9c549290a284b8","observation_id":"d85994d8-4e6e-4fd2-a9ce-90fb76791ac5","resolution":{"observed_at":"2026-08-15T23:42:32.325967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.309930Z","title":"Reliability analysis on case-stud y traffic sign convolutional neural network on APSoC,","venue":null,"work_id":"cf3faa5d-ff22-4887-b0a7-92e3394489d4","year":2018},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.613086Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:45abd7d16177ec66edacbb42a7897d88553230d676866ed1daf889efd553d93c","observation_id":"a7887114-1f96-4200-a8ea-6fcd73757ddd","resolution":{"observed_at":"2026-08-15T23:42:32.314632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.298852Z","title":"Ultrahigh Energy Heavy Ion Test Beam on Xi linx Kintex- 7 SRAM-Based FPGA,","venue":null,"work_id":"a10c7743-019e-473b-abcc-f9c6ff1d7cff","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.617031Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:4267a8d52a58c3a86085b82c6589dde88691e966dcd4cde21dea3b7ba7ab7e83","observation_id":"8b657a41-d44d-4489-9775-4656fcd2da6c","resolution":{"observed_at":"2026-08-15T23:42:32.302848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.288014Z","title":"SiFI-AI: A Fast and Flexible RTL Faul t Simulation Framework Tailored for AI Models and Accelerators,","venue":null,"work_id":"63d35416-e79c-4a3e-80f4-2e3f91898d51","year":2023},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.620779Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:76298df73bf91925670a5476bbe316a8cf357061988a9429eb2fdac1fed9beb1","observation_id":"b53f1603-5642-452a-a903-526b6d5af535","resolution":{"observed_at":"2026-08-15T23:42:32.291665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.277206Z","title":"Reconfigurable Framework for Resil ient Semantic Segmentation for Space Applications,","venue":null,"work_id":"e3ea75c2-f498-4b63-98e5-f4a8c387b8b3","year":2021},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.624005Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:5d7350fab14754459672500b6e6178143055771a5bfa8101172d01834a3a407b","observation_id":"dc44fb41-e459-4f6a-9f5a-3ae38b6d02da","resolution":{"observed_at":"2026-08-15T23:42:32.280943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.266676Z","title":"Microcontroller Compiler-Assiste d Software Fault Tolerance,","venue":null,"work_id":"4f5fc84c-df4f-4fda-98e9-9823a14be55b","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.627436Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:e127781c3573a11a7d0efd095c577b29b871cef46d9f4fa0acc8c918ce0d73f1","observation_id":"98ea2fc8-1be2-489e-b1bd-4427d174af34","resolution":{"observed_at":"2026-08-15T23:42:32.270230Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.255278Z","title":"A Triple Core Lock-Step (TCLS) ARM® C ortex®- R5 Processor for Safety-Critical and Ultra-Reliable Appli cations,","venue":null,"work_id":"c140e6e7-29df-4405-b26a-197d2f8c25a5","year":2016},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.631057Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:e455ebce9d7e594d33a67f5a99cec9e7468775e6e12e0a4a2108f5a3ebf7c236","observation_id":"aab8915c-5bd7-401e-b957-af5f2211d957","resolution":{"observed_at":"2026-08-15T23:42:32.259154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.243923Z","title":"Lockstep Dual-Core ARM A9: Implem entation and Resilience Analysis Under Heavy Ion-Induced Soft Error s,","venue":null,"work_id":"a7a68b99-8d17-44da-98d4-fe8a433978e6","year":2018},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.634745Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:d3c19c8f086dbaf12c426903c3c10d3753a07e6bdddccafb0a1487f5120da5e8","observation_id":"fb0fb0bf-cf4f-418e-8f95-61e1a219f6a0","resolution":{"observed_at":"2026-08-15T23:42:32.248381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.233512Z","title":"Selective Hardening for Neural Netw orks in FPGAs,","venue":null,"work_id":"3771e527-1527-4d56-85ea-caf2450fd1f4","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.638284Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:6172f256428b4d095e4ff6ff440736f97739655bafaf5a944f112bec2716771c","observation_id":"5f1cfbc4-2ab7-4811-932b-2ae6cb76faaf","resolution":{"observed_at":"2026-08-15T23:42:32.237233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.222332Z","title":"Fault-Tolerant Neural Network Ac celerators With Selective TMR,","venue":null,"work_id":"b88df1a1-b145-44f6-a842-c7e3a58f34df","year":2023},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.641908Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:66f17226ce9ad5e529ceb79414fde8abdfc3d0dc50e673bd50b89cf944f917c0","observation_id":"84118078-2585-4a8a-8acd-8f3ab47619c5","resolution":{"observed_at":"2026-08-15T23:42:32.225953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.211455Z","title":"Improving the Reliability of TMR W ith Nontrip- licated I/O on SRAM FPGAs,","venue":null,"work_id":"ac7daa64-a113-4168-9f71-4688274e44ea","year":2020},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.645801Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:fe121c634cf11b4248b39b8a6b9ceba3fb564858fe1c5d92c3d12306cac99acc","observation_id":"41d72d82-d1f5-4c7c-919d-ddc6c6fa43c9","resolution":{"observed_at":"2026-08-15T23:42:32.215134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.201373Z","title":"Soft Error Mitigation for Deep Convoluti on Neural Network on FPGA Accelerators,","venue":null,"work_id":"78d6044e-9b2b-4923-b36f-84221a646503","year":2020},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.649923Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:32b5051469be3b531be453794eddb373a5f53492305fd820a65e1f9d41c62d57","observation_id":"a3f23b91-92b6-479b-bdda-522d189a358a","resolution":{"observed_at":"2026-08-15T23:42:32.204986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.190548Z","title":"Making Convolutions Resilient Vi a Algorithm- Based Error Detection Techniques,","venue":null,"work_id":"f90c71f8-528b-47a3-b775-ad6f77e189e4","year":2022},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.653368Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:96b446118c6f68f1830c31fc390d96c193697f1b99449eb91c2097d3ab151c87","observation_id":"0b06f19f-1233-46b9-96b9-e735bbbd659f","resolution":{"observed_at":"2026-08-15T23:42:32.194303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.179255Z","title":"Soft errors in DNN accelerators: A c omprehensive review,","venue":null,"work_id":"c2283a50-7c1b-48a6-b444-6217f16f4ced","year":2020},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.656768Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:2557bdb6a0da91cfa15a167770542f5c76ffe513b7e0d6bf8701b2f3f865afaf","observation_id":"040949a5-da12-4b9d-88ad-3042b345504a","resolution":{"observed_at":"2026-08-15T23:42:32.183012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.167572Z","title":"Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon V alidation,","venue":null,"work_id":"bd759bf1-2323-4a18-b607-cc9fb80f1d0d","year":2016},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.660258Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:bd76b4fa38e1c74ac2c1446e11753cb562b291cfb72121828e439db36cb49cc2","observation_id":"f27c1f8e-b823-4dde-aa31-e08f3d28bfb2","resolution":{"observed_at":"2026-08-15T23:42:32.171695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.155493Z","title":"Assertion Checkers in V erification, S ilicon Debug and In-Field Diagnosis,","venue":null,"work_id":"c408707c-fc06-418b-a8fc-f72ced14aef9","year":2007},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.663600Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:ef4013cd0731774f405317fbdeb4baca591a1476de1dd9b1d55ae0d8a25a6a2f","observation_id":"2f1ddbf7-0570-4179-9dcf-33f3e4c23a59","resolution":{"observed_at":"2026-08-15T23:42:32.160028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.144122Z","title":"Hardware Error Detection with In-Si tu Monitoring of Control Flow-Related Specifications,","venue":null,"work_id":"0216f17c-4b45-4a7f-8533-5d522318f2cd","year":2025},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.667711Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:88ba25868b9ee52216a7dbe4e4b367d97d4954d62099cf2a703304eb28d3bb71","observation_id":"631d3f0a-542c-4126-80e8-fae352848f95","resolution":{"observed_at":"2026-08-15T23:42:32.148118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.132986Z","title":"Light-Weight Soft-Errors Det ection Mecha- nism in High-Level Synthesis,","venue":null,"work_id":"c3c79eab-bc6f-4a79-8b9c-d7870b13d8f7","year":2020},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.671681Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:cf4efb21ea860ef8c54cb527408ad5a021a0fe730ee11e8476413c0835c77412","observation_id":"12909d2d-dccf-41c2-aa72-3d72f0154986","resolution":{"observed_at":"2026-08-15T23:42:32.136858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.120482Z","title":"Low-cost program-level detector s for reducing silent data corruptions,","venue":null,"work_id":"d45af923-0ae8-4ac1-b97f-613115ec08a1","year":2012},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.676031Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:50a7543702f2bd6920f065e0f1baf87a2dadc3ac134e50443c71871e09b0b576","observation_id":"1f606f82-7f83-464a-a689-7df9910aa628","resolution":{"observed_at":"2026-08-15T23:42:32.124798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.108648Z","title":"Generic Soft Error Data and Contro l Flow Error Detection by Instruction Duplication,","venue":null,"work_id":"4b86c627-11b1-419c-89fb-08a949503723","year":2024},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.680961Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:477ea0d480b6fbeb372bfa736ccd09a41dd0edf11810ee5250305a99cd376e87","observation_id":"6a45b780-45f8-4701-936d-6f99f0fda9c0","resolution":{"observed_at":"2026-08-15T23:42:32.112722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.096168Z","title":"DeepVigor: VulnerabIlity V alue RanGes and FactORs for DNNs’ Reliability Assessment,","venue":null,"work_id":"67cc355b-1283-4e87-a5de-7852d3732a36","year":2023},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.684864Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:5e5b69fca65d68b876dd4715fd1bf7f721f1fa25ff87368c4021b69d5a1fe215","observation_id":"dd9db73b-0949-4675-b5df-51e7a586dfb4","resolution":{"observed_at":"2026-08-15T23:42:32.100179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.082210Z","title":"BinFI: an efficient fault injector for s afety-critical machine learning systems,","venue":null,"work_id":"3a8c603d-fd9a-4941-a279-d2d0b462e4d6","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.688149Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:928e0813ea11fda58b200c2859a8fbe52ef60a609dce608f3f29bc8959e64881","observation_id":"35c378bd-c0b2-4096-883a-43321b17431a","resolution":{"observed_at":"2026-08-15T23:42:32.086222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.070872Z","title":"Reliability-aware register bi nding for control- flow intensive designs,","venue":null,"work_id":"4eb31573-3193-4b68-a2c8-47423f80e655","year":2014},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.691877Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:f6d43ff8893a3443b6ac543f18605e3da9dc5906c9a99543ee4352910d93d54c","observation_id":"a950e21c-e1a7-4b12-b334-7bc28ccfa673","resolution":{"observed_at":"2026-08-15T23:42:32.074908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.058765Z","title":"StitchUp: Automatic con trol flow pro- tection for high level synthesis circuits,","venue":null,"work_id":"db643d78-a20c-4538-8932-de34c3c243e4","year":2016},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.695505Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:97c97f2d17b3034911836ae827efb7afb44455e3121e27e2cce90034bf2b17e0","observation_id":"ff8f230e-cb62-4436-8ac8-3c8d0f7f5e53","resolution":{"observed_at":"2026-08-15T23:42:32.063151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.046190Z","title":"MLC: A Machine Learning Based Check er For Soft Error Detection In Embedded Processors,","venue":null,"work_id":"607269fd-a076-4bc4-afde-9b639729cb0d","year":2022},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.699227Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:a42ba0073aea373744d34da88c3dde620a956c27a9d4badede02d644a408525a","observation_id":"0c2eb558-99f5-4d7c-a0d1-31d779a188bb","resolution":{"observed_at":"2026-08-15T23:42:32.050599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.034137Z","title":"An automated SA T-based method for the design of on-chip bit-flip detectors,","venue":null,"work_id":"3f6c34fb-8c04-468b-8987-65e952e1000d","year":2017},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.702716Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:f08476367f3522c7233f60ffa5ed3d9ea4876de1a8a8dc77f9092d6286686d02","observation_id":"3000940d-0ecf-4b54-8ce2-9a61de9526c7","resolution":{"observed_at":"2026-08-15T23:42:32.037841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.022567Z","title":"Hardware Security Module Cryptosys tem Using Petri Net,","venue":null,"work_id":"42bfd8bc-d372-4f5b-9fd4-024c61891c38","year":2023},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.706375Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:187dabd58511e145ce0cf07b51f5cc5b07cd8573470ddc181f79ed8458784608","observation_id":"1250431f-6224-4b63-951b-0ea0073e8df5","resolution":{"observed_at":"2026-08-15T23:42:32.026321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:32.011059Z","title":"Monitor petri nets for security mon itoring,","venue":null,"work_id":"fda654a8-7d33-4c22-8b45-c68db02b5c9d","year":2010},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.710265Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:2cdd19b72ebe1184418d13036c455822a7fd2a79762f58e0124df7dfe0708f63","observation_id":"80c44e22-3022-4928-a8a1-ae74e63ed9f6","resolution":{"observed_at":"2026-08-15T23:42:32.015120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.997842Z","title":"An improved petri net for fault analysis of an electronic system with hybrid fault of software and hardware,","venue":null,"work_id":"2c4500ac-67fc-40fd-a7f8-c9ed37a80624","year":2021},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.713678Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:31ed026c9d82caafda1f6bd756a20a18c1c7a4019f0e50dd942ff99cacf55494","observation_id":"89949f3c-466a-4d26-83a5-922a9ec53082","resolution":{"observed_at":"2026-08-15T23:42:32.003505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.984651Z","title":"Fault Tolerance of Multiprocessor-St ructured Control System by Hardware and Software Reconfiguration,","venue":null,"work_id":"edded6d2-f08c-45b0-8734-01c2663594e8","year":2007},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.717844Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:6dec241b7b6270b2805950450418f27e13fc8f1ef5854da5529544bfdfa3690d","observation_id":"02f86faf-d0ba-462d-9b34-dfa6d9765bde","resolution":{"observed_at":"2026-08-15T23:42:31.989528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.972367Z","title":"Automatic Assertion Generation for S imulation, Formal V erification and Emulation,","venue":null,"work_id":"15afd831-eda2-45b9-b29e-dca4d100a0be","year":2017},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.721591Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:c5bd46a2a3e3e28ba349516ab85314a19c074803db01cfdabff41176b689a245","observation_id":"fd12c563-7322-4058-adb9-ff8b34307906","resolution":{"observed_at":"2026-08-15T23:42:31.976365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.957864Z","title":"HARM: A Hint-Based Assertion Mi ner,","venue":null,"work_id":"41a3183e-6b63-4804-9705-2e067716df1f","year":2022},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.725095Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:484ee09edb0ef84d5fc380564a8b4da5270159b0f88b25582352bb25bc85ca7c","observation_id":"b0614163-2e0c-4370-a55f-93b752102947","resolution":{"observed_at":"2026-08-15T23:42:31.962467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.729296Z","title":"AssertLLM: Generating and evaluating hardware verification assertions from design specifications via mult i-LLMs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.729296Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:2e9d367892cd69621dd844acd7b4388b84a7978f817441f7472a033951e9db5f","observation_id":"bec44396-0ebb-4229-beb5-0d754e10c44b","resolution":{"observed_at":"2026-08-15T23:42:31.729296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.945900Z","title":"A High Performance Multi-Bit-Width B ooth V ector Systolic Accelerator for NAS Optimized Deep Learning Neura l Net- works,","venue":null,"work_id":"c6cda029-3a6b-4527-a8f2-620cc01e1bb1","year":2022},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.733685Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:1bb33ff83ff3e6897e4cfeb4d1094e0f920009d4dee659f0aaab678cef57753d","observation_id":"dc64b36b-a510-4324-a880-23fa0e42d119","resolution":{"observed_at":"2026-08-15T23:42:31.950310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.933168Z","title":"A Describing Method of An Image Pro cessing Software in C for A High-level Synthesis Considering A Funct ion Chaining,","venue":null,"work_id":"b251e689-017b-4b41-8c8d-6da3873da29b","year":2018},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.739217Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:19a07ef876b07a34fe00a5390795acf8f2c26a06dbdc515bf6080b98bccd699c","observation_id":"36d135e2-7c9e-4d3d-9cf7-7c65e2783349","resolution":{"observed_at":"2026-08-15T23:42:31.937705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.920387Z","title":"V erilog Implementation of the Symmetric Bl ock Cipher AES (NIST FIPS 197),","venue":null,"work_id":"d09e572b-7165-4c7e-9b0e-d46bd3539e6f","year":null},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.742975Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:5fab4dae10c60a4ab22bcfae611b827a40ff96977e593c5b5cde3c9ad82d20f1","observation_id":"06c9636f-d88d-4f0c-afd9-2ba0d665e906","resolution":{"observed_at":"2026-08-15T23:42:31.924312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.908484Z","title":"NoC Simulator for simulating intra-chip data flow in Neural Network Accelerator,","venue":null,"work_id":"f555ec5f-de66-4703-a66d-78265d07af23","year":null},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.748067Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:163e048938d553e0b13dcb288853a2fdd35b6ef10a34616e9350575dae701cdc","observation_id":"fb50a65a-1a66-4524-8b15-9f52100f3e46","resolution":{"observed_at":"2026-08-15T23:42:31.912211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.897212Z","title":"Prediction router: Y et another l ow latency on- chip router architecture,","venue":null,"work_id":"b0f52d20-a169-482b-99d4-189555200643","year":2009},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.753047Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:bb3a1d00377716efd3902870f1567c77d392c31dbc92052d64dc15e5469f1f63","observation_id":"4d099ffa-4db8-4c5f-9e57-464f79516026","resolution":{"observed_at":"2026-08-15T23:42:31.901240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.886141Z","title":"Simba: Scaling Deep-Learning Infer ence with Multi- Chip-Module-Based Architecture,","venue":null,"work_id":"2e6e90b8-06ba-47d5-8ee8-fa00bf2903c6","year":2019},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.757109Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:fec774e9a82cf63f6e5b68a5a4aa53b8e9abbdc4fbe2de70f29f29e35ce2de96","observation_id":"db19e2f6-d638-4f71-ac9e-53560e737fb1","resolution":{"observed_at":"2026-08-15T23:42:31.889944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.874490Z","title":"Goldmine: Automatic assertion g eneration using data mining and static analysis,","venue":null,"work_id":"725a4b37-f2c1-4987-9c05-ad1ef7c92905","year":2010},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.761757Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:42f71f4f5f376a87fe0fc3531f3d067d2eb219f154eb3ec8281011473012f995","observation_id":"7f643cc5-8b13-47b0-8a8c-02e16b72548c","resolution":{"observed_at":"2026-08-15T23:42:31.878300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:42:31.860455Z","title":"Combinational profiles of sequentia l benchmark cir- cuits,","venue":null,"work_id":"ec3fbe1c-950f-46b6-adb4-fb35fb487940","year":1989},"citing_paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T23:42:31.765853Z"},"links":{"citing_paper":"/paper/2505.04108"},"observation_digest":"sha256:36df3b9fe883cd46cba4dee3382a23a4e6057fb74103f84e75f9a39a2d3d5885","observation_id":"0ecf7832-dfa9-480c-aa46-111cdfced564","resolution":{"observed_at":"2026-08-15T23:42:31.866057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.04108","last_updated":"2025-05-08T13:08:58Z","latest_version":2,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-16T16:02:16.157127Z","submitted_at":"2025-05-07T03:51:02Z","title":"In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":49},"total_outbound_references":50},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2505.04108."}