{"id":"https://openalex.org/W235792349","doi":"https://doi.org/10.3217/jucs-005-10-0668","title":"Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification","display_name":"Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W235792349","doi":"https://doi.org/10.3217/jucs-005-10-0668","mag":"235792349"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.100.3898","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.3898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_5_10/transformational_approaches_to_the/Gaertner_F_C.pdf","raw_type":"text"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.3217/jucs-005-10-0668","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110235755","display_name":"Felix G\u00e4rtner","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Felix C. G\u00e4rtner","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110235755"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.0017094,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"5","issue":null,"first_page":"668","last_page":"692"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9564999938011169,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9564999938011169,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9386000037193298,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9067529439926147},{"id":"https://openalex.org/keywords/transformational-leadership","display_name":"Transformational leadership","score":0.5062498450279236},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.49136462807655334},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45867452025413513},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4276983141899109}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9067529439926147},{"id":"https://openalex.org/C38775462","wikidata":"https://www.wikidata.org/wiki/Q1569376","display_name":"Transformational leadership","level":2,"score":0.5062498450279236},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.49136462807655334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45867452025413513},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4276983141899109},{"id":"https://openalex.org/C39549134","wikidata":"https://www.wikidata.org/wiki/Q133080","display_name":"Public relations","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.100.3898","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.3898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_5_10/transformational_approaches_to_the/Gaertner_F_C.pdf","raw_type":"text"},{"id":"doi:10.3217/jucs-005-10-0668","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-005-10-0668","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:235792349","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jucs/jucs5.html#Gartner99","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.3217/jucs-005-10-0668","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-005-10-0668","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1996431954","https://openalex.org/W2914206182","https://openalex.org/W2165810979","https://openalex.org/W1729888041","https://openalex.org/W2063163522","https://openalex.org/W1593457833","https://openalex.org/W2015086350","https://openalex.org/W2013454010","https://openalex.org/W1974519802","https://openalex.org/W2141355401","https://openalex.org/W2548080490","https://openalex.org/W1857327297","https://openalex.org/W1495119494","https://openalex.org/W2127249717","https://openalex.org/W1581526118","https://openalex.org/W2099648625","https://openalex.org/W308035156","https://openalex.org/W2161542207","https://openalex.org/W1512563586","https://openalex.org/W1480856612"],"abstract_inverted_index":{"Proving":[0],"that":[1,36,165],"a":[2,15,23,33,81,114],"program":[3,121],"suits":[4],"its":[5],"specification":[6,124],"and":[7,28,98],"thus":[8],"can":[9,44],"be":[10],"called":[11],"correct":[12,43],"has":[13,69],"been":[14,41,70],"research":[16],"subject":[17],"for":[18],"many":[19],"years":[20],"resulting":[21],"in":[22,51,77,101],"wide":[24,129],"range":[25,130],"of":[26,61,67,80,84,87,116,131,144,171,177],"methods":[27,133],"formalisms.":[29],"However,":[30],"it":[31],"is":[32,148],"common":[34],"experience":[35],"even":[37],"systems":[38,94,137],"which":[39,138],"have":[40],"proven":[42],"fail":[45],"due":[46],"to":[47,72,91,108,134,149,155],"physical":[48],"faults":[49,97],"occurring":[50],"the":[52,65,78,88,120,123,128,161,169],"system.":[53],"As":[54],"computer":[55,178],"programs":[56],"control":[57],"an":[58],"increasing":[59],"part":[60],"todays":[62],"critical":[63],"infrastructure,":[64],"notion":[66,115],"correctness":[68,76],"extended":[71],"fault":[73],"tolerance,":[74],"meaning":[75],"presence":[79],"certain":[82],"amount":[83],"faulty":[85,99],"behavior":[86,100],"environment.":[89],"Formalisms":[90],"verify":[92,135],"fault-tolerant":[93,136],"must":[95],"model":[96],"some":[102,142],"form":[103,143],"or":[104,122],"another.":[105],"Common":[106],"ways":[107],"do":[109],"this":[110,166,174],"are":[111,139],"based":[112,140],"on":[113,141],"transformation":[117],"either":[118],"at":[119],"level.":[125],"We":[126,163],"survey":[127],"formal":[132],"transformation.":[145],"Our":[146],"aim":[147],"classify":[150],"these":[151],"methods,":[152],"relate":[153],"them":[154],"one":[156],"another":[157],"and,":[158],"thus,":[159],"structure":[160],"area.":[162],"hope":[164],"might":[167],"faciliate":[168],"involvement":[170],"researchers":[172],"into":[173],"interesting":[175],"field":[176],"science.":[179]},"counts_by_year":[{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}