{"id":"https://openalex.org/W4226371163","doi":"https://doi.org/10.1007/978-3-030-99524-9_22","title":"MaskD: A Tool for Measuring Masking Fault-Tolerance","display_name":"MaskD: A Tool for Measuring Masking Fault-Tolerance","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226371163","doi":"https://doi.org/10.1007/978-3-030-99524-9_22"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99524-9_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99524-9_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_22.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027805990","display_name":"Luciano Putruele","orcid":"https://orcid.org/0000-0002-3063-4704"},"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"]},{"id":"https://openalex.org/I4210152303","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Mendoza","ror":"https://ror.org/055wmc747","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4210152303","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Luciano Putruele","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Mendoza, Argentina","Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, C\u00f3rdoba, Argentina"],"raw_orcid":"https://orcid.org/0000-0002-3063-4704","affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Mendoza, Argentina","institution_ids":["https://openalex.org/I4210152303","https://openalex.org/I151201029"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I15366983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060135718","display_name":"Ramiro Demasi","orcid":"https://orcid.org/0000-0003-1651-624X"},"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/I166401450","display_name":"Universidad Nacional de C\u00f3rdoba","ror":"https://ror.org/056tb7j80","country_code":"AR","type":"education","lineage":["https://openalex.org/I166401450"]},{"id":"https://openalex.org/I4210152303","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Mendoza","ror":"https://ror.org/055wmc747","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4210152303","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Ramiro Demasi","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Mendoza, Argentina","Universidad Nacional de C\u00f3rdoba, FAMAF, C\u00f3rdoba, Argentina"],"raw_orcid":"https://orcid.org/0000-0003-1651-624X","affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Mendoza, Argentina","institution_ids":["https://openalex.org/I4210152303","https://openalex.org/I151201029"]},{"raw_affiliation_string":"Universidad Nacional de C\u00f3rdoba, FAMAF, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I166401450"]}]},{"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"]},{"id":"https://openalex.org/I4210152303","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Mendoza","ror":"https://ror.org/055wmc747","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4210152303","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Pablo F. Castro","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Mendoza, Argentina","Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, C\u00f3rdoba, Argentina"],"raw_orcid":"https://orcid.org/0000-0002-5835-4333","affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Mendoza, Argentina","institution_ids":["https://openalex.org/I4210152303","https://openalex.org/I151201029"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I15366983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059610025","display_name":"Pedro R. D\u2019Argenio","orcid":"https://orcid.org/0000-0002-8528-9215"},"institutions":[{"id":"https://openalex.org/I166401450","display_name":"Universidad Nacional de C\u00f3rdoba","ror":"https://ror.org/056tb7j80","country_code":"AR","type":"education","lineage":["https://openalex.org/I166401450"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AR","DE"],"is_corresponding":false,"raw_author_name":"Pedro R. D\u2019Argenio","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Universidad Nacional de C\u00f3rdoba, FAMAF, C\u00f3rdoba, Argentina"],"raw_orcid":"https://orcid.org/0000-0002-8528-9215","affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"Universidad Nacional de C\u00f3rdoba, FAMAF, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I166401450"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027805990"],"corresponding_institution_ids":["https://openalex.org/I151201029","https://openalex.org/I15366983","https://openalex.org/I4210152303"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.6148,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64122048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"396","last_page":"403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/masking","display_name":"Masking (illustration)","score":0.8592046499252319},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8488101959228516},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.7966023683547974},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.5540291666984558},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5305196642875671},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.48157572746276855},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.46651947498321533},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.41442641615867615},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36836087703704834},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3293881416320801},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.320929616689682},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.320488303899765},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.20748603343963623}],"concepts":[{"id":"https://openalex.org/C2777402240","wikidata":"https://www.wikidata.org/wiki/Q6783436","display_name":"Masking (illustration)","level":2,"score":0.8592046499252319},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8488101959228516},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.7966023683547974},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.5540291666984558},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5305196642875671},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.48157572746276855},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.46651947498321533},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.41442641615867615},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36836087703704834},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3293881416320801},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.320929616689682},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.320488303899765},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.20748603343963623},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-99524-9_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99524-9_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:rdu.unc.edu.ar:11086/546727","is_oa":true,"landing_page_url":"http://hdl.handle.net/11086/546727","pdf_url":null,"source":{"id":"https://openalex.org/S4306400373","display_name":"Repositorio Digital de la UNC (National University of Cordoba)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I166401450","host_organization_name":"Universidad Nacional de C\u00f3rdoba","host_organization_lineage":["https://openalex.org/I166401450"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"e-ISSN: 1611-3349","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99524-9_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99524-9_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6600000262260437,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5306399344","display_name":null,"funder_award_id":"PICT 2019","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G8101528259","display_name":null,"funder_award_id":"PICT-2017-3894","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"}],"funders":[{"id":"https://openalex.org/F4320334832","display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","ror":"https://ror.org/03stxzb56"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226371163.pdf","grobid_xml":"https://content.openalex.org/works/W4226371163.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W149299502","https://openalex.org/W986346366","https://openalex.org/W1503762954","https://openalex.org/W1586805319","https://openalex.org/W2015172530","https://openalex.org/W2043907610","https://openalex.org/W2085917651","https://openalex.org/W2090847457","https://openalex.org/W2092216144","https://openalex.org/W2094017389","https://openalex.org/W2094159214","https://openalex.org/W2095425626","https://openalex.org/W2603330110","https://openalex.org/W2901915715","https://openalex.org/W2913545290","https://openalex.org/W3137092842","https://openalex.org/W6931470945"],"related_works":["https://openalex.org/W2183032281","https://openalex.org/W2901915715","https://openalex.org/W2950848781","https://openalex.org/W4289293028","https://openalex.org/W2971479921","https://openalex.org/W3145923041","https://openalex.org/W2946906624","https://openalex.org/W841176518","https://openalex.org/W2101077206","https://openalex.org/W2151327182"],"abstract_inverted_index":{"Abstract":[0],"We":[1,111],"present":[2,112],",":[3],"an":[4],"automated":[5],"tool":[6,19,50,96,117],"designed":[7],"to":[8,34],"measure":[9],"the":[10,27,47,76,87,93,113,116],"level":[11,88],"of":[12,29,69,89,120],"fault-tolerance":[13,30,90],"provided":[14,91],"by":[15,46,67,92,118],"software":[16],"components.":[17],"The":[18,49,95],"focuses":[20],"on":[21,99,128],"measuring":[22],"masking":[23,77],"fault-tolerance,":[24],"that":[25,31,41],"is,":[26],"kind":[28],"allows":[32],"systems":[33],"mask":[35],"faults":[36],"in":[37,108],"such":[38],"a":[39,54,60,70,100,121],"way":[40],"they":[42],"cannot":[43],"be":[44,84],"observed":[45],"users.":[48],"takes":[51],"as":[52,59,86],"input":[53],"nominal":[55],"model":[56],"(which":[57],"serves":[58],"specification)":[61],"and":[62,73,102,124],"its":[63],"fault-tolerant":[64],"implementation,":[65],"described":[66],"means":[68,119],"guarded-command":[71],"language,":[72],"automatically":[74],"computes":[75],"distance":[78],"between":[79],"them.":[80],"This":[81],"value":[82],"can":[83],"understood":[85],"implementation.":[94],"is":[97],"based":[98],"sound":[101],"complete":[103],"framework":[104],"we":[105],"have":[106],"introduced":[107],"previous":[109],"work.":[110],"ideas":[114],"behind":[115],"simple":[122],"example":[123],"report":[125],"experiments":[126],"realized":[127],"more":[129],"complex":[130],"case":[131],"studies.":[132]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}