{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:QZW6VSCMLIGLEKC4VYTA2BCKMX","short_pith_number":"pith:QZW6VSCM","schema_version":"1.0","canonical_sha256":"866deac84c5a0cb2285cae260d044a65c5f580b864906e30221daf5cdab12cc0","source":{"kind":"arxiv","id":"1903.04771","version":1},"attestation_state":"computed","paper":{"title":"Perpetual Assurances for Self-Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Carlo Ghezzi, Danny Weyns (KU Leuven), DiverSe), Giordano Tamburrelli (VU), Javier C\\'amara (CMU), Jean-Marc J\\'ez\\'equel (UNIV-RENNES, Lars Grunske, Marco Mori, Nelly Bencomo, Paola Inverardi (UNIVAQ), Radu Calinescu, Raffaela Mirandola, Sam Malek (UCI), Vincenzo Grassi","submitted_at":"2019-03-12T08:04:01Z","abstract_excerpt":"Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a bac"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1903.04771","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-12T08:04:01Z","cross_cats_sorted":[],"title_canon_sha256":"275b5453caa55f91664e59fc86b71c5291c5adf4c173863e5fa8c4bf77cac948","abstract_canon_sha256":"4f6956c742272c1f45d740bfe7f812a0b9381727c41280783741537ef088584b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:28.758334Z","signature_b64":"XHzxQartKVETQIHJUQQAijhBG8yAPhJyn860HZwUP6MnIp3HxkRYnp/w98OJZcD44+DWYfH4Uf52COY9OIiGCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"866deac84c5a0cb2285cae260d044a65c5f580b864906e30221daf5cdab12cc0","last_reissued_at":"2026-05-17T23:51:28.757869Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:28.757869Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Perpetual Assurances for Self-Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Carlo Ghezzi, Danny Weyns (KU Leuven), DiverSe), Giordano Tamburrelli (VU), Javier C\\'amara (CMU), Jean-Marc J\\'ez\\'equel (UNIV-RENNES, Lars Grunske, Marco Mori, Nelly Bencomo, Paola Inverardi (UNIVAQ), Radu Calinescu, Raffaela Mirandola, Sam Malek (UCI), Vincenzo Grassi","submitted_at":"2019-03-12T08:04:01Z","abstract_excerpt":"Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a bac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04771","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1903.04771","created_at":"2026-05-17T23:51:28.757938+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.04771v1","created_at":"2026-05-17T23:51:28.757938+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04771","created_at":"2026-05-17T23:51:28.757938+00:00"},{"alias_kind":"pith_short_12","alias_value":"QZW6VSCMLIGL","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_16","alias_value":"QZW6VSCMLIGLEKC4","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_8","alias_value":"QZW6VSCM","created_at":"2026-05-18T12:33:27.125529+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX","json":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX.json","graph_json":"https://pith.science/api/pith-number/QZW6VSCMLIGLEKC4VYTA2BCKMX/graph.json","events_json":"https://pith.science/api/pith-number/QZW6VSCMLIGLEKC4VYTA2BCKMX/events.json","paper":"https://pith.science/paper/QZW6VSCM"},"agent_actions":{"view_html":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX","download_json":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX.json","view_paper":"https://pith.science/paper/QZW6VSCM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.04771&json=true","fetch_graph":"https://pith.science/api/pith-number/QZW6VSCMLIGLEKC4VYTA2BCKMX/graph.json","fetch_events":"https://pith.science/api/pith-number/QZW6VSCMLIGLEKC4VYTA2BCKMX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX/action/storage_attestation","attest_author":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX/action/author_attestation","sign_citation":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX/action/citation_signature","submit_replication":"https://pith.science/pith/QZW6VSCMLIGLEKC4VYTA2BCKMX/action/replication_record"}},"created_at":"2026-05-17T23:51:28.757938+00:00","updated_at":"2026-05-17T23:51:28.757938+00:00"}