{"id":"https://openalex.org/W186920959","doi":"https://doi.org/10.1007/978-3-642-40793-2_27","title":"DFTCalc: A Tool for Efficient Fault Tree Analysis","display_name":"DFTCalc: A Tool for Efficient Fault Tree Analysis","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W186920959","doi":"https://doi.org/10.1007/978-3-642-40793-2_27","mag":"186920959"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-40793-2_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-40793-2_27","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"https://research.utwente.nl/en/publications/583aa32e-5c11-4e1b-b216-58e6838c9020","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007876071","display_name":"Florian Arnold","orcid":"https://orcid.org/0000-0001-5824-9923"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Florian Arnold","raw_affiliation_strings":["Department of Computer Science, University of Twente, The Netherlands","Department of Computer Science, University of Twente, \u00a0, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Computer Science, University of Twente, \u00a0, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068073260","display_name":"Axel Belinfante","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Axel Belinfante","raw_affiliation_strings":["Department of Computer Science, University of Twente, The Netherlands","Department of Computer Science, University of Twente, \u00a0, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Computer Science, University of Twente, \u00a0, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001743442","display_name":"Freark van der Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Freark Van der Berg","raw_affiliation_strings":["Department of Computer Science, University of Twente, The Netherlands","Department of Computer Science, University of Twente, \u00a0, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Computer Science, University of Twente, \u00a0, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066736648","display_name":"Dennis Guck","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dennis Guck","raw_affiliation_strings":["Department of Computer Science, University of Twente, The Netherlands","Department of Computer Science, University of Twente, \u00a0, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Computer Science, University of Twente, \u00a0, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["Department of Computer Science, University of Twente, The Netherlands","Department of Computer Science, University of Twente, \u00a0, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Department of Computer Science, University of Twente, \u00a0, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5007876071"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":7.0,"has_fulltext":true,"cited_by_count":64,"citation_normalized_percentile":{"value":0.97584541,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"293","last_page":"301"},"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.9998000264167786,"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.9998000264167786,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/fault-tree-analysis","display_name":"Fault tree analysis","score":0.8960591554641724},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8601871132850647},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8126710653305054},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5382639169692993},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5204099416732788},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.49493855237960815},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4755037724971771},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.452282190322876},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4457034170627594},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4437108337879181},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.43598711490631104},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4137658178806305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2826981544494629},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.2542193830013275},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2318950891494751},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17203107476234436},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09332409501075745},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09187906980514526}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.8960591554641724},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8601871132850647},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8126710653305054},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5382639169692993},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5204099416732788},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.49493855237960815},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4755037724971771},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.452282190322876},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4457034170627594},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4437108337879181},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.43598711490631104},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4137658178806305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2826981544494629},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2542193830013275},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2318950891494751},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17203107476234436},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09332409501075745},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09187906980514526},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-40793-2_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-40793-2_27","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/583aa32e-5c11-4e1b-b216-58e6838c9020","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/583aa32e-5c11-4e1b-b216-58e6838c9020","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Arnold, F, Belinfante, A, van der Berg, F, Guck, D & Stoelinga, M 2013, DFTCalc : a tool for efficient fault tree analysis. in Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Lecture Notes in Computer Science, vol. 8153, Springer, Berlin, pp. 293-301, 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, Toulouse, France, 24/09/13. https://doi.org/10.1007/978-3-642-40793-2_27","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/583aa32e-5c11-4e1b-b216-58e6838c9020","is_oa":false,"landing_page_url":"http://eprints.eemcs.utwente.nl/secure2/23820/02/safecomp.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/583aa32e-5c11-4e1b-b216-58e6838c9020","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/583aa32e-5c11-4e1b-b216-58e6838c9020","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Arnold, F, Belinfante, A, van der Berg, F, Guck, D & Stoelinga, M 2013, DFTCalc : a tool for efficient fault tree analysis. in Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Lecture Notes in Computer Science, vol. 8153, Springer, Berlin, pp. 293-301, 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, Toulouse, France, 24/09/13. https://doi.org/10.1007/978-3-642-40793-2_27","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W52681254","https://openalex.org/W125598877","https://openalex.org/W186920959","https://openalex.org/W1498432697","https://openalex.org/W1504080271","https://openalex.org/W1556533084","https://openalex.org/W1842017652","https://openalex.org/W1867089059","https://openalex.org/W2110411539","https://openalex.org/W2115244834","https://openalex.org/W2125697860","https://openalex.org/W2134076633","https://openalex.org/W2141881497","https://openalex.org/W2142486837","https://openalex.org/W2142560173","https://openalex.org/W2152342144","https://openalex.org/W2164351502","https://openalex.org/W2316039394","https://openalex.org/W2410243683","https://openalex.org/W2810491896","https://openalex.org/W2914748339","https://openalex.org/W3134428397"],"related_works":["https://openalex.org/W2583115580","https://openalex.org/W2391543021","https://openalex.org/W2769888378","https://openalex.org/W2057373567","https://openalex.org/W1572578464","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2182066955","https://openalex.org/W2162351207"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}