{"id":"https://openalex.org/W4404448310","doi":"https://doi.org/10.1007/978-3-031-75778-5_13","title":"Modular Criticality Analysis for\u00a0Dynamic Fault Trees","display_name":"Modular Criticality Analysis for\u00a0Dynamic Fault Trees","publication_year":2024,"publication_date":"2024-11-17","ids":{"openalex":"https://openalex.org/W4404448310","doi":"https://doi.org/10.1007/978-3-031-75778-5_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-75778-5_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-75778-5_13","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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/de578eb2-9823-4c64-ac9a-fdb09f102179","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019014285","display_name":"Falak Sher","orcid":"https://orcid.org/0000-0002-4429-0084"},"institutions":[{"id":"https://openalex.org/I4210147407","display_name":"EveryCat Health Foundation","ror":"https://ror.org/051kyr277","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210147407"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Falak Sher","raw_affiliation_strings":["DGB Technologies, Wyckoff, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DGB Technologies, Wyckoff, NJ, USA","institution_ids":["https://openalex.org/I4210147407"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I4210147407","display_name":"EveryCat Health Foundation","ror":"https://ror.org/051kyr277","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210147407"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["DGB Technologies, Wyckoff, NJ, USA","Department of Software Science, Radboud University, Nijmegen, The Netherlands","Formal Methods and Tools, University of Twente, Enschede, The Netherlands","University of Twente and Radboud University Nijmegen, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6793-8165","affiliations":[{"raw_affiliation_string":"DGB Technologies, Wyckoff, NJ, USA","institution_ids":["https://openalex.org/I4210147407"]},{"raw_affiliation_string":"Department of Software Science, Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"University of Twente and Radboud University Nijmegen, Enschede, The Netherlands","institution_ids":["https://openalex.org/I145872427","https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059396331","display_name":"Matthias Volk","orcid":"https://orcid.org/0000-0002-3810-4185"},"institutions":[{"id":"https://openalex.org/I4210147407","display_name":"EveryCat Health Foundation","ror":"https://ror.org/051kyr277","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210147407"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL","US"],"is_corresponding":true,"raw_author_name":"Matthias Volk","raw_affiliation_strings":["DGB Technologies, Wyckoff, NJ, USA","Eindhoven University of Technology, Eindhoven, The Netherlands","Formal System Analysis, Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-3810-4185","affiliations":[{"raw_affiliation_string":"DGB Technologies, Wyckoff, NJ, USA","institution_ids":["https://openalex.org/I4210147407"]},{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Formal System Analysis, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059396331"],"corresponding_institution_ids":["https://openalex.org/I4210147407","https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"274","last_page":"293"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973000288009644,"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/computer-science","display_name":"Computer science","score":0.8183808326721191},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.7194663882255554},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.6961542367935181},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6903800964355469},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2695186138153076},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1568225920200348},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06995832920074463},{"id":"https://openalex.org/keywords/nuclear-physics","display_name":"Nuclear physics","score":0.060751527547836304}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8183808326721191},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.7194663882255554},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.6961542367935181},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6903800964355469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2695186138153076},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1568225920200348},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06995832920074463},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","level":1,"score":0.060751527547836304},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-031-75778-5_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-75778-5_13","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/de578eb2-9823-4c64-ac9a-fdb09f102179","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/de578eb2-9823-4c64-ac9a-fdb09f102179","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":"Sher, F, Stoelinga, M & Volk, M 2024, Modular Criticality Analysis for\u00a0Dynamic Fault Trees. in N Jansen (ed.), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science, vol. 15262, Springer, Cham, pp. 274-293. https://doi.org/10.1007/978-3-031-75778-5_13","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/316737","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/316737","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/316737/316737.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Part of book or chapter of book"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/3eaa7c31-e432-4034-9b18-2a1580538395","is_oa":false,"landing_page_url":"https://www.scopus.com/pages/publications/85212098728","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"Sher, F, Stoelinga, M & Volk, M 2024, Modular Criticality Analysis for\u00a0Dynamic Fault Trees. in N Jansen, S Junges, B L Kaminski, C Matheja, T Noll, T Quatmann, M Stoelinga & M Volk (eds), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. vol. 3, Lecture Notes in Computer Science, vol. 15262, Springer, pp. 274-293. https://doi.org/10.1007/978-3-031-75778-5_13","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:pure.tue.nl:publications/3eaa7c31-e432-4034-9b18-2a1580538395","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/3eaa7c31-e432-4034-9b18-2a1580538395","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"Sher, F, Stoelinga, M & Volk, M 2024, Modular Criticality Analysis for\u00a0Dynamic Fault Trees. in N Jansen, S Junges, B L Kaminski, C Matheja, T Noll, T Quatmann, M Stoelinga & M Volk (eds), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. vol. 3, Lecture Notes in Computer Science, vol. 15262, Springer, pp. 274-293. https://doi.org/10.1007/978-3-031-75778-5_13","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/de578eb2-9823-4c64-ac9a-fdb09f102179","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/de578eb2-9823-4c64-ac9a-fdb09f102179","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":"Sher, F, Stoelinga, M & Volk, M 2024, Modular Criticality Analysis for\u00a0Dynamic Fault Trees. in N Jansen (ed.), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science, vol. 15262, Springer, Cham, pp. 274-293. https://doi.org/10.1007/978-3-031-75778-5_13","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[{"score":0.7900000214576721,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G2039356335","display_name":null,"funder_award_id":"1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4371345817","display_name":"PrimaVera: Predictive maintenance for Very effective asset management","funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W186920959","https://openalex.org/W1548884972","https://openalex.org/W1556765453","https://openalex.org/W1959001713","https://openalex.org/W1973018842","https://openalex.org/W2013781926","https://openalex.org/W2048972217","https://openalex.org/W2076921432","https://openalex.org/W2096283629","https://openalex.org/W2106132160","https://openalex.org/W2110411539","https://openalex.org/W2111540344","https://openalex.org/W2121337044","https://openalex.org/W2139969801","https://openalex.org/W2140425425","https://openalex.org/W2141881497","https://openalex.org/W2147607210","https://openalex.org/W2163234015","https://openalex.org/W2165421784","https://openalex.org/W2192694265","https://openalex.org/W2286756301","https://openalex.org/W2527393991","https://openalex.org/W2528343907","https://openalex.org/W2620928019","https://openalex.org/W2913541943","https://openalex.org/W3026374379","https://openalex.org/W3036251830","https://openalex.org/W3096292474","https://openalex.org/W3179132544","https://openalex.org/W4226304794","https://openalex.org/W4285126712","https://openalex.org/W4293177401","https://openalex.org/W4298347277","https://openalex.org/W4311413143","https://openalex.org/W4392910718","https://openalex.org/W4394001848","https://openalex.org/W6944437107"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2376759283","https://openalex.org/W3008607579","https://openalex.org/W126231364","https://openalex.org/W2279399181","https://openalex.org/W2333336726","https://openalex.org/W2963698000","https://openalex.org/W1668846860"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-17T09:13:05.818461","created_date":"2025-10-10T00:00:00"}