{"as_of":"2026-08-20T21:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:96c2375d5d785f0903635842cc27a06a1022d1bd5cbfb7a917f01577c630ef36","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T20:54:09.309347Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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.11857/citation-record","integrity":"/paper/2505.11857/integrity","json":"/paper/2505.11857/citation-record.json","paper":"/paper/2505.11857"},"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-15T20:54:10.773130Z","title":"ISO/IEC/IEEE Draft International Standard - Systems and Software Engineering – Life Cycle Processes – Requirements Engineering.ISO/IEC/IEEE P29148_FDIS, September 2018(2018), 1–104","venue":null,"work_id":"2e8103d2-d6c0-4d22-ac13-ba9afebcda38","year":2018},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.009072Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:7a3d6bdf1bc6d0bf31f0fc4296e609aa917d639ef6d318fa9e99bf6e16bb1ab0","observation_id":"1cb011b1-9625-48b8-8deb-724cb8035c76","resolution":{"observed_at":"2026-08-15T20:54:10.777629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-15T20:54:09.014313Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.014313Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:a8015d9ae130e055ba140f9ae53a92b4e878116811a467c6781cd160ab4fefdf","observation_id":"d43fd38f-e75e-4236-8a62-b78d9fba204a","resolution":{"observed_at":"2026-08-15T20:54:09.014313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1004.2021","last_updated":"2011-11-14T15:42:58Z","snapshot_observed_at":"2026-08-15T14:30:22.551823Z","submitted_at":"2010-04-12T18:42:01Z","title":"Joint similarity to operators in noncommutative varieties","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1004.2021","snapshot_observed_at":"2026-08-15T20:54:09.020318Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.020318Z"},"links":{"cited_paper":"/paper/1004.2021","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:43eea4520361da4ac3d89991b6ecd14965743279d3b1107dbe61896f57586408","observation_id":"6d8860d3-789e-4a9b-a3f0-0507d68d8951","resolution":{"observed_at":"2026-08-15T20:54:09.020318Z","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":"10.4018/978-1-5225-3203-3.ch005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.460485Z","title":"2018.Risks, security, and privacy for HIV/AIDS data: Big data perspective","venue":null,"work_id":"38b5455b-a190-4b47-a107-2e911dfe0487","year":2018},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.025521Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:02e3b5034a1661368b7c17ccbbbc7ac9e1fb40aa27b41eb4a0d6da8f82b66341","observation_id":"4be64f59-f3f1-4258-ad59-b7a277c07667","resolution":{"observed_at":"2026-08-15T20:54:09.466307Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jksuci.2018.12.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.441272Z","title":null,"venue":null,"work_id":"b4ee835e-e67a-40e3-8072-9dd6df1f4a3e","year":2022},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.029687Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:53163e50c9e57336092f1437d23059ecdfaa2648de5bfe871b07dd5d3c62e15e","observation_id":"f8f4a287-fa3d-462b-9edd-7e9716966c15","resolution":{"observed_at":"2026-08-15T20:54:09.447703Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-16T06:31:06.447273+00:00","source":"paper_reference_links","state":"open"},"event_date":"2020-11-18","event_type":"correction","notice_doi":"10.1016/j.jksuci.2020.10.028","provenance":{"observed_at":"2026-07-11T03:17:17.15059+00:00","source":"crossref","source_record_id":"10.1016/j.jksuci.2020.10.028->10.1016/j.jksuci.2018.12.005:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.034035Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.034035Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:8224cea2aa6a39d3268fb4722d00719bd7e4b6e04c338451405f6b78d3d458f5","observation_id":"eaec3aec-9727-48f2-8a7d-91118feabf0e","resolution":{"observed_at":"2026-08-15T20:54:09.034035Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.038354Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.038354Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:a5d233d3652e8ab1186b6bcb8ced4324b7d5bd568709b69984980f0c8f5ed708","observation_id":"735096d6-0792-4fe2-a0b1-18066c070185","resolution":{"observed_at":"2026-08-15T20:54:09.038354Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.05144","last_updated":"2022-02-10T16:52:45Z","snapshot_observed_at":"2026-08-20T01:12:37.350834Z","submitted_at":"2022-02-10T16:52:45Z","title":"InPars: Data Augmentation for Information Retrieval using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.05144","snapshot_observed_at":"2026-08-15T20:54:09.042226Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.042226Z"},"links":{"cited_paper":"/paper/2202.05144","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:c9daf2541ea05adc7ae58593de2b1d136e35e18479f26c38ac6ad4f7ebe5d3b2","observation_id":"978d26b6-f307-4aa6-b2ea-afc45fea3817","resolution":{"observed_at":"2026-08-15T20:54:09.042226Z","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-15T20:54:10.750483Z","title":null,"venue":null,"work_id":"6f59a982-c4ff-4132-8abc-9f9e58e45849","year":2017},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.046837Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:2b9a0c9fbb974f2e7382eed83cf4c2f527821e55c559fc64b59605ae66ad2b3d","observation_id":"cdcfe270-85ad-4ffd-96c9-760589726fdc","resolution":{"observed_at":"2026-08-15T20:54:10.755103Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.736703Z","title":"Bleistein, and June M","venue":null,"work_id":"01560874-1e0e-43ed-a849-05f90cb43555","year":2005},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.051768Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:342ce920827ab69dd6bd1052595880d3dbc99829aec39d8dec22a84ac1741fed","observation_id":"541e62c1-9164-4b85-b4d1-d24bbb67f77d","resolution":{"observed_at":"2026-08-15T20:54:10.741162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.11755","last_updated":"2022-09-23T17:59:06Z","snapshot_observed_at":"2026-08-20T07:13:28.245343Z","submitted_at":"2022-09-23T17:59:06Z","title":"Promptagator: Few-shot Dense Retrieval From 8 Examples","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.11755","snapshot_observed_at":"2026-08-15T20:54:09.056421Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.056421Z"},"links":{"cited_paper":"/paper/2209.11755","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:a10efcb9670426788a82dc5fe6870f39a66d182c6fd96bb1a11597b4b90f12a6","observation_id":"2cdd9e2c-f39e-44ad-b710-1740a9dc02e0","resolution":{"observed_at":"2026-08-15T20:54:09.056421Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-15T20:54:09.061842Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.061842Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:32141086b602af0f38228f7d6163381cacde30b7e445befea6c0001519ffb977","observation_id":"b20bb26d-1bcf-4bbe-9296-96457b7ea44d","resolution":{"observed_at":"2026-08-15T20:54:09.061842Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.066646Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.066646Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:354580456904536c3de5ce39f4b3d9341156c40fad2ec783a476ac947d71c78b","observation_id":"bdf88c0f-3b51-4cb7-898b-d3242eec4164","resolution":{"observed_at":"2026-08-15T20:54:09.066646Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.071627Z","title":"Méndez Fernández, S","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.071627Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:d42d5dc0d7085dc03d61667eabe72d1e77553f2ee7f04c79e4efb51a5efd4c84","observation_id":"47d6be04-1898-4f12-8421-4d154faf7222","resolution":{"observed_at":"2026-08-15T20:54:09.071627Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.076752Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.076752Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:b6f6b3ce111090613bfc922cf3160ab671f5ba216e1dc0d4528d484c722d52fd","observation_id":"0832dae1-1fe3-4dc2-b8f9-409e8d7e05ee","resolution":{"observed_at":"2026-08-15T20:54:09.076752Z","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-15T20:54:10.722744Z","title":"2018.Software requirements classification using word embeddings and convolutional neural networks","venue":null,"work_id":"c203c910-9ab5-4112-a294-496d31b528cb","year":2018},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.081125Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:b9ba044b14237e1197cecac0d4300557e3857023a8b44051668011db3f02d169","observation_id":"b3d18eff-0624-4474-b599-215843e40810","resolution":{"observed_at":"2026-08-15T20:54:10.727037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.085310Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.085310Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:6d4e82311d25647866cca669e0786b3d97a624c01a29bd17284bc2ceb9b26bf0","observation_id":"d12da89a-44b0-4f53-8ed9-1fc979c3b5c0","resolution":{"observed_at":"2026-08-15T20:54:09.085310Z","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-15T20:54:10.709217Z","title":null,"venue":null,"work_id":"6e864e8d-cdde-43f0-a4ab-116ebfddf75b","year":2010},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.089167Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:dca49bb72637ad6f5c7268bebec738fe96f6c5a043443f437e48bab41478709a","observation_id":"63e7d293-f794-45fa-92bb-f329faf02a51","resolution":{"observed_at":"2026-08-15T20:54:10.713973Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.696557Z","title":null,"venue":null,"work_id":"041a8f17-2a90-44df-a8bb-f433ef16b337","year":2011},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.095145Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:2fb3e9a548f7f1b14bbbd343ac1e7ce8ea5c7422c5e643e8062270044ec5f5d1","observation_id":"de226183-630f-4910-83d7-2d378062fcde","resolution":{"observed_at":"2026-08-15T20:54:10.700751Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.683657Z","title":null,"venue":null,"work_id":"a436a032-6986-4d77-9825-538ca8500be7","year":null},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.099311Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:b77b2531473b477650e7ed949c516ca422790f983a9104cd0c5fdd63c81ee844","observation_id":"40d09d7d-cdec-4e93-9364-a0a85f0c526c","resolution":{"observed_at":"2026-08-15T20:54:10.688253Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.669323Z","title":null,"venue":null,"work_id":"14431fb9-a71d-420e-8873-0f9967799c18","year":1976},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.108712Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:547ee5e9cea4f1777dd0c8209240b23f723fdf056ee47f4324facd37f6a7f565","observation_id":"259b188b-be2d-43b6-be2e-3168011d9319","resolution":{"observed_at":"2026-08-15T20:54:10.674568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.652330Z","title":null,"venue":null,"work_id":"eb32c984-bc2e-4804-8364-88d1880436b9","year":2011},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.112876Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:bda246a50c260d434522db119a9ef566284d9efed69178bd12d758f6c3c90107","observation_id":"cdd01627-fffe-46ce-ad98-751552ac6088","resolution":{"observed_at":"2026-08-15T20:54:10.657922Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.635063Z","title":null,"venue":null,"work_id":"d62286b4-bc10-4caf-a970-03667b211005","year":2016},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.117196Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:8053af3fe32778ba6730da9d6c38ddc615bfa45517d7ecff045547b5858daedd","observation_id":"fef49205-998c-48a8-8dee-e46d7ee596ed","resolution":{"observed_at":"2026-08-15T20:54:10.642057Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.615957Z","title":null,"venue":null,"work_id":"ff8d491f-ea9d-467d-aafd-609617d52e65","year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.125202Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:f6a14a015eeedbc9b1c71f00dc1708dd3a18087e49451dec05513757631fe6d6","observation_id":"45182540-98fe-4614-ad3a-ca91efad0ebf","resolution":{"observed_at":"2026-08-15T20:54:10.622602Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.129768Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.129768Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:51687e3cfccafb3906f1215a5c10b4f2dd9d4f4d7abc934060ff59f9658cc8eb","observation_id":"8b030003-151c-4524-87fb-cf5590f17dea","resolution":{"observed_at":"2026-08-15T20:54:09.129768Z","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-15T20:54:10.600575Z","title":"2021.The Cost of Poor Software Quality in the US: A 2020 Report","venue":null,"work_id":"3df915b3-531a-48a2-af39-31d87c369e10","year":2021},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.135256Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:638a980713f5a5e5c3991b8b39e974ca3a828b17519422c310697b4e6ce1827f","observation_id":"381959e5-a682-4e0f-b0ad-3ec056219c1b","resolution":{"observed_at":"2026-08-15T20:54:10.605403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.584148Z","title":"2009.Requirements engineering: from system goals to UML models to software specifications","venue":null,"work_id":"9356540a-3e4e-4ef5-af1a-621772644dde","year":2009},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.139576Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:1adfa823c62594048972a7b1e3e140eb040e1872bca72a185d9b098bd327697e","observation_id":"cb7d8a9f-740d-4e82-aa49-63d22380a930","resolution":{"observed_at":"2026-08-15T20:54:10.589496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.144254Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.144254Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:47a2c564cd1f792d2717e358c8f0fa9016c735ae30458c123c9205846c194785","observation_id":"eb644865-0a37-4d76-b356-fa1b6c4321f4","resolution":{"observed_at":"2026-08-15T20:54:09.144254Z","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-15T20:54:10.555802Z","title":"2021.Software Architecture in Practice, 4th Edition","venue":null,"work_id":"8266d200-c34a-4b48-9560-7d9875002c64","year":2021},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.149054Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:aa4b98ebbf007540143c098c2cba45260c7b48edc8fef159ba18585cf3ebbdd7","observation_id":"dee8be1e-b0d9-44cb-a6ac-1b9ceaf4925b","resolution":{"observed_at":"2026-08-15T20:54:10.561918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.153166Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.153166Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:729c4cf564d7d0dedc0581070499b6f8a671375d9faa786c54a53231ae7cf653","observation_id":"760a2ee7-e883-4986-a939-0c6c7e941ad5","resolution":{"observed_at":"2026-08-15T20:54:09.153166Z","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":"10.1109/qrs.2017.45","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.397381Z","title":null,"venue":null,"work_id":"317bd01c-7c0f-43f9-8749-23318b522584","year":2017},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.158084Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:4be6aab3b26415dab26cd9e624ce9a40c027cfb2d0f6195770bfa47f097315f6","observation_id":"eed22885-89a7-44f3-9344-c74cd4135f3c","resolution":{"observed_at":"2026-08-15T20:54:09.403225Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.162542Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.162542Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:7458b6d1f5625229140964d1f72cd0ff0e27094df6efc56987ff16ff0176c055","observation_id":"a51ced59-a1ce-4899-9f36-2574b65cc16f","resolution":{"observed_at":"2026-08-15T20:54:09.162542Z","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-15T20:54:10.518974Z","title":null,"venue":null,"work_id":"fc4c6b98-6894-4cfe-aa7d-a8d37261d1e2","year":2024},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.166428Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:6f93d46a8a8f3c5b787c55d715f1759cd28623596e530a008a3ea0f68e246afa","observation_id":"95cbb321-6ae0-4ce4-8e25-51e5876ef5fe","resolution":{"observed_at":"2026-08-15T20:54:10.523059Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.171202Z","title":"Mead and Ted Stehney","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.171202Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:1b1a2e1fa99480690d9b5ef427f8640c269314c5bf0f9a2afa4177b26f7d1025","observation_id":"d5d6f3b0-0a8a-4a53-ae98-6bbfb176f078","resolution":{"observed_at":"2026-08-15T20:54:09.171202Z","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-15T20:54:10.502865Z","title":null,"venue":null,"work_id":"bb7be3fc-7925-45db-93b3-32270bc3ea88","year":2008},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.178182Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:f032c8754dd56093069e017d9788d2f2e2cfc12c2287e12b9a4154a160e62010","observation_id":"a9e8dc09-e108-43bd-90bf-295542d5e947","resolution":{"observed_at":"2026-08-15T20:54:10.507777Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0925.2020","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.904330Z","title":null,"venue":null,"work_id":"89078e4d-ffec-4c47-92ef-1b9e2de46aa4","year":2020},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.182902Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:08fdb8fd128caaf94a2abbe0b2f5fa171e6983ef1b935b92d0dcdbb38f5f7eae","observation_id":"b5230df1-8876-4d0d-9828-fdf452bb5c6d","resolution":{"observed_at":"2026-08-15T20:54:09.911545Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.487342Z","title":null,"venue":null,"work_id":"0d8d5a3f-d637-4894-8eda-d002c97b7bc1","year":2019},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.188267Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:5a0f448c0082e35dea67ed0677f7a87250f14f7d9719538ff55f68e4ef6597be","observation_id":"fb4ae372-7a23-4e2b-8559-61095e183680","resolution":{"observed_at":"2026-08-15T20:54:10.492028Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.194171Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.194171Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:0cb42fd5b19608c59137b5dba4bbd51c8ec7f746e3823ef92451fe088e3de508","observation_id":"2da188f1-a292-4496-bc37-75dee22bb7e2","resolution":{"observed_at":"2026-08-15T20:54:09.194171Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.198677Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.198677Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:8d7695143263d16a735b50a4e99d8ea8d688d5cb842881bc55016bb5f6ca6434","observation_id":"24f6e4f4-d1ee-4cdb-9b52-f5360251fd81","resolution":{"observed_at":"2026-08-15T20:54:09.198677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.01488","last_updated":"2022-07-10T17:28:51Z","snapshot_observed_at":"2026-08-16T17:37:27.141711Z","submitted_at":"2021-12-02T18:38:50Z","title":"ColBERTv2: Effective and Efficient Retrieval via Lightweight Late Interaction","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.01488","snapshot_observed_at":"2026-08-15T20:54:09.202808Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.202808Z"},"links":{"cited_paper":"/paper/2112.01488","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:7b9ec13cbe1fdae424ded956cea24112c0cde623261cc298f9a69e69d2450e35","observation_id":"bf4b38d6-554f-4bb9-856f-03042506e94a","resolution":{"observed_at":"2026-08-15T20:54:09.202808Z","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-15T20:54:10.473657Z","title":"Khattab, Jon Saad-Falcon, Christopher Potts, and Matei A","venue":null,"work_id":"ee14cd34-127d-4eca-8681-91d66a371bfd","year":2021},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.210335Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:6eed862e2a5e7484cb2b52eac1336ba933555594b4d61609b6998d5ca0cee095","observation_id":"3d963fc3-6005-4ff8-a1b5-1288c4c96389","resolution":{"observed_at":"2026-08-15T20:54:10.478002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.458681Z","title":null,"venue":null,"work_id":"aab40b46-922d-42b0-bc73-3575fe91bf09","year":2020},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.215815Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:e52978e5da8b3693112df9a21681fbc9ae6629febaf80d62e21cbcf77b1503b2","observation_id":"3d39b425-028e-4911-8c8b-e5656bafcc57","resolution":{"observed_at":"2026-08-15T20:54:10.464314Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.221125Z","title":null,"venue":null,"work_id":null,"year":1948},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.221125Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:4930d8d4e111c9dcd88afd31a15a9fb9ffa8adbcc45e68afa54fb717e0e517c8","observation_id":"b74f2cce-4ee1-4ebd-b5c1-dec369349fde","resolution":{"observed_at":"2026-08-15T20:54:09.221125Z","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":"10.1007/s00766-017-0279-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-18T11:03:46.223893Z","title":null,"venue":"Requirements Engineering","work_id":"fd785fa5-1a0f-48df-86ca-5b54301c78ca","year":2018},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.226606Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:1aab37776cfa10f9b8d3dce528a4982df39e5e1bb26182ef21c06cff0534feba","observation_id":"122e2f40-9578-4d49-829b-2ac154e31388","resolution":{"observed_at":"2026-08-15T20:54:09.374982Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.444739Z","title":null,"venue":null,"work_id":"70ffb19e-e012-40f9-8c66-34c226466da4","year":2018},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.233594Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:d2c78e25eaac7385e185c61b96cc01e096e62cac24c2c9f31468b893eb83dd16","observation_id":"bb445bb1-9394-456f-a37e-e00744554843","resolution":{"observed_at":"2026-08-15T20:54:10.449086Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.238568Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.238568Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:00403ccbf9e9ee9e66031bbb36c51f2c6d6a64571242c15fc607ba8be8194b74","observation_id":"c314bbad-9a09-49ba-ac2e-6751ad03ef26","resolution":{"observed_at":"2026-08-15T20:54:09.238568Z","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-15T20:54:10.430116Z","title":null,"venue":null,"work_id":"edec5582-1d06-497c-855f-922bbc5d316d","year":2008},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.243826Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:0c5bfb01c311341778055e48d7ad6bb7e4caa49ea8d430e2f565f9f8174da8c1","observation_id":"a7990871-3dd5-4430-aa1d-aa129b2b57d8","resolution":{"observed_at":"2026-08-15T20:54:10.434945Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.254564Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.254564Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:9c8d6c6a5f7350bb6c7288c0b6a9be00046890c1c0d841bdf58849a372ac7575","observation_id":"fb3d735f-c406-4baa-a229-8bb9fd1a9b39","resolution":{"observed_at":"2026-08-15T20:54:09.254564Z","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-15T20:54:10.394769Z","title":null,"venue":null,"work_id":"2291fa8f-7de4-40c3-909a-4accd77550da","year":null},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.259531Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:788a4afc4b36136455f8847d50d939e39e5cd083c860d1c4a78761c4a43fb3d8","observation_id":"eaa2e75a-c596-4956-9a5b-dd643012d855","resolution":{"observed_at":"2026-08-15T20:54:10.398762Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:10.381809Z","title":null,"venue":null,"work_id":"09e1eff5-422b-49ad-a4cd-6e8404911b53","year":2004},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.264278Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:5dfd795409f8adf35e071d76f1fc1021a3ffd16a37434d24bcdafa02c0d72ce7","observation_id":"b60e3c1c-f243-4ece-af2f-dd6812dd8984","resolution":{"observed_at":"2026-08-15T20:54:10.385812Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.268487Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.268487Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:0a9e7931d14d0f37995f551a72b64a3cec8b9a9317ff4d0409123f78d2f0a0dc","observation_id":"64771202-7f8d-4253-869c-7c89c5627d9b","resolution":{"observed_at":"2026-08-15T20:54:09.268487Z","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-15T20:54:10.360016Z","title":null,"venue":null,"work_id":"0e432829-3c82-4698-a3d8-85f1efc0f5b4","year":1947},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.273371Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:b53d88c01cd0b3d4e2734bb71427439488c486f5fb2fc5757a0f2abd54e975d2","observation_id":"ba9ecd10-9103-4b6e-9c0b-145f2f0f57d0","resolution":{"observed_at":"2026-08-15T20:54:10.364301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.10420","last_updated":"2023-12-23T12:53:02Z","snapshot_observed_at":"2026-08-18T19:55:31.392155Z","submitted_at":"2023-03-18T14:02:04Z","title":"A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.10420","snapshot_observed_at":"2026-08-15T20:54:09.278742Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.278742Z"},"links":{"cited_paper":"/paper/2303.10420","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:e06f00880431b0ae50cf7f8e7c9dec92c5861d35df9724b91d7542576ce184c8","observation_id":"38e18a56-f6d1-4979-8ba7-f17363f08831","resolution":{"observed_at":"2026-08-15T20:54:09.278742Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.283129Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.283129Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:96a846c91444591233182240b523cda2dfcf9a88ec3928b90792c0ac376201c8","observation_id":"75aad5ee-4970-4d73-9aa5-9aef29a649ab","resolution":{"observed_at":"2026-08-15T20:54:09.283129Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.12056","last_updated":"2024-09-22T03:16:38Z","snapshot_observed_at":"2026-08-16T13:24:44.965682Z","submitted_at":"2024-08-22T01:13:02Z","title":"Enhancing Automated Program Repair with Solution Design","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.12056","snapshot_observed_at":"2026-08-15T20:54:09.287317Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.287317Z"},"links":{"cited_paper":"/paper/2408.12056","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:46b483b624b9da6025a48076bd46d5b900ed8a3a1c1822864634a007cfc04497","observation_id":"6146050b-ebfb-462d-8f3e-20a37b6e6946","resolution":{"observed_at":"2026-08-15T20:54:09.287317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.19623","last_updated":"2024-05-30T02:20:04Z","snapshot_observed_at":"2026-08-16T13:47:57.534891Z","submitted_at":"2024-05-30T02:20:04Z","title":"A Novel Approach for Automated Design Information Mining from Issue Logs","version":1},"cited_work":{"arxiv_id":"2405.19623","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.19623","snapshot_observed_at":"2026-08-15T20:54:09.489543Z","title":"A Novel Approach for Automated Design Information Mining from Issue Logs","venue":"cs.SE","work_id":"9d6f6cd0-313e-4730-8058-d6a8efa07209","year":2024},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.292573Z"},"links":{"cited_paper":"/paper/2405.19623","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:0c0a54e230a1be7b255f9791eed57c081ce2f31d3dc46e3a7487277e6276e976","observation_id":"23bfc1de-4dc5-4289-8261-1f0f45f555f8","resolution":{"observed_at":"2026-08-15T20:54:09.496283Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T20:54:09.297776Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.297776Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:fa0645bcdd6865d1f05896743d28a0fe7c4ee9849aa1f9b3c726498000dcb3a2","observation_id":"031331fb-cecc-40d7-ad15-27290b54dd7e","resolution":{"observed_at":"2026-08-15T20:54:09.297776Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:54:09.304015Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.304015Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:416f3cfae25e53cbb2a3b525cf9f256601d27cce639cc1e0ea104e43ba88c610","observation_id":"752dfb73-f9ea-45fe-bf1e-d6a5379fc1c8","resolution":{"observed_at":"2026-08-15T20:54:09.304015Z","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-15T20:54:10.326757Z","title":null,"venue":null,"work_id":"8eafe187-119f-429f-9185-63a176737c6b","year":2019},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.309347Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:bc45a2a7c8d93f588cb675f6d403669a7fc6826efcee637c3ac3b5a24f1ad788","observation_id":"d17c3cab-6c3e-44d0-82dd-12e3ad658526","resolution":{"observed_at":"2026-08-15T20:54:10.331443Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.01820","last_updated":"2023-05-26T22:16:38Z","snapshot_observed_at":"2026-08-20T00:05:35.547771Z","submitted_at":"2023-01-04T20:58:43Z","title":"InPars-v2: Large Language Models as Efficient Dataset Generators for Information Retrieval","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.01820","snapshot_observed_at":"2026-08-15T20:54:09.103675Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.103675Z"},"links":{"cited_paper":"/paper/2301.01820","citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:676567f7fb59d913e4fc609dedf66d67601d20982875da96d7fefd3d2b073c2e","observation_id":"89be1516-2abd-4cd3-97fe-bb422f05c853","resolution":{"observed_at":"2026-08-15T20:54:09.103675Z","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-15T20:54:10.414986Z","title":null,"venue":null,"work_id":"e5f80095-39a7-488e-b34a-5ce0f097a9c2","year":null},"citing_paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-15T20:54:09.249972Z"},"links":{"citing_paper":"/paper/2505.11857"},"observation_digest":"sha256:9dba9197d134a37bbca77d906ffc4dc21a8c13da282fa51b114a8dac7e6ed87e","observation_id":"959ea54a-3dda-4168-89c1-5aa2489df11b","resolution":{"observed_at":"2026-08-15T20:54:10.420077Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.11857","last_updated":"2025-05-17T05:47:46Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T16:45:25.891079Z","submitted_at":"2025-05-17T05:47:46Z","title":"Incorporating Verification Standards for Security Requirements Generation from Functional Specifications"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":48,"verified_exact":6,"verified_fuzzy":7},"total_outbound_references":61},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2505.11857."}