{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:Z5RGNMJKTK2VVJJE356NZ7Z6GL","short_pith_number":"pith:Z5RGNMJK","canonical_record":{"source":{"id":"1707.05555","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T10:50:01Z","cross_cats_sorted":[],"title_canon_sha256":"79f8bed39df5da192f721754414c5424941b2297031f7e20cb53c6e086db1494","abstract_canon_sha256":"f9878eef71a8492b1301da2a8ef4b620ffbef5aa94085d4b20599971356c4c04"},"schema_version":"1.0"},"canonical_sha256":"cf6266b12a9ab55aa524df7cdcff3e32e3e763065a96b546ea9e984258626dc3","source":{"kind":"arxiv","id":"1707.05555","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05555","created_at":"2026-05-18T00:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05555v1","created_at":"2026-05-18T00:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05555","created_at":"2026-05-18T00:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"Z5RGNMJKTK2V","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"Z5RGNMJKTK2VVJJE","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"Z5RGNMJK","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:Z5RGNMJKTK2VVJJE356NZ7Z6GL","target":"record","payload":{"canonical_record":{"source":{"id":"1707.05555","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T10:50:01Z","cross_cats_sorted":[],"title_canon_sha256":"79f8bed39df5da192f721754414c5424941b2297031f7e20cb53c6e086db1494","abstract_canon_sha256":"f9878eef71a8492b1301da2a8ef4b620ffbef5aa94085d4b20599971356c4c04"},"schema_version":"1.0"},"canonical_sha256":"cf6266b12a9ab55aa524df7cdcff3e32e3e763065a96b546ea9e984258626dc3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:02.023833Z","signature_b64":"gDu3fAbeg5svNsPATN4MwYlPc9VquSj82Pd0V//zLCeeObqTVqvRbUV0OC42/Fu9ox+UEHg2WR4g9eqCgOhACA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf6266b12a9ab55aa524df7cdcff3e32e3e763065a96b546ea9e984258626dc3","last_reissued_at":"2026-05-18T00:40:02.023399Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:02.023399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.05555","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:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"joB1rsDGHav2fOF1iIQcFP+Ts4pmN4l5XyJImmDiPlNZ643bTy7PLElFjGNgKS7y7LhyNQO9xBgDAPIJIdQqBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:44:54.835545Z"},"content_sha256":"a75a68da6cbc010afdfe713abad6829ccaf7128fa77c5165deddab9124f381af","schema_version":"1.0","event_id":"sha256:a75a68da6cbc010afdfe713abad6829ccaf7128fa77c5165deddab9124f381af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:Z5RGNMJKTK2VVJJE356NZ7Z6GL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Runtime Verification of Temporal Properties over Out-of-order Data Streams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"David Basin, Eugen Z\\u{a}linescu, Felix Klaedtke","submitted_at":"2017-07-18T10:50:01Z","abstract_excerpt":"We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the pre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05555","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:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RCYnf2UB3oDZWsLsSei39BQQyzOldMwONKO9ECilRfQOu5PvwHwamB++h088QXYkoX/4Cfli0MYx89PBeSakBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:44:54.835893Z"},"content_sha256":"106cd5d1920e5d717e8dafaad8f1541781a4a98680bcc8744ecd1845cb55acd8","schema_version":"1.0","event_id":"sha256:106cd5d1920e5d717e8dafaad8f1541781a4a98680bcc8744ecd1845cb55acd8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL/bundle.json","state_url":"https://pith.science/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL/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-06-21T23:44:54Z","links":{"resolver":"https://pith.science/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL","bundle":"https://pith.science/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL/bundle.json","state":"https://pith.science/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z5RGNMJKTK2VVJJE356NZ7Z6GL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Z5RGNMJKTK2VVJJE356NZ7Z6GL","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":"f9878eef71a8492b1301da2a8ef4b620ffbef5aa94085d4b20599971356c4c04","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T10:50:01Z","title_canon_sha256":"79f8bed39df5da192f721754414c5424941b2297031f7e20cb53c6e086db1494"},"schema_version":"1.0","source":{"id":"1707.05555","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05555","created_at":"2026-05-18T00:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05555v1","created_at":"2026-05-18T00:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05555","created_at":"2026-05-18T00:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"Z5RGNMJKTK2V","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"Z5RGNMJKTK2VVJJE","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"Z5RGNMJK","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:106cd5d1920e5d717e8dafaad8f1541781a4a98680bcc8744ecd1845cb55acd8","target":"graph","created_at":"2026-05-18T00:40:02Z","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":"We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the pre","authors_text":"David Basin, Eugen Z\\u{a}linescu, Felix Klaedtke","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T10:50:01Z","title":"Runtime Verification of Temporal Properties over Out-of-order Data Streams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05555","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:a75a68da6cbc010afdfe713abad6829ccaf7128fa77c5165deddab9124f381af","target":"record","created_at":"2026-05-18T00:40:02Z","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":"f9878eef71a8492b1301da2a8ef4b620ffbef5aa94085d4b20599971356c4c04","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T10:50:01Z","title_canon_sha256":"79f8bed39df5da192f721754414c5424941b2297031f7e20cb53c6e086db1494"},"schema_version":"1.0","source":{"id":"1707.05555","kind":"arxiv","version":1}},"canonical_sha256":"cf6266b12a9ab55aa524df7cdcff3e32e3e763065a96b546ea9e984258626dc3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf6266b12a9ab55aa524df7cdcff3e32e3e763065a96b546ea9e984258626dc3","first_computed_at":"2026-05-18T00:40:02.023399Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:02.023399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gDu3fAbeg5svNsPATN4MwYlPc9VquSj82Pd0V//zLCeeObqTVqvRbUV0OC42/Fu9ox+UEHg2WR4g9eqCgOhACA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:02.023833Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05555","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a75a68da6cbc010afdfe713abad6829ccaf7128fa77c5165deddab9124f381af","sha256:106cd5d1920e5d717e8dafaad8f1541781a4a98680bcc8744ecd1845cb55acd8"],"state_sha256":"48732f9ecc9e117ea12b97ec0eac58d23da44148246edb28588648842728b8be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s/xRgUBgpp0FN00bZ0KIEHu2VnjShpgWaeDZmYW6HdlHFJv4EbyIt2zHllWI6f1+WBbGt9hGQDjsjTcecbegBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T23:44:54.837845Z","bundle_sha256":"f969434132aaf28e169764c3531df3cd0ad396939cc3b17ce6e9be362bba4942"}}