{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UIQA2JXBQROPARVN2FS5Q7D3NZ","short_pith_number":"pith:UIQA2JXB","canonical_record":{"source":{"id":"1403.7841","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-03-31T00:31:31Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"b51135608284a6798b0ee2ed2b11ee38bc5ec8483ee78c0e32ef8b89c6b10141","abstract_canon_sha256":"bd8b0ddfa828e1f2b155333a557d1877d4018cd27459d7db69698e7c583c6a54"},"schema_version":"1.0"},"canonical_sha256":"a2200d26e1845cf046add165d87c7b6e76fb0b930970791e56c86b42c9920454","source":{"kind":"arxiv","id":"1403.7841","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.7841","created_at":"2026-05-18T02:54:39Z"},{"alias_kind":"arxiv_version","alias_value":"1403.7841v2","created_at":"2026-05-18T02:54:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7841","created_at":"2026-05-18T02:54:39Z"},{"alias_kind":"pith_short_12","alias_value":"UIQA2JXBQROP","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UIQA2JXBQROPARVN","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UIQA2JXB","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UIQA2JXBQROPARVN2FS5Q7D3NZ","target":"record","payload":{"canonical_record":{"source":{"id":"1403.7841","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-03-31T00:31:31Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"b51135608284a6798b0ee2ed2b11ee38bc5ec8483ee78c0e32ef8b89c6b10141","abstract_canon_sha256":"bd8b0ddfa828e1f2b155333a557d1877d4018cd27459d7db69698e7c583c6a54"},"schema_version":"1.0"},"canonical_sha256":"a2200d26e1845cf046add165d87c7b6e76fb0b930970791e56c86b42c9920454","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:39.128095Z","signature_b64":"HCQ9gC5hMaO8mT/rsPtVbNXsP3NH4o16hU+7idyiH7crfmALhxmjYkAV4/QA4aAyT4MVQZdpyqvOL0TlNg8oCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2200d26e1845cf046add165d87c7b6e76fb0b930970791e56c86b42c9920454","last_reissued_at":"2026-05-18T02:54:39.127502Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:39.127502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.7841","source_version":2,"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:54:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"02uo/HcOXCRGcsJJ4DInzqy+o3FgpEDZ/HCv1uTNZXe4iYTY2s5dGCvvdxHN0LF9GCHny46kmznYWhSmwNlMBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:05:58.463822Z"},"content_sha256":"a7411149246bb06e501ff463425cdd7bb868d8455192b2646049f5076d782729","schema_version":"1.0","event_id":"sha256:a7411149246bb06e501ff463425cdd7bb868d8455192b2646049f5076d782729"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UIQA2JXBQROPARVN2FS5Q7D3NZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 1st International Workshop on Synthesis of Continuous Parameters","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"cs.SC","authors_text":"CNRS, \\'Etienne Andr\\'e (Universit\\'e Paris 13, France), Goran Frehse (Verimag, Grenoble, LIPN, Sorbonne Paris Cit\\'e, Villetaneuse","submitted_at":"2014-03-31T00:31:31Z","abstract_excerpt":"This volume contains the proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). The workshop was held in Grenoble, France on April 6th, 2014, as a satellite event of the 17th European Joint Conferences on Theory and Practice of Software (ETAPS'14).\n  SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Synthesis problems for such parameters arise for real-time, hybrid or probabilistic systems in a large variety applica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7841","kind":"arxiv","version":2},"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:54:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RlbKnD2969fzDmQAbRUDPKyLaHTOGApR4eZTb4cCAU47JtxhWjTeNojTL+5b1CpHtpQamAF2yLz3UEYy46QaBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:05:58.464180Z"},"content_sha256":"3935f6f65fa2f90503b304df3c14b53e816e92097fc4d476bda630aaffc8a621","schema_version":"1.0","event_id":"sha256:3935f6f65fa2f90503b304df3c14b53e816e92097fc4d476bda630aaffc8a621"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ/bundle.json","state_url":"https://pith.science/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ/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-28T23:05:58Z","links":{"resolver":"https://pith.science/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ","bundle":"https://pith.science/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ/bundle.json","state":"https://pith.science/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UIQA2JXBQROPARVN2FS5Q7D3NZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UIQA2JXBQROPARVN2FS5Q7D3NZ","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":"bd8b0ddfa828e1f2b155333a557d1877d4018cd27459d7db69698e7c583c6a54","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-03-31T00:31:31Z","title_canon_sha256":"b51135608284a6798b0ee2ed2b11ee38bc5ec8483ee78c0e32ef8b89c6b10141"},"schema_version":"1.0","source":{"id":"1403.7841","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.7841","created_at":"2026-05-18T02:54:39Z"},{"alias_kind":"arxiv_version","alias_value":"1403.7841v2","created_at":"2026-05-18T02:54:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7841","created_at":"2026-05-18T02:54:39Z"},{"alias_kind":"pith_short_12","alias_value":"UIQA2JXBQROP","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UIQA2JXBQROPARVN","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UIQA2JXB","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:3935f6f65fa2f90503b304df3c14b53e816e92097fc4d476bda630aaffc8a621","target":"graph","created_at":"2026-05-18T02:54:39Z","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 volume contains the proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). The workshop was held in Grenoble, France on April 6th, 2014, as a satellite event of the 17th European Joint Conferences on Theory and Practice of Software (ETAPS'14).\n  SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Synthesis problems for such parameters arise for real-time, hybrid or probabilistic systems in a large variety applica","authors_text":"CNRS, \\'Etienne Andr\\'e (Universit\\'e Paris 13, France), Goran Frehse (Verimag, Grenoble, LIPN, Sorbonne Paris Cit\\'e, Villetaneuse","cross_cats":["cs.FL","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-03-31T00:31:31Z","title":"Proceedings 1st International Workshop on Synthesis of Continuous Parameters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7841","kind":"arxiv","version":2},"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:a7411149246bb06e501ff463425cdd7bb868d8455192b2646049f5076d782729","target":"record","created_at":"2026-05-18T02:54:39Z","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":"bd8b0ddfa828e1f2b155333a557d1877d4018cd27459d7db69698e7c583c6a54","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-03-31T00:31:31Z","title_canon_sha256":"b51135608284a6798b0ee2ed2b11ee38bc5ec8483ee78c0e32ef8b89c6b10141"},"schema_version":"1.0","source":{"id":"1403.7841","kind":"arxiv","version":2}},"canonical_sha256":"a2200d26e1845cf046add165d87c7b6e76fb0b930970791e56c86b42c9920454","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2200d26e1845cf046add165d87c7b6e76fb0b930970791e56c86b42c9920454","first_computed_at":"2026-05-18T02:54:39.127502Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:54:39.127502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HCQ9gC5hMaO8mT/rsPtVbNXsP3NH4o16hU+7idyiH7crfmALhxmjYkAV4/QA4aAyT4MVQZdpyqvOL0TlNg8oCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:54:39.128095Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.7841","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a7411149246bb06e501ff463425cdd7bb868d8455192b2646049f5076d782729","sha256:3935f6f65fa2f90503b304df3c14b53e816e92097fc4d476bda630aaffc8a621"],"state_sha256":"0a440c4eeb6d54568e1f40f8d167002ba029a477bdca31f6453c7f592d74e0cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TbVQH9nHlTi8BAkfsPvz4ZluMvYCP65eyCJfar37YLcARY/OgxqXWr2thLnCYPJQv4wHbvUAT+pXjoDF2Vd4DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T23:05:58.466391Z","bundle_sha256":"be2ad1ab8b392169419aea3072e9548f2c07a648fc448cf1587ae24cc1f49138"}}