{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XVHS46DTEJ7GJ7LCAGOPZG6MC5","short_pith_number":"pith:XVHS46DT","canonical_record":{"source":{"id":"1211.5738","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-11-25T07:56:54Z","cross_cats_sorted":[],"title_canon_sha256":"b221ef887ab2a480d471c732f8eaba12694905d150e8c92680a19f77423c9426","abstract_canon_sha256":"e9e07cb72ae0891b2fe6c3ab5ac70bf43852ba604ca3c3fb407ce5103033459c"},"schema_version":"1.0"},"canonical_sha256":"bd4f2e7873227e64fd62019cfc9bcc1753dd104aca0659b1b962b59f224973a9","source":{"kind":"arxiv","id":"1211.5738","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.5738","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1211.5738v1","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.5738","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"XVHS46DTEJ7G","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XVHS46DTEJ7GJ7LC","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XVHS46DT","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XVHS46DTEJ7GJ7LCAGOPZG6MC5","target":"record","payload":{"canonical_record":{"source":{"id":"1211.5738","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-11-25T07:56:54Z","cross_cats_sorted":[],"title_canon_sha256":"b221ef887ab2a480d471c732f8eaba12694905d150e8c92680a19f77423c9426","abstract_canon_sha256":"e9e07cb72ae0891b2fe6c3ab5ac70bf43852ba604ca3c3fb407ce5103033459c"},"schema_version":"1.0"},"canonical_sha256":"bd4f2e7873227e64fd62019cfc9bcc1753dd104aca0659b1b962b59f224973a9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:40:02.094110Z","signature_b64":"k1tY5xw8i06r7cMaz6E9Uq24nCxdSaMM2GRZDgu6Ef6F/ZFy3XrDLtb8NpIO0W5IDKaj7Q2A0p7zobTO6ZjODg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd4f2e7873227e64fd62019cfc9bcc1753dd104aca0659b1b962b59f224973a9","last_reissued_at":"2026-05-18T03:40:02.093412Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:40:02.093412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.5738","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-18T03:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2uNZBIHtW+3oufslnIgmwCFCSKKh8t5iMyoDYGMYkdYPH3WxVRp76YYSIJ7Reh9PmWL+cYHwXSznYt6jAMKtAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T00:12:14.384876Z"},"content_sha256":"0c4cac924257691f8a0ae37f76af379bc602e07910501e0544f76868051edfb6","schema_version":"1.0","event_id":"sha256:0c4cac924257691f8a0ae37f76af379bc602e07910501e0544f76868051edfb6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XVHS46DTEJ7GJ7LCAGOPZG6MC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling the resilience of large and evolving systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PF","authors_text":"Andrea Bondavalli (University of Florence), Karama Kanoun (LAAS), Mohamed Kaaniche (LAAS), Paolo Lollini (University of Florence)","submitted_at":"2012-11-25T07:56:54Z","abstract_excerpt":"This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.5738","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-18T03:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yrXUtDtgXV+woguA2lcb1TqzPzLMAfTrsaPrMjEdwDGhDnlrjq8NI9R1LNtoYpgHMatZWxBEp1Y9dibt8IrwAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T00:12:14.385246Z"},"content_sha256":"c25630cc5d352dc54f30be7fbe23ef42e9999494ad60a4f7386616468e80ba90","schema_version":"1.0","event_id":"sha256:c25630cc5d352dc54f30be7fbe23ef42e9999494ad60a4f7386616468e80ba90"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5/bundle.json","state_url":"https://pith.science/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5/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-30T00:12:14Z","links":{"resolver":"https://pith.science/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5","bundle":"https://pith.science/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5/bundle.json","state":"https://pith.science/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XVHS46DTEJ7GJ7LCAGOPZG6MC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XVHS46DTEJ7GJ7LCAGOPZG6MC5","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":"e9e07cb72ae0891b2fe6c3ab5ac70bf43852ba604ca3c3fb407ce5103033459c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-11-25T07:56:54Z","title_canon_sha256":"b221ef887ab2a480d471c732f8eaba12694905d150e8c92680a19f77423c9426"},"schema_version":"1.0","source":{"id":"1211.5738","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.5738","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1211.5738v1","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.5738","created_at":"2026-05-18T03:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"XVHS46DTEJ7G","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XVHS46DTEJ7GJ7LC","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XVHS46DT","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:c25630cc5d352dc54f30be7fbe23ef42e9999494ad60a4f7386616468e80ba90","target":"graph","created_at":"2026-05-18T03:40:02Z","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 summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability ","authors_text":"Andrea Bondavalli (University of Florence), Karama Kanoun (LAAS), Mohamed Kaaniche (LAAS), Paolo Lollini (University of Florence)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-11-25T07:56:54Z","title":"Modeling the resilience of large and evolving systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.5738","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:0c4cac924257691f8a0ae37f76af379bc602e07910501e0544f76868051edfb6","target":"record","created_at":"2026-05-18T03:40:02Z","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":"e9e07cb72ae0891b2fe6c3ab5ac70bf43852ba604ca3c3fb407ce5103033459c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-11-25T07:56:54Z","title_canon_sha256":"b221ef887ab2a480d471c732f8eaba12694905d150e8c92680a19f77423c9426"},"schema_version":"1.0","source":{"id":"1211.5738","kind":"arxiv","version":1}},"canonical_sha256":"bd4f2e7873227e64fd62019cfc9bcc1753dd104aca0659b1b962b59f224973a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd4f2e7873227e64fd62019cfc9bcc1753dd104aca0659b1b962b59f224973a9","first_computed_at":"2026-05-18T03:40:02.093412Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:40:02.093412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k1tY5xw8i06r7cMaz6E9Uq24nCxdSaMM2GRZDgu6Ef6F/ZFy3XrDLtb8NpIO0W5IDKaj7Q2A0p7zobTO6ZjODg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:40:02.094110Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.5738","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c4cac924257691f8a0ae37f76af379bc602e07910501e0544f76868051edfb6","sha256:c25630cc5d352dc54f30be7fbe23ef42e9999494ad60a4f7386616468e80ba90"],"state_sha256":"a76240ee04fb3f2b780e8c3903d389de9ba9fc5e9a31332777823b6b6d4d0aaf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K+VfEYkwvUrXp4wCkzclDgGla2NVLwLUFatA/tsGgUwlaxT+Pirn+6JKnQCsl1JAImtafU6pIE0XC0xAVKqMCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T00:12:14.387429Z","bundle_sha256":"c60aaef37587a2c36ef3dfe7498930fb732c1008fa912e2030dcf65f918e7f58"}}