{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7L6MJWBRM574PJU5AMXUARKP66","short_pith_number":"pith:7L6MJWBR","canonical_record":{"source":{"id":"1811.06740","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-16T10:19:51Z","cross_cats_sorted":[],"title_canon_sha256":"8662cade1027d5ccc32d442da1f9e1b8610a6491849dbe314f7f5fd653d60fe8","abstract_canon_sha256":"f47b47b5cf7ed2f2235d312c106393042195d0f6bd5576e3c91e1b3f943c1011"},"schema_version":"1.0"},"canonical_sha256":"fafcc4d831677fc7a69d032f40454ff789d7236178fda1d28eec80e811572559","source":{"kind":"arxiv","id":"1811.06740","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06740","created_at":"2026-05-18T00:00:34Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06740v1","created_at":"2026-05-18T00:00:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06740","created_at":"2026-05-18T00:00:34Z"},{"alias_kind":"pith_short_12","alias_value":"7L6MJWBRM574","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7L6MJWBRM574PJU5","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7L6MJWBR","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7L6MJWBRM574PJU5AMXUARKP66","target":"record","payload":{"canonical_record":{"source":{"id":"1811.06740","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-16T10:19:51Z","cross_cats_sorted":[],"title_canon_sha256":"8662cade1027d5ccc32d442da1f9e1b8610a6491849dbe314f7f5fd653d60fe8","abstract_canon_sha256":"f47b47b5cf7ed2f2235d312c106393042195d0f6bd5576e3c91e1b3f943c1011"},"schema_version":"1.0"},"canonical_sha256":"fafcc4d831677fc7a69d032f40454ff789d7236178fda1d28eec80e811572559","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:34.003005Z","signature_b64":"V7eYhgrH6IWTDSCgA2l4TzvXlwJ7oisDZV/Pu2uEKUH/0sZ2hYGyAsAmOvasEEzkJ5ndxDcQ3yhuPZPc1EC1Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fafcc4d831677fc7a69d032f40454ff789d7236178fda1d28eec80e811572559","last_reissued_at":"2026-05-18T00:00:34.002590Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:34.002590Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.06740","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:00:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mvIwRpM4v4Qy2uSv1d4VSd1HPCJg00qFVWS6a/Pf/9UgsxYDktxyNQy7XzzR/epRuL7c0TMH0VkLw/ZugE2UBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:47:45.229369Z"},"content_sha256":"bf06f6b8c240f43491e302a02a95ee8fe5eae631263a6fa49c2ba745159eec18","schema_version":"1.0","event_id":"sha256:bf06f6b8c240f43491e302a02a95ee8fe5eae631263a6fa49c2ba745159eec18"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7L6MJWBRM574PJU5AMXUARKP66","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian Francalanza, Alexander Weiss, C\\'esar S\\'anchez, Christian Colombo, Dejan Nickovic, Dmitriy Traytel, Domenico Bianculli, Ezio Bartocci, Gerardo Schneider, Gordon J. Pace, Jo\\H{a}o M. Louren\\c{c}o, Jose Rufino, Julien Signoles, Sr{\\dj}an Krsti\\'c, Wolfgang Ahrendt, Yli\\'es Falcone","submitted_at":"2018-11-16T10:19:51Z","abstract_excerpt":"Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, ev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06740","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:00:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Onhrk0J+Im1VPMqX6Ezt//H1ad2qp6SEF5xaJyxDvt7bZAOnum6h+v7dlC8r+bcaeVtVdv9/wYWrYYFrt0WOCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:47:45.230070Z"},"content_sha256":"ea3ed8a7ce99f2c75f0ea97942f9e403b00b245f7c0ad575899686685547f572","schema_version":"1.0","event_id":"sha256:ea3ed8a7ce99f2c75f0ea97942f9e403b00b245f7c0ad575899686685547f572"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7L6MJWBRM574PJU5AMXUARKP66/bundle.json","state_url":"https://pith.science/pith/7L6MJWBRM574PJU5AMXUARKP66/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7L6MJWBRM574PJU5AMXUARKP66/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T18:47:45Z","links":{"resolver":"https://pith.science/pith/7L6MJWBRM574PJU5AMXUARKP66","bundle":"https://pith.science/pith/7L6MJWBRM574PJU5AMXUARKP66/bundle.json","state":"https://pith.science/pith/7L6MJWBRM574PJU5AMXUARKP66/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7L6MJWBRM574PJU5AMXUARKP66/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7L6MJWBRM574PJU5AMXUARKP66","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f47b47b5cf7ed2f2235d312c106393042195d0f6bd5576e3c91e1b3f943c1011","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-16T10:19:51Z","title_canon_sha256":"8662cade1027d5ccc32d442da1f9e1b8610a6491849dbe314f7f5fd653d60fe8"},"schema_version":"1.0","source":{"id":"1811.06740","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06740","created_at":"2026-05-18T00:00:34Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06740v1","created_at":"2026-05-18T00:00:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06740","created_at":"2026-05-18T00:00:34Z"},{"alias_kind":"pith_short_12","alias_value":"7L6MJWBRM574","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7L6MJWBRM574PJU5","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7L6MJWBR","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:ea3ed8a7ce99f2c75f0ea97942f9e403b00b245f7c0ad575899686685547f572","target":"graph","created_at":"2026-05-18T00:00:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, ev","authors_text":"Adrian Francalanza, Alexander Weiss, C\\'esar S\\'anchez, Christian Colombo, Dejan Nickovic, Dmitriy Traytel, Domenico Bianculli, Ezio Bartocci, Gerardo Schneider, Gordon J. Pace, Jo\\H{a}o M. Louren\\c{c}o, Jose Rufino, Julien Signoles, Sr{\\dj}an Krsti\\'c, Wolfgang Ahrendt, Yli\\'es Falcone","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-16T10:19:51Z","title":"A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06740","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bf06f6b8c240f43491e302a02a95ee8fe5eae631263a6fa49c2ba745159eec18","target":"record","created_at":"2026-05-18T00:00:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f47b47b5cf7ed2f2235d312c106393042195d0f6bd5576e3c91e1b3f943c1011","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-16T10:19:51Z","title_canon_sha256":"8662cade1027d5ccc32d442da1f9e1b8610a6491849dbe314f7f5fd653d60fe8"},"schema_version":"1.0","source":{"id":"1811.06740","kind":"arxiv","version":1}},"canonical_sha256":"fafcc4d831677fc7a69d032f40454ff789d7236178fda1d28eec80e811572559","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fafcc4d831677fc7a69d032f40454ff789d7236178fda1d28eec80e811572559","first_computed_at":"2026-05-18T00:00:34.002590Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:34.002590Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V7eYhgrH6IWTDSCgA2l4TzvXlwJ7oisDZV/Pu2uEKUH/0sZ2hYGyAsAmOvasEEzkJ5ndxDcQ3yhuPZPc1EC1Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:34.003005Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.06740","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf06f6b8c240f43491e302a02a95ee8fe5eae631263a6fa49c2ba745159eec18","sha256:ea3ed8a7ce99f2c75f0ea97942f9e403b00b245f7c0ad575899686685547f572"],"state_sha256":"a970c6b664c7e3d84266694c55c66ad6e8a3928c042ed92c8c213d7391687bc6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h3ufP0paRRqh1vZSd7uW47FVYHiEmu1Pwb8Rq+Q8j3tpsdUAPcivxQa7QHz9ZPEeDppbhPJOLXX+qV/grOpdDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T18:47:45.234108Z","bundle_sha256":"4891853d89fb3c526e8fac648bc6f23e0f1a121cd87751aec1dfee45ecd8676a"}}