{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:DQNHYTMK3AMJKCRJ4PUDGST7U2","short_pith_number":"pith:DQNHYTMK","canonical_record":{"source":{"id":"1105.1633","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-05-09T11:24:16Z","cross_cats_sorted":[],"title_canon_sha256":"52f5403660f4e239227f919da298cd16f83f68ea398e125693b7dbd44121c486","abstract_canon_sha256":"7f11943d357cefc94e5cfb4d7866ec1172faf0c188f3c6710996fb8583c8dd4d"},"schema_version":"1.0"},"canonical_sha256":"1c1a7c4d8ad818950a29e3e8334a7fa6892755077176221566de078fc40672e8","source":{"kind":"arxiv","id":"1105.1633","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.1633","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"arxiv_version","alias_value":"1105.1633v3","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.1633","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"pith_short_12","alias_value":"DQNHYTMK3AMJ","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DQNHYTMK3AMJKCRJ","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DQNHYTMK","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:DQNHYTMK3AMJKCRJ4PUDGST7U2","target":"record","payload":{"canonical_record":{"source":{"id":"1105.1633","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-05-09T11:24:16Z","cross_cats_sorted":[],"title_canon_sha256":"52f5403660f4e239227f919da298cd16f83f68ea398e125693b7dbd44121c486","abstract_canon_sha256":"7f11943d357cefc94e5cfb4d7866ec1172faf0c188f3c6710996fb8583c8dd4d"},"schema_version":"1.0"},"canonical_sha256":"1c1a7c4d8ad818950a29e3e8334a7fa6892755077176221566de078fc40672e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:25.187174Z","signature_b64":"/tFIhryz+wsNZ9fHY6yDTqEEVJU8Af79p3cYdx8OnP98uUbcpkBkRNrODpiZ+1BXHdp/vy0wNJoy7DrQ66L6Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c1a7c4d8ad818950a29e3e8334a7fa6892755077176221566de078fc40672e8","last_reissued_at":"2026-05-18T04:09:25.186556Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:25.186556Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1105.1633","source_version":3,"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-18T04:09:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NPlHZD9xmPgY13R+5H9Y99dYkMQNmlXW+DMj3tFd25WVGWHcJpjsduwsSS2gyIxrl2s04QvWgMNjzrU7ftGRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T19:48:27.503580Z"},"content_sha256":"ddab082299a133eedb6af76a308b23dd04c56c59b25a373256781ab482b2f658","schema_version":"1.0","event_id":"sha256:ddab082299a133eedb6af76a308b23dd04c56c59b25a373256781ab482b2f658"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:DQNHYTMK3AMJKCRJ4PUDGST7U2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computation of WCET using Program Slicing and Real-Time Model-Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Franck Cassez, Jean-Luc B\\'echennec","submitted_at":"2011-05-09T11:24:16Z","abstract_excerpt":"Computing accurate WCET on modern complex architectures is a challenging task. This problem has been devoted a lot of attention in the last decade but there are still some open issues. First, the control flow graph (CFG) of a binary program is needed to compute the WCET and this CFG is built using some internal knowledge of the compiler that generated the binary code; moreover once constructed the CFG has to be manually annotated with loop bounds. Second, the algorithms to compute the WCET (combining Abstract Interpretation and Integer Linear Programming) are tailored for specific architecture"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.1633","kind":"arxiv","version":3},"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-18T04:09:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tsMCqTHsIo99KOIeYXY8+X5uOgbgNw99Zz97YmzGKhUw4Xqqm8ptrM+2vLM2ukRPef/ditehSz0OavDoDtGbDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T19:48:27.504349Z"},"content_sha256":"4a6c701ba327117f60d7bec1904bc814bd1537857ae539f43524eef247fcb584","schema_version":"1.0","event_id":"sha256:4a6c701ba327117f60d7bec1904bc814bd1537857ae539f43524eef247fcb584"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2/bundle.json","state_url":"https://pith.science/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2/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-31T19:48:27Z","links":{"resolver":"https://pith.science/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2","bundle":"https://pith.science/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2/bundle.json","state":"https://pith.science/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DQNHYTMK3AMJKCRJ4PUDGST7U2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DQNHYTMK3AMJKCRJ4PUDGST7U2","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":"7f11943d357cefc94e5cfb4d7866ec1172faf0c188f3c6710996fb8583c8dd4d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-05-09T11:24:16Z","title_canon_sha256":"52f5403660f4e239227f919da298cd16f83f68ea398e125693b7dbd44121c486"},"schema_version":"1.0","source":{"id":"1105.1633","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.1633","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"arxiv_version","alias_value":"1105.1633v3","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.1633","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"pith_short_12","alias_value":"DQNHYTMK3AMJ","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DQNHYTMK3AMJKCRJ","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DQNHYTMK","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:4a6c701ba327117f60d7bec1904bc814bd1537857ae539f43524eef247fcb584","target":"graph","created_at":"2026-05-18T04:09:25Z","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":"Computing accurate WCET on modern complex architectures is a challenging task. This problem has been devoted a lot of attention in the last decade but there are still some open issues. First, the control flow graph (CFG) of a binary program is needed to compute the WCET and this CFG is built using some internal knowledge of the compiler that generated the binary code; moreover once constructed the CFG has to be manually annotated with loop bounds. Second, the algorithms to compute the WCET (combining Abstract Interpretation and Integer Linear Programming) are tailored for specific architecture","authors_text":"Franck Cassez, Jean-Luc B\\'echennec","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-05-09T11:24:16Z","title":"Computation of WCET using Program Slicing and Real-Time Model-Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.1633","kind":"arxiv","version":3},"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:ddab082299a133eedb6af76a308b23dd04c56c59b25a373256781ab482b2f658","target":"record","created_at":"2026-05-18T04:09:25Z","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":"7f11943d357cefc94e5cfb4d7866ec1172faf0c188f3c6710996fb8583c8dd4d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-05-09T11:24:16Z","title_canon_sha256":"52f5403660f4e239227f919da298cd16f83f68ea398e125693b7dbd44121c486"},"schema_version":"1.0","source":{"id":"1105.1633","kind":"arxiv","version":3}},"canonical_sha256":"1c1a7c4d8ad818950a29e3e8334a7fa6892755077176221566de078fc40672e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c1a7c4d8ad818950a29e3e8334a7fa6892755077176221566de078fc40672e8","first_computed_at":"2026-05-18T04:09:25.186556Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:09:25.186556Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/tFIhryz+wsNZ9fHY6yDTqEEVJU8Af79p3cYdx8OnP98uUbcpkBkRNrODpiZ+1BXHdp/vy0wNJoy7DrQ66L6Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T04:09:25.187174Z","signed_message":"canonical_sha256_bytes"},"source_id":"1105.1633","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddab082299a133eedb6af76a308b23dd04c56c59b25a373256781ab482b2f658","sha256:4a6c701ba327117f60d7bec1904bc814bd1537857ae539f43524eef247fcb584"],"state_sha256":"923cedfc72cd807b97bed6ae1d60bfd8cdbcdf7f11b2db1a1e2e156eb6e207f7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imvD82YYuPxIvoSYa6J3iFgbGf4m1FuA+mRfzQuI6ly3qTrppDUz4211Zxpwd3K9fCLGPG9zdIK1UqnmVaxqAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T19:48:27.510494Z","bundle_sha256":"dcf6fd8bfc6f739e9bcf2eb8a3315f0b0c96db3e3e58cbaf6e372125085fa87a"}}