{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LHYCVFMICGMRFKTLVKJ7YTQX76","short_pith_number":"pith:LHYCVFMI","canonical_record":{"source":{"id":"1404.0436","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-02T02:52:51Z","cross_cats_sorted":[],"title_canon_sha256":"e7524ea7d1c16f5568ac7daa6af88bee9f98ed3fdb330fdada535de72aebc94e","abstract_canon_sha256":"5ecb219b6bc8bb877809ababff0ff4619f06ebd32d7f501901237769e67e52ee"},"schema_version":"1.0"},"canonical_sha256":"59f02a9588119912aa6baa93fc4e17ff95e642ff3313642a2e1973d934dff591","source":{"kind":"arxiv","id":"1404.0436","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0436","created_at":"2026-05-18T02:55:03Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0436v1","created_at":"2026-05-18T02:55:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0436","created_at":"2026-05-18T02:55:03Z"},{"alias_kind":"pith_short_12","alias_value":"LHYCVFMICGMR","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LHYCVFMICGMRFKTL","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LHYCVFMI","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LHYCVFMICGMRFKTLVKJ7YTQX76","target":"record","payload":{"canonical_record":{"source":{"id":"1404.0436","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-02T02:52:51Z","cross_cats_sorted":[],"title_canon_sha256":"e7524ea7d1c16f5568ac7daa6af88bee9f98ed3fdb330fdada535de72aebc94e","abstract_canon_sha256":"5ecb219b6bc8bb877809ababff0ff4619f06ebd32d7f501901237769e67e52ee"},"schema_version":"1.0"},"canonical_sha256":"59f02a9588119912aa6baa93fc4e17ff95e642ff3313642a2e1973d934dff591","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:03.366729Z","signature_b64":"up9F6P02EKgIgaqgGjWRAJmVqjIckA3z1VR3n+Wnf7xz+pRXCeugPK+0Z756PlpReidHmZm82ZFtqHT5r2A9DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"59f02a9588119912aa6baa93fc4e17ff95e642ff3313642a2e1973d934dff591","last_reissued_at":"2026-05-18T02:55:03.366152Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:03.366152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.0436","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:55:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a0ktGnbmuOi1T0GWdcAiqYtKLOQdlaPlCahny/XlvF4A3uE6QG5VzbV+GKTp+sH5tGQYxx69aJs8KddaWs8jCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:38:03.209045Z"},"content_sha256":"caf6b98be27b24a617a8d08edca7114f479a4354fdafe76c79e2793e8bb9e482","schema_version":"1.0","event_id":"sha256:caf6b98be27b24a617a8d08edca7114f479a4354fdafe76c79e2793e8bb9e482"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LHYCVFMICGMRFKTLVKJ7YTQX76","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bara Buhnova (Masaryk University, Czech Republic), Germany), Jan Kofro\\v{n} (Charles University in Prague, Lucia Happe (Karlsruhe Institute of Technology","submitted_at":"2014-04-02T02:52:51Z","abstract_excerpt":"The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering.\n  Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, with the emergence of new platforms (such as smartphones), new areas advocating software correctness along with new challenges h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0436","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:55:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YIfk7N4dS0aaREuO6ouT25mTfNRT4Maj6jf316pUsuY/Ofwx/BvjFOrsd4grooWrVCJj3kdLcgzj9sdQTTCvDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:38:03.209669Z"},"content_sha256":"601a1dd6470b0f11ffb3b115fd397ce1c5a114f3df370cae42e3fce56561f1fd","schema_version":"1.0","event_id":"sha256:601a1dd6470b0f11ffb3b115fd397ce1c5a114f3df370cae42e3fce56561f1fd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LHYCVFMICGMRFKTLVKJ7YTQX76/bundle.json","state_url":"https://pith.science/pith/LHYCVFMICGMRFKTLVKJ7YTQX76/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LHYCVFMICGMRFKTLVKJ7YTQX76/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-01T15:38:03Z","links":{"resolver":"https://pith.science/pith/LHYCVFMICGMRFKTLVKJ7YTQX76","bundle":"https://pith.science/pith/LHYCVFMICGMRFKTLVKJ7YTQX76/bundle.json","state":"https://pith.science/pith/LHYCVFMICGMRFKTLVKJ7YTQX76/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LHYCVFMICGMRFKTLVKJ7YTQX76/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LHYCVFMICGMRFKTLVKJ7YTQX76","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":"5ecb219b6bc8bb877809ababff0ff4619f06ebd32d7f501901237769e67e52ee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-02T02:52:51Z","title_canon_sha256":"e7524ea7d1c16f5568ac7daa6af88bee9f98ed3fdb330fdada535de72aebc94e"},"schema_version":"1.0","source":{"id":"1404.0436","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0436","created_at":"2026-05-18T02:55:03Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0436v1","created_at":"2026-05-18T02:55:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0436","created_at":"2026-05-18T02:55:03Z"},{"alias_kind":"pith_short_12","alias_value":"LHYCVFMICGMR","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LHYCVFMICGMRFKTL","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LHYCVFMI","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:601a1dd6470b0f11ffb3b115fd397ce1c5a114f3df370cae42e3fce56561f1fd","target":"graph","created_at":"2026-05-18T02:55:03Z","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 aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering.\n  Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, with the emergence of new platforms (such as smartphones), new areas advocating software correctness along with new challenges h","authors_text":"Bara Buhnova (Masaryk University, Czech Republic), Germany), Jan Kofro\\v{n} (Charles University in Prague, Lucia Happe (Karlsruhe Institute of Technology","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-02T02:52:51Z","title":"Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0436","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:caf6b98be27b24a617a8d08edca7114f479a4354fdafe76c79e2793e8bb9e482","target":"record","created_at":"2026-05-18T02:55:03Z","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":"5ecb219b6bc8bb877809ababff0ff4619f06ebd32d7f501901237769e67e52ee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-02T02:52:51Z","title_canon_sha256":"e7524ea7d1c16f5568ac7daa6af88bee9f98ed3fdb330fdada535de72aebc94e"},"schema_version":"1.0","source":{"id":"1404.0436","kind":"arxiv","version":1}},"canonical_sha256":"59f02a9588119912aa6baa93fc4e17ff95e642ff3313642a2e1973d934dff591","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59f02a9588119912aa6baa93fc4e17ff95e642ff3313642a2e1973d934dff591","first_computed_at":"2026-05-18T02:55:03.366152Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:03.366152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"up9F6P02EKgIgaqgGjWRAJmVqjIckA3z1VR3n+Wnf7xz+pRXCeugPK+0Z756PlpReidHmZm82ZFtqHT5r2A9DA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:03.366729Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0436","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:caf6b98be27b24a617a8d08edca7114f479a4354fdafe76c79e2793e8bb9e482","sha256:601a1dd6470b0f11ffb3b115fd397ce1c5a114f3df370cae42e3fce56561f1fd"],"state_sha256":"7e8ef75ab96ba9071a62f1161e7d8fb6403511df4224d593da338ee516909ff0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QPaLGoDoAEWOMkFAjiZH/yIFeR1hstMrw1uvcHlD3Dvm00yABsJk6SyMBLQQVRfFEQDufmeotP0uTNTolpwcBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T15:38:03.212891Z","bundle_sha256":"67a1fa09dade6799184dd87420b7328a6e26d6a372c0966693700620afdd8fd5"}}