{"id":"https://openalex.org/W2620928019","doi":"https://doi.org/10.1109/tii.2017.2710316","title":"Fast Dynamic Fault Tree Analysis by Model Checking Techniques","display_name":"Fast Dynamic Fault Tree Analysis by Model Checking Techniques","publication_year":2017,"publication_date":"2017-06-01","ids":{"openalex":"https://openalex.org/W2620928019","doi":"https://doi.org/10.1109/tii.2017.2710316","mag":"2620928019"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2017.2710316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2017.2710316","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","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/A5059396331","display_name":"Matthias Volk","orcid":"https://orcid.org/0000-0002-3810-4185"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Volk","raw_affiliation_strings":["RWTH Aachen University, 52056 Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3810-4185","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, 52056 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["RWTH Aachen University, 52056 Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0978-8466","affiliations":[{"raw_affiliation_string":"RWTH Aachen University, 52056 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["RWTH Aachen University, 52056 Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, 52056 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":10.6291,"has_fulltext":false,"cited_by_count":120,"citation_normalized_percentile":{"value":0.98800666,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"14","issue":"1","first_page":"370","last_page":"379"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.702004611492157},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.6521416902542114},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6357802152633667},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6319608092308044},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5982574224472046},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5734140872955322},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.511328399181366},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49265748262405396},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4844115376472473},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48297467827796936},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44823190569877625},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.41062474250793457},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3409140706062317},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2651948928833008}],"concepts":[{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.702004611492157},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.6521416902542114},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6357802152633667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6319608092308044},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5982574224472046},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5734140872955322},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.511328399181366},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49265748262405396},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4844115376472473},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48297467827796936},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44823190569877625},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.41062474250793457},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3409140706062317},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2651948928833008},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tii.2017.2710316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2017.2710316","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},{"id":"pmh:oai:publications.rwth-aachen.de:713138","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/713138","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE transactions on industrial informatics 14(1), 370-379 (2018). doi:10.1109/TII.2017.2710316","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W186920959","https://openalex.org/W597526143","https://openalex.org/W1480909796","https://openalex.org/W1488686801","https://openalex.org/W1498432697","https://openalex.org/W1516455464","https://openalex.org/W1826950235","https://openalex.org/W1893849901","https://openalex.org/W2000540645","https://openalex.org/W2033546932","https://openalex.org/W2035216564","https://openalex.org/W2067858102","https://openalex.org/W2070874614","https://openalex.org/W2074897389","https://openalex.org/W2088119674","https://openalex.org/W2096283629","https://openalex.org/W2106132160","https://openalex.org/W2110411539","https://openalex.org/W2111540344","https://openalex.org/W2115244834","https://openalex.org/W2119460326","https://openalex.org/W2121337044","https://openalex.org/W2135209232","https://openalex.org/W2149690743","https://openalex.org/W2163234015","https://openalex.org/W2170449522","https://openalex.org/W2192694265","https://openalex.org/W2507973694","https://openalex.org/W2528343907","https://openalex.org/W2593267253","https://openalex.org/W2597157994","https://openalex.org/W2602829809","https://openalex.org/W2994557443","https://openalex.org/W6734650674"],"related_works":["https://openalex.org/W1973954352","https://openalex.org/W1573151257","https://openalex.org/W1545972740","https://openalex.org/W1523442991","https://openalex.org/W1965309410","https://openalex.org/W1868864221","https://openalex.org/W1791159949","https://openalex.org/W2906490148","https://openalex.org/W1546995467","https://openalex.org/W2804745155"],"abstract_inverted_index":{"This":[0,60,81],"paper":[1],"presents":[2],"a":[3,43,77],"new":[4],"state-space":[5,55,79],"generation":[6,56],"approach":[7,63],"for":[8],"dynamic":[9],"fault":[10],"trees":[11],"(DFTs)":[12],"that":[13,70],"exploits":[14],"several":[15],"successful":[16],"reduction":[17],"techniques":[18],"from":[19],"the":[20,32],"field":[21],"of":[22,45,50,54,88],"model":[23],"checking.":[24],"The":[25],"key":[26],"idea":[27],"is":[28,64,82],"to":[29,84],"aggressively":[30],"exploit":[31],"DFT":[33,74],"structure-detecting":[34],"symmetries,":[35],"spurious":[36],"nondeterminism,":[37],"and":[38,57],"don't":[39],"cares.":[40],"Benchmarks":[41],"show":[42],"gain":[44,90],"more":[46],"than":[47],"two":[48],"orders":[49],"magnitude":[51,89],"in":[52],"terms":[53],"analysis":[58],"time.":[59],"fast,":[61],"scalable":[62],"complemented":[65],"by":[66,76],"an":[67],"approximative":[68],"technique":[69],"determines":[71],"bounds":[72],"on":[73],"measures":[75],"partial":[78],"generation.":[80],"shown":[83],"yield":[85],"another":[86],"order":[87],"while":[91],"guaranteeing":[92],"tight":[93],"error":[94],"bounds.":[95]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":19},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":19},{"year":2018,"cited_by_count":14},{"year":2017,"cited_by_count":4}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}