{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:567TJE6FASLITBWINOHZSXBBJU","short_pith_number":"pith:567TJE6F","canonical_record":{"source":{"id":"1508.06613","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-08-26T19:20:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"fec3c8786dc714f6e8aac4d8433567f2b167d2ccbbd5cddffda37a7d8791d79b","abstract_canon_sha256":"2526b239e5c7850802a007a77880535d6bd75d3be5a972a7572327c146967ddb"},"schema_version":"1.0"},"canonical_sha256":"efbf3493c504968986c86b8f995c214d20d9a0756635517ec23fb2e7632639a1","source":{"kind":"arxiv","id":"1508.06613","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06613","created_at":"2026-05-18T01:34:42Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06613v1","created_at":"2026-05-18T01:34:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06613","created_at":"2026-05-18T01:34:42Z"},{"alias_kind":"pith_short_12","alias_value":"567TJE6FASLI","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"567TJE6FASLITBWI","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"567TJE6F","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:567TJE6FASLITBWINOHZSXBBJU","target":"record","payload":{"canonical_record":{"source":{"id":"1508.06613","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-08-26T19:20:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"fec3c8786dc714f6e8aac4d8433567f2b167d2ccbbd5cddffda37a7d8791d79b","abstract_canon_sha256":"2526b239e5c7850802a007a77880535d6bd75d3be5a972a7572327c146967ddb"},"schema_version":"1.0"},"canonical_sha256":"efbf3493c504968986c86b8f995c214d20d9a0756635517ec23fb2e7632639a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:34:42.556007Z","signature_b64":"hksGkkacwKs4UCV+z2i1Zw1QtDVVn97/obyWaEu2ZgjET0Nike4HNPpWhA3NweYeo/sgO0d9blFBvvBtHKhrDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efbf3493c504968986c86b8f995c214d20d9a0756635517ec23fb2e7632639a1","last_reissued_at":"2026-05-18T01:34:42.555402Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:34:42.555402Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.06613","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-18T01:34:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NMb5oXh7KbsyWjqTIMUPkKyVjafqmL8nbPOrQQz6Z9HwO3CtMbveXghoVQRJ1UFakudF6PpRTkLuwNi/wXwPCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T03:59:43.799085Z"},"content_sha256":"8c78050abd40166f49f1f9fe479439d250b3210e2fbdeba43b7b8cb495691d83","schema_version":"1.0","event_id":"sha256:8c78050abd40166f49f1f9fe479439d250b3210e2fbdeba43b7b8cb495691d83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:567TJE6FASLITBWINOHZSXBBJU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Large-scale Trace Checking Using MapReduce","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Carlo Ghezzi, Domenico Bianculli, Marcello M. Bersani, Pierluigi San Pietro, Srdan Krstic","submitted_at":"2015-08-26T19:20:14Z","abstract_excerpt":"The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two crucial dimensions: the length of the trace and the size of the time interval for which logged events must be buffered to check satisfaction of the specification. The former issue can be addressed by distributed and parallel trace checking algorithms that can take advantage of modern cloud computing and programming frameworks like MapReduce. Still, the latter "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06613","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-18T01:34:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SE7ekqnQj9eIIJU9v2Rn3BxyuefxQO1CrBwp34IBqMa2Kk7mxq1jkFy1jgIFC2+jhy0+FFxrT9WMldyrnw0CBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T03:59:43.799748Z"},"content_sha256":"3d54001be691bf5c8c2d58d82bc0d6668faf7f1d346abfacac85a9274bd5a54d","schema_version":"1.0","event_id":"sha256:3d54001be691bf5c8c2d58d82bc0d6668faf7f1d346abfacac85a9274bd5a54d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/567TJE6FASLITBWINOHZSXBBJU/bundle.json","state_url":"https://pith.science/pith/567TJE6FASLITBWINOHZSXBBJU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/567TJE6FASLITBWINOHZSXBBJU/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-04T03:59:43Z","links":{"resolver":"https://pith.science/pith/567TJE6FASLITBWINOHZSXBBJU","bundle":"https://pith.science/pith/567TJE6FASLITBWINOHZSXBBJU/bundle.json","state":"https://pith.science/pith/567TJE6FASLITBWINOHZSXBBJU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/567TJE6FASLITBWINOHZSXBBJU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:567TJE6FASLITBWINOHZSXBBJU","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":"2526b239e5c7850802a007a77880535d6bd75d3be5a972a7572327c146967ddb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-08-26T19:20:14Z","title_canon_sha256":"fec3c8786dc714f6e8aac4d8433567f2b167d2ccbbd5cddffda37a7d8791d79b"},"schema_version":"1.0","source":{"id":"1508.06613","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06613","created_at":"2026-05-18T01:34:42Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06613v1","created_at":"2026-05-18T01:34:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06613","created_at":"2026-05-18T01:34:42Z"},{"alias_kind":"pith_short_12","alias_value":"567TJE6FASLI","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"567TJE6FASLITBWI","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"567TJE6F","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:3d54001be691bf5c8c2d58d82bc0d6668faf7f1d346abfacac85a9274bd5a54d","target":"graph","created_at":"2026-05-18T01:34:42Z","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":"The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two crucial dimensions: the length of the trace and the size of the time interval for which logged events must be buffered to check satisfaction of the specification. The former issue can be addressed by distributed and parallel trace checking algorithms that can take advantage of modern cloud computing and programming frameworks like MapReduce. Still, the latter ","authors_text":"Carlo Ghezzi, Domenico Bianculli, Marcello M. Bersani, Pierluigi San Pietro, Srdan Krstic","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-08-26T19:20:14Z","title":"Efficient Large-scale Trace Checking Using MapReduce"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06613","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:8c78050abd40166f49f1f9fe479439d250b3210e2fbdeba43b7b8cb495691d83","target":"record","created_at":"2026-05-18T01:34:42Z","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":"2526b239e5c7850802a007a77880535d6bd75d3be5a972a7572327c146967ddb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-08-26T19:20:14Z","title_canon_sha256":"fec3c8786dc714f6e8aac4d8433567f2b167d2ccbbd5cddffda37a7d8791d79b"},"schema_version":"1.0","source":{"id":"1508.06613","kind":"arxiv","version":1}},"canonical_sha256":"efbf3493c504968986c86b8f995c214d20d9a0756635517ec23fb2e7632639a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efbf3493c504968986c86b8f995c214d20d9a0756635517ec23fb2e7632639a1","first_computed_at":"2026-05-18T01:34:42.555402Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:34:42.555402Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hksGkkacwKs4UCV+z2i1Zw1QtDVVn97/obyWaEu2ZgjET0Nike4HNPpWhA3NweYeo/sgO0d9blFBvvBtHKhrDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:34:42.556007Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.06613","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c78050abd40166f49f1f9fe479439d250b3210e2fbdeba43b7b8cb495691d83","sha256:3d54001be691bf5c8c2d58d82bc0d6668faf7f1d346abfacac85a9274bd5a54d"],"state_sha256":"b6208364be8222e861fa0a24aacd731c4b22bc3952ec0bcdd044f4d5cb41858c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qo+d+ZZ/JZ68vgMdK5QLi14JIDofI/mQc2YLLX+00iyZroKYDbZxlllSxWMbm72fI0JE+hXkKOfwfv/QE/uXDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T03:59:43.802827Z","bundle_sha256":"a80de8b3c2ac32bdad2ef0ae926cb0e9fe116f6a1448b0e6ccc3c25651b3c3b6"}}