{"id":"https://openalex.org/W2603330110","doi":"https://doi.org/10.1007/s00165-017-0426-2","title":"Simulation relations for fault-tolerance","display_name":"Simulation relations for fault-tolerance","publication_year":2017,"publication_date":"2017-03-24","ids":{"openalex":"https://openalex.org/W2603330110","doi":"https://doi.org/10.1007/s00165-017-0426-2","mag":"2603330110"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-017-0426-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0426-2","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060135718","display_name":"Ramiro Demasi","orcid":"https://orcid.org/0000-0003-1651-624X"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ramiro Demasi","raw_affiliation_strings":["Fondazione Bruno Kessler, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046933752","display_name":"Pablo F. Castro","orcid":"https://orcid.org/0000-0002-5835-4333"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Pablo F. Castro","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina","Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, Ruta Nac. No. 36 Km. 601, 5800, R\u00edo Cuarto, C\u00f3rdoba, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina","institution_ids":["https://openalex.org/I151201029"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, Ruta Nac. No. 36 Km. 601, 5800, R\u00edo Cuarto, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I15366983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114017681","display_name":"T. S. E. Maibaum","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Thomas S. E. Maibaum","raw_affiliation_strings":["Department of Computing and Software, McMaster University, Hamilton, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing and Software, McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016401353","display_name":"Nazareno Aguirre","orcid":"https://orcid.org/0000-0003-0532-5296"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Nazareno Aguirre","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina","Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, Ruta Nac. No. 36 Km. 601, 5800, R\u00edo Cuarto, C\u00f3rdoba, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina","institution_ids":["https://openalex.org/I151201029"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, Ruta Nac. No. 36 Km. 601, 5800, R\u00edo Cuarto, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I15366983"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2393,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.54284709,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"29","issue":"6","first_page":"1013","last_page":"1050"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.933633029460907},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.7914044857025146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7503459453582764},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.6373291015625},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5719991326332092},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5242831110954285},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5050681233406067},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.49026039242744446},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4426649808883667},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4219476878643036},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4158726930618286},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38488417863845825},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.321633517742157},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.11307182908058167},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10024631023406982}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.933633029460907},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.7914044857025146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7503459453582764},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.6373291015625},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5719991326332092},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5242831110954285},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5050681233406067},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.49026039242744446},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4426649808883667},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4219476878643036},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4158726930618286},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38488417863845825},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.321633517742157},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.11307182908058167},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10024631023406982},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-017-0426-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0426-2","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:ri.conicet.gov.ar:11336/69682","is_oa":false,"landing_page_url":"http://hdl.handle.net/11336/69682","pdf_url":null,"source":{"id":"https://openalex.org/S4306402455","display_name":"CONICET Digital (CONICET)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148385","host_organization_name":"Biomedicine Research Institute of Buenos Aires - CONICET - Partner Institute of the Max Planck Society","host_organization_lineage":["https://openalex.org/I4210148385"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G2292158669","display_name":null,"funder_award_id":"PICT-2013-0080","funder_id":"https://openalex.org/F4320337954","funder_display_name":"Fondo para la Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G507551453","display_name":null,"funder_award_id":"PICT-2012-1298","funder_id":"https://openalex.org/F4320337954","funder_display_name":"Fondo para la Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"}],"funders":[{"id":"https://openalex.org/F4320337954","display_name":"Fondo para la Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","ror":"https://ror.org/03stxzb56"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W26992193","https://openalex.org/W34395899","https://openalex.org/W64759968","https://openalex.org/W92219756","https://openalex.org/W598256739","https://openalex.org/W1489967307","https://openalex.org/W1498432697","https://openalex.org/W1507873625","https://openalex.org/W1510595519","https://openalex.org/W1534292130","https://openalex.org/W1541721537","https://openalex.org/W1556900989","https://openalex.org/W1561550178","https://openalex.org/W1587725321","https://openalex.org/W1594100802","https://openalex.org/W1606900254","https://openalex.org/W1666015432","https://openalex.org/W1729888041","https://openalex.org/W1964167160","https://openalex.org/W2000766861","https://openalex.org/W2002128397","https://openalex.org/W2004306067","https://openalex.org/W2005952505","https://openalex.org/W2015688007","https://openalex.org/W2016206563","https://openalex.org/W2039065451","https://openalex.org/W2045036484","https://openalex.org/W2084608278","https://openalex.org/W2090216527","https://openalex.org/W2095425626","https://openalex.org/W2098505698","https://openalex.org/W2098817244","https://openalex.org/W2103812909","https://openalex.org/W2103953153","https://openalex.org/W2104978174","https://openalex.org/W2106093889","https://openalex.org/W2137164720","https://openalex.org/W2150276894","https://openalex.org/W2157118812","https://openalex.org/W2158215228","https://openalex.org/W2160329712","https://openalex.org/W2165810979","https://openalex.org/W2169624732","https://openalex.org/W2284871241","https://openalex.org/W2340735175","https://openalex.org/W2913276817","https://openalex.org/W3137092842","https://openalex.org/W4231340621","https://openalex.org/W4239389894","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W2051500795","https://openalex.org/W1986800855","https://openalex.org/W2278517150","https://openalex.org/W2355966237","https://openalex.org/W2032374522","https://openalex.org/W2742111403","https://openalex.org/W2083209667","https://openalex.org/W4300923837","https://openalex.org/W2082366402","https://openalex.org/W4234532445"],"abstract_inverted_index":{"Abstract":[0],"We":[1,123,164],"present":[2],"a":[3,32,50,59,84,132],"formal":[4,170],"characterization":[5,70],"of":[6,9,19,21,31,52,65,96,101,115,128,135,161,168,178],"fault-tolerant":[7,60],"behaviors":[8],"computing":[10],"systems":[11,119],"via":[12],"simulation":[13,23,67,102,129],"relations.":[14],"This":[15],"formalization":[16],"makes":[17],"use":[18,100],"variations":[20,64],"standard":[22,66,176],"relations":[24,103],"in":[25,77,87,104,139],"order":[26],"to":[27,73,81,93,109,175],"compare":[28],"the":[29,44,53,56,94,99,112,159,166],"executions":[30,38],"system":[33,54,85],"that":[34,83,125],"exhibits":[35],"faults":[36,41],"with":[37],"where":[39],"no":[40],"occur;":[42],"intuitively,":[43],"latter":[45],"can":[46],"be":[47],"understood":[48],"as":[49,58],"specification":[51],"and":[55,147],"former":[57],"implementation.":[61],"By":[62],"employing":[63],"algorithms,":[68],"our":[69],"enables":[71],"us":[72,108],"algorithmically":[74],"check":[75],"fault-tolerance":[76,116,144,151,157],"polynomial":[78],"time,":[79],"i.e.,":[80],"verify":[82],"behaves":[86],"an":[88],"acceptable":[89],"way":[90],"even":[91],"subject":[92],"occurrence":[95],"faults.":[97],"Furthermore,":[98],"this":[105,169],"setting":[106],"allows":[107],"distinguish":[110],"between":[111],"different":[113],"levels":[114],"exhibited":[117],"by":[118],"during":[120],"their":[121],"execution.":[122],"prove":[124],"each":[126],"kind":[127],"relation":[130],"preserves":[131,145,152],"corresponding":[133],"class":[134],"temporal":[136],"properties":[137],"expressed":[138],"CTL;":[140],"more":[141],"precisely,":[142],"masking":[143],"liveness":[146,153],"safety":[148,162],"properties,":[149,154],"nonmasking":[150],"while":[155],"failsafe":[156],"guarantees":[158],"preservation":[160],"properties.":[163],"illustrate":[165],"suitability":[167],"framework":[171],"through":[172],"its":[173],"application":[174],"examples":[177],"fault-tolerance.":[179]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}