{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:QWUROCNFCN33I4FNRHWVOWQW3V","short_pith_number":"pith:QWUROCNF","canonical_record":{"source":{"id":"1604.07474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-25T23:22:00Z","cross_cats_sorted":[],"title_canon_sha256":"56b2336efaede948c2c08012d698ee4212d8f65387d63543537b491b1c01f7c8","abstract_canon_sha256":"abaf0da83bd4eb7fa195c28779361cc436986215f0c3aea7ae3180091df7d383"},"schema_version":"1.0"},"canonical_sha256":"85a91709a51377b470ad89ed575a16dd6ed12ebc4739af6fe556e4e3bd5f6f20","source":{"kind":"arxiv","id":"1604.07474","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07474","created_at":"2026-05-17T23:51:26Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07474v1","created_at":"2026-05-17T23:51:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07474","created_at":"2026-05-17T23:51:26Z"},{"alias_kind":"pith_short_12","alias_value":"QWUROCNFCN33","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"QWUROCNFCN33I4FN","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"QWUROCNF","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:QWUROCNFCN33I4FNRHWVOWQW3V","target":"record","payload":{"canonical_record":{"source":{"id":"1604.07474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-25T23:22:00Z","cross_cats_sorted":[],"title_canon_sha256":"56b2336efaede948c2c08012d698ee4212d8f65387d63543537b491b1c01f7c8","abstract_canon_sha256":"abaf0da83bd4eb7fa195c28779361cc436986215f0c3aea7ae3180091df7d383"},"schema_version":"1.0"},"canonical_sha256":"85a91709a51377b470ad89ed575a16dd6ed12ebc4739af6fe556e4e3bd5f6f20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:26.317460Z","signature_b64":"GPGzg4MQ5CHyKpnysW7PdGxuQT3FaoPnui595XEMhoCZEcrb4Ip9K6LiXqDYU8g7K7pMVUfiMRqJy8Ujy/GbCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85a91709a51377b470ad89ed575a16dd6ed12ebc4739af6fe556e4e3bd5f6f20","last_reissued_at":"2026-05-17T23:51:26.316843Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:26.316843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.07474","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-17T23:51:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7J2RTO842Ecv4LnCUcCvh9WjpueQNwBszdCD/lXPxVDJUiPSZw4WrKuuM8xj2EkCnf7A2y6cf9h94NT/LeaKDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:37:43.707963Z"},"content_sha256":"ef8e8a658c830091f93fd992ec510f7d885f19d719568cbbafb7a4bf712b732d","schema_version":"1.0","event_id":"sha256:ef8e8a658c830091f93fd992ec510f7d885f19d719568cbbafb7a4bf712b732d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:QWUROCNFCN33I4FNRHWVOWQW3V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Advancing Dynamic Fault Tree Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Joost-Pieter Katoen, Matthias Volk, Sebastian Junges","submitted_at":"2016-04-25T23:22:00Z","abstract_excerpt":"This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure --- detecting symmetries, spurious non-determinism, and don't cares. Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and analysis time. Our approach supports DFTs with symbolic failure rates and is complemented by parameter synthesis. This enables determining the maximal tolerable failure rate of a system component while "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07474","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-17T23:51:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vcQke7u/Aj+/V8HyN81qD6rIlVLBd16ciVlAK1sswu3wbLTwXLqFq8lgPs+CuHmDwKHIaMYmIG+IUK2Pa+PiDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:37:43.708323Z"},"content_sha256":"82adfad5b3b9dddf260565321515116a5d1008467c9530c42d00410be8696fe8","schema_version":"1.0","event_id":"sha256:82adfad5b3b9dddf260565321515116a5d1008467c9530c42d00410be8696fe8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QWUROCNFCN33I4FNRHWVOWQW3V/bundle.json","state_url":"https://pith.science/pith/QWUROCNFCN33I4FNRHWVOWQW3V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QWUROCNFCN33I4FNRHWVOWQW3V/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-01T12:37:43Z","links":{"resolver":"https://pith.science/pith/QWUROCNFCN33I4FNRHWVOWQW3V","bundle":"https://pith.science/pith/QWUROCNFCN33I4FNRHWVOWQW3V/bundle.json","state":"https://pith.science/pith/QWUROCNFCN33I4FNRHWVOWQW3V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QWUROCNFCN33I4FNRHWVOWQW3V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:QWUROCNFCN33I4FNRHWVOWQW3V","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":"abaf0da83bd4eb7fa195c28779361cc436986215f0c3aea7ae3180091df7d383","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-25T23:22:00Z","title_canon_sha256":"56b2336efaede948c2c08012d698ee4212d8f65387d63543537b491b1c01f7c8"},"schema_version":"1.0","source":{"id":"1604.07474","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.07474","created_at":"2026-05-17T23:51:26Z"},{"alias_kind":"arxiv_version","alias_value":"1604.07474v1","created_at":"2026-05-17T23:51:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.07474","created_at":"2026-05-17T23:51:26Z"},{"alias_kind":"pith_short_12","alias_value":"QWUROCNFCN33","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"QWUROCNFCN33I4FN","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"QWUROCNF","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:82adfad5b3b9dddf260565321515116a5d1008467c9530c42d00410be8696fe8","target":"graph","created_at":"2026-05-17T23:51:26Z","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":"This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure --- detecting symmetries, spurious non-determinism, and don't cares. Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and analysis time. Our approach supports DFTs with symbolic failure rates and is complemented by parameter synthesis. This enables determining the maximal tolerable failure rate of a system component while ","authors_text":"Joost-Pieter Katoen, Matthias Volk, Sebastian Junges","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-25T23:22:00Z","title":"Advancing Dynamic Fault Tree Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.07474","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:ef8e8a658c830091f93fd992ec510f7d885f19d719568cbbafb7a4bf712b732d","target":"record","created_at":"2026-05-17T23:51:26Z","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":"abaf0da83bd4eb7fa195c28779361cc436986215f0c3aea7ae3180091df7d383","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-25T23:22:00Z","title_canon_sha256":"56b2336efaede948c2c08012d698ee4212d8f65387d63543537b491b1c01f7c8"},"schema_version":"1.0","source":{"id":"1604.07474","kind":"arxiv","version":1}},"canonical_sha256":"85a91709a51377b470ad89ed575a16dd6ed12ebc4739af6fe556e4e3bd5f6f20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85a91709a51377b470ad89ed575a16dd6ed12ebc4739af6fe556e4e3bd5f6f20","first_computed_at":"2026-05-17T23:51:26.316843Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:26.316843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GPGzg4MQ5CHyKpnysW7PdGxuQT3FaoPnui595XEMhoCZEcrb4Ip9K6LiXqDYU8g7K7pMVUfiMRqJy8Ujy/GbCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:26.317460Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.07474","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef8e8a658c830091f93fd992ec510f7d885f19d719568cbbafb7a4bf712b732d","sha256:82adfad5b3b9dddf260565321515116a5d1008467c9530c42d00410be8696fe8"],"state_sha256":"849172a29d5edd008c029ed8d4b39c7ef81deaa3738620d53c2c8e3467a97478"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TLXaGjRWg9F/ukZ8oGyM7ZnF/+UORg66hJ8N4DmL4MeJz2Yc1xlACKpDE0/xx5/25U+X9PPM8sXjIk0Qkl8bCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T12:37:43.710404Z","bundle_sha256":"623ecfbe327d069444dd6e509bbd07a3437b4b3c5c5da2a23e86ff7d4338ba4a"}}