{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:EZBG54ZSZCHEXO5JY2GNFYTWMJ","short_pith_number":"pith:EZBG54ZS","canonical_record":{"source":{"id":"1406.3661","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-13T22:28:54Z","cross_cats_sorted":[],"title_canon_sha256":"cfa959da7ee4d3d928a12ca8ccd7a47a2d0f7146e361fde9d441a9a804b577aa","abstract_canon_sha256":"565cd7bd248a87bba4af543f38aa77528bcc853eae92116779e8996f2f8e403d"},"schema_version":"1.0"},"canonical_sha256":"26426ef332c88e4bbba9c68cd2e276624714e483b8368c05d23c866041b505e7","source":{"kind":"arxiv","id":"1406.3661","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3661","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3661v1","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3661","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"pith_short_12","alias_value":"EZBG54ZSZCHE","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"EZBG54ZSZCHEXO5J","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"EZBG54ZS","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:EZBG54ZSZCHEXO5JY2GNFYTWMJ","target":"record","payload":{"canonical_record":{"source":{"id":"1406.3661","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-13T22:28:54Z","cross_cats_sorted":[],"title_canon_sha256":"cfa959da7ee4d3d928a12ca8ccd7a47a2d0f7146e361fde9d441a9a804b577aa","abstract_canon_sha256":"565cd7bd248a87bba4af543f38aa77528bcc853eae92116779e8996f2f8e403d"},"schema_version":"1.0"},"canonical_sha256":"26426ef332c88e4bbba9c68cd2e276624714e483b8368c05d23c866041b505e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:45.268500Z","signature_b64":"15Zg6md+E4UsIgZBgMCRB+DhJQjqvVVnPb/Ycds6WzkVZqT7Xunf6UwHvKikiRDFMhDJ/B4gA9i+Iek/NbxSCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26426ef332c88e4bbba9c68cd2e276624714e483b8368c05d23c866041b505e7","last_reissued_at":"2026-05-18T02:49:45.268068Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:45.268068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.3661","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-18T02:49:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OJ1/ee99yOemy5Mh2F5P3+r6d3d1nX1l0KA8gOY/bTcRbsLzBeGjcxA8Tz8T9uOL1QvOw0deenydFdMGoW1qCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:27:57.512934Z"},"content_sha256":"37ab28c7bb6b2f91dec8b028c848dbb4a93d76ec93981f8fb85098f7b79d13d4","schema_version":"1.0","event_id":"sha256:37ab28c7bb6b2f91dec8b028c848dbb4a93d76ec93981f8fb85098f7b79d13d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:EZBG54ZSZCHEXO5JY2GNFYTWMJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Carlo Ghezzi, Domenico Bianculli, Srdan Krstic","submitted_at":"2014-06-13T22:28:54Z","abstract_excerpt":"Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3661","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-18T02:49:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j3LqzpfngCatx1airQcX2ilRyD+UFGg7qCElS5uUNTdNx4B15GQ/jWJThNEwpEA8YVWYU1Bh5o5AjmULvYy0BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:27:57.513276Z"},"content_sha256":"054cd6c9bd2ec7f0df0b1519b0009bbf17bfabd754fe356bc426443788c19e8f","schema_version":"1.0","event_id":"sha256:054cd6c9bd2ec7f0df0b1519b0009bbf17bfabd754fe356bc426443788c19e8f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ/bundle.json","state_url":"https://pith.science/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ/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-10T19:27:57Z","links":{"resolver":"https://pith.science/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ","bundle":"https://pith.science/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ/bundle.json","state":"https://pith.science/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EZBG54ZSZCHEXO5JY2GNFYTWMJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:EZBG54ZSZCHEXO5JY2GNFYTWMJ","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":"565cd7bd248a87bba4af543f38aa77528bcc853eae92116779e8996f2f8e403d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-13T22:28:54Z","title_canon_sha256":"cfa959da7ee4d3d928a12ca8ccd7a47a2d0f7146e361fde9d441a9a804b577aa"},"schema_version":"1.0","source":{"id":"1406.3661","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3661","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3661v1","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3661","created_at":"2026-05-18T02:49:45Z"},{"alias_kind":"pith_short_12","alias_value":"EZBG54ZSZCHE","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"EZBG54ZSZCHEXO5J","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"EZBG54ZS","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:054cd6c9bd2ec7f0df0b1519b0009bbf17bfabd754fe356bc426443788c19e8f","target":"graph","created_at":"2026-05-18T02:49:45Z","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":"Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic wit","authors_text":"Carlo Ghezzi, Domenico Bianculli, Srdan Krstic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-13T22:28:54Z","title":"Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3661","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:37ab28c7bb6b2f91dec8b028c848dbb4a93d76ec93981f8fb85098f7b79d13d4","target":"record","created_at":"2026-05-18T02:49:45Z","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":"565cd7bd248a87bba4af543f38aa77528bcc853eae92116779e8996f2f8e403d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-06-13T22:28:54Z","title_canon_sha256":"cfa959da7ee4d3d928a12ca8ccd7a47a2d0f7146e361fde9d441a9a804b577aa"},"schema_version":"1.0","source":{"id":"1406.3661","kind":"arxiv","version":1}},"canonical_sha256":"26426ef332c88e4bbba9c68cd2e276624714e483b8368c05d23c866041b505e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26426ef332c88e4bbba9c68cd2e276624714e483b8368c05d23c866041b505e7","first_computed_at":"2026-05-18T02:49:45.268068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:45.268068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"15Zg6md+E4UsIgZBgMCRB+DhJQjqvVVnPb/Ycds6WzkVZqT7Xunf6UwHvKikiRDFMhDJ/B4gA9i+Iek/NbxSCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:45.268500Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.3661","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:37ab28c7bb6b2f91dec8b028c848dbb4a93d76ec93981f8fb85098f7b79d13d4","sha256:054cd6c9bd2ec7f0df0b1519b0009bbf17bfabd754fe356bc426443788c19e8f"],"state_sha256":"e1050d45d7c0a7bc7c3ba2a49977463fbb5229f4acc9781d9f543a044268d37e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PalDIW1RvtBs9ZjNOqJKKkg97DCPJ4U3jE8c8zqch0IbZ/ou+wevF4fK8F9vHoR7APOjhOHJMnnA06rXAOWDAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T19:27:57.515643Z","bundle_sha256":"530c63d3f38862588fd7ef7005d58575b926f324eb193f3104d83a83f96be28e"}}