{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:RF7RIO3FEL7HT55PJP5XCSVXAI","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":"d3f9720cf6ff3226feed55624e5ec1b60af289fcb7d7600ce3472d988f1ddb61","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-03T14:36:58Z","title_canon_sha256":"83eeeb9af96c8a71e8224fd53982be17bb3dec21067ea301f3447b79087497b0"},"schema_version":"1.0","source":{"id":"1804.00994","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.00994","created_at":"2026-05-18T00:19:31Z"},{"alias_kind":"arxiv_version","alias_value":"1804.00994v1","created_at":"2026-05-18T00:19:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.00994","created_at":"2026-05-18T00:19:31Z"},{"alias_kind":"pith_short_12","alias_value":"RF7RIO3FEL7H","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RF7RIO3FEL7HT55P","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RF7RIO3F","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:8a6661179f82d5d6ae7961e21177c0dfebd5b6acec72f76b4569cc78933bd4eb","target":"graph","created_at":"2026-05-18T00:19:31Z","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 assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context and system variations or to predict which one will be actually used. Both cases are not viable in practice since there are too many possibilities to foresee. Moreover, the knowledge required to fully provide the assurance for self-adaptive systems is only available at runtime and therefore difficult to predict at early development stages. Despite all the efforts on assurances for self-adaptive systems at design or runtime, there is still","authors_text":"(2) Humboldt-Universit\\\"at zu Berlin, (3) Chalmers | University of Gothenburg, Arthur Rodrigues (1), Berlin, Bras\\'ilia, Brazil, DF, Gena\\'ina Nunes Rodrigues (1), Germany, Gothenburg, Patrizio Pelliccione (3) ((1) University of Bras\\'ilia, Ricardo Diniz Caldas (1), Sweden), Thomas Vogel (2)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-03T14:36:58Z","title":"A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.00994","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:9db2112d2c4f10df537f54fc04e1ac10f27b0e06a5f1282f44f0ab6414e1f350","target":"record","created_at":"2026-05-18T00:19:31Z","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":"d3f9720cf6ff3226feed55624e5ec1b60af289fcb7d7600ce3472d988f1ddb61","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-03T14:36:58Z","title_canon_sha256":"83eeeb9af96c8a71e8224fd53982be17bb3dec21067ea301f3447b79087497b0"},"schema_version":"1.0","source":{"id":"1804.00994","kind":"arxiv","version":1}},"canonical_sha256":"897f143b6522fe79f7af4bfb714ab7022a971ca9053b5f421d4b8f4f65fee407","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"897f143b6522fe79f7af4bfb714ab7022a971ca9053b5f421d4b8f4f65fee407","first_computed_at":"2026-05-18T00:19:31.596032Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:31.596032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VBpqyWUUv1PPIKfHhiqXsdo4c8H0O6fTNNcBvPNFvnVPH/YqXnoWXI8qCrQskGRHuNBHtTqIlCUpuZHj8WV6AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:31.596431Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.00994","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9db2112d2c4f10df537f54fc04e1ac10f27b0e06a5f1282f44f0ab6414e1f350","sha256:8a6661179f82d5d6ae7961e21177c0dfebd5b6acec72f76b4569cc78933bd4eb"],"state_sha256":"ddbcc8e55f56c90e0a8df37362a7ec3be289db7744bd4aaffd3cedd212ee86ed"}