{"id":"https://openalex.org/W4323026687","doi":"https://doi.org/10.1007/978-3-031-27481-7_13","title":"$$\\textsf{PFL}$$: A Probabilistic Logic for\u00a0Fault Trees","display_name":"$$\\textsf{PFL}$$: A Probabilistic Logic for\u00a0Fault Trees","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4323026687","doi":"https://doi.org/10.1007/978-3-031-27481-7_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-27481-7_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-27481-7_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":"book-chapter","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2303.17314","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034122691","display_name":"Stefano M. Nicoletti","orcid":"https://orcid.org/0000-0001-5522-4798"},"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":"Stefano M. Nicoletti","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-5522-4798","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066676005","display_name":"Milan Lopuha\u00e4-Zwakenberg","orcid":"https://orcid.org/0000-0001-5687-854X"},"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":"Milan Lopuha\u00e4-Zwakenberg","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-5687-854X","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030417706","display_name":"Ernst Moritz Hahn","orcid":"https://orcid.org/0000-0002-9348-7684"},"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":"E. Moritz Hahn","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9348-7684","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, 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/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/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 Software Science, Radboud University, Nijmegen, The Netherlands","Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6793-8165","affiliations":[{"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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034122691"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.8404,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.96925357,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"221"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.614400327205658},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5305103659629822},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.4702645242214203},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4508591890335083},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40679800510406494},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.36657002568244934},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3568488657474518},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19555282592773438},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1162409782409668},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.10921812057495117}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.614400327205658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5305103659629822},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.4702645242214203},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4508591890335083},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40679800510406494},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.36657002568244934},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3568488657474518},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19555282592773438},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1162409782409668},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.10921812057495117},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-031-27481-7_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-27481-7_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:arXiv.org:2303.17314","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.17314","pdf_url":"https://arxiv.org/pdf/2303.17314","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/292154","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/292154","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/292154/292154.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":"Article in monograph or in proceedings"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/941ca733-79b7-4185-8d1b-ec4aa3decf5c","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/941ca733-79b7-4185-8d1b-ec4aa3decf5c","pdf_url":"https://ris.utwente.nl/ws/files/301080578/978_3_031_27481_7_13.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nicoletti, S M, Lopuha\u00e4-Zwakenberg, M, Hahn, E M & Stoelinga, M 2023, PFL : A Probabilistic Logic for\u00a0Fault Trees. in M Chechik, J-P Katoen & M Leucker (eds), Formal Methods : 25th International Symposium, FM 2023, L\u00fcbeck, Germany, March 6\u201310, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14000, Springer, Cham, pp. 199\u2013221, 25th International Symposium on Formal Methods, FM 2023, L\u00fcbeck, Schleswig-Holstein, Germany, 6/03/23. https://doi.org/10.1007/978-3-031-27481-7_13","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/941ca733-79b7-4185-8d1b-ec4aa3decf5c","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:ris.utwente.nl:publications/941ca733-79b7-4185-8d1b-ec4aa3decf5c","is_oa":true,"landing_page_url":"https://research.utwente.nl/files/301080578/978_3_031_27481_7_13.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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nicoletti, S M, Lopuha\u00e4-Zwakenberg, M, Hahn, E M & Stoelinga, M 2023, PFL : A Probabilistic Logic for\u00a0Fault Trees. in M Chechik, J-P Katoen & M Leucker (eds), Formal Methods : 25th International Symposium, FM 2023, L\u00fcbeck, Germany, March 6\u201310, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14000, Springer, Cham, pp. 199\u2013221, 25th International Symposium on Formal Methods, FM 2023, L\u00fcbeck, Schleswig-Holstein, Germany, 6/03/23. https://doi.org/10.1007/978-3-031-27481-7_13","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2303.17314","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.17314","pdf_url":"https://arxiv.org/pdf/2303.17314","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6499999761581421,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G3373991914","display_name":null,"funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8491077145","display_name":"Integrating Safety and Cybersecurity through Stochastic Model Checking","funder_award_id":"864075","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4323026687.pdf"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W61993190","https://openalex.org/W1501405968","https://openalex.org/W1543835464","https://openalex.org/W1559540003","https://openalex.org/W1586053793","https://openalex.org/W1590315663","https://openalex.org/W1862398452","https://openalex.org/W1964385350","https://openalex.org/W1981808971","https://openalex.org/W1992552504","https://openalex.org/W2005998857","https://openalex.org/W2013781926","https://openalex.org/W2014322692","https://openalex.org/W2023808162","https://openalex.org/W2048972217","https://openalex.org/W2060471081","https://openalex.org/W2070874614","https://openalex.org/W2104085499","https://openalex.org/W2121337044","https://openalex.org/W2127778125","https://openalex.org/W2142486837","https://openalex.org/W2146024157","https://openalex.org/W2277676404","https://openalex.org/W2401679532","https://openalex.org/W2527393991","https://openalex.org/W2542879405","https://openalex.org/W2572735123","https://openalex.org/W2598014203","https://openalex.org/W2620928019","https://openalex.org/W2759347564","https://openalex.org/W2803246896","https://openalex.org/W2886769094","https://openalex.org/W2921681895","https://openalex.org/W3134995173","https://openalex.org/W3169009110","https://openalex.org/W3188190072","https://openalex.org/W3202368399","https://openalex.org/W4205437843","https://openalex.org/W4205914096","https://openalex.org/W4232448371","https://openalex.org/W4255413535","https://openalex.org/W4285126712","https://openalex.org/W4287882619","https://openalex.org/W4298236051"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W4244913946","https://openalex.org/W2368585766","https://openalex.org/W635486197","https://openalex.org/W2348058071","https://openalex.org/W1497573972","https://openalex.org/W2071659383","https://openalex.org/W1846253165"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2023-03-04T00:00:00"}