{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:37:58Z","timestamp":1742953078774,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031148347"},{"type":"electronic","value":"9783031148354"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-14835-4_4","type":"book-chapter","created":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T12:05:36Z","timestamp":1661342736000},"page":"46-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Data-Driven Inference of\u00a0Fault Tree Models Exploiting Symmetry and\u00a0Modularization"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3062-8408","authenticated-orcid":false,"given":"Lisandro Arturo","family":"Jimenez-Roa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3810-4185","authenticated-orcid":false,"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,25]]},"reference":[{"key":"4_CR1","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"RK Brayton","year":"1984","unstructured":"Brayton, R.K., Hachtel, G.D., McMullen, C.T., Sangiovanni-Vincentelli, A.L.: Logic Minimization Algorithms for VLSI Synthesis. The Springer International Series in Engineering and Computer Science, vol. 2. Springer, New York (1984). https:\/\/doi.org\/10.1007\/978-1-4613-2821-6"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"106899","DOI":"10.1016\/j.ress.2020.106899","volume":"200","author":"J Byun","year":"2020","unstructured":"Byun, J., Song, J.: Efficient probabilistic multi-objective optimization of complex systems using matrix-based Bayesian network. Reliab. Eng. Syst. Saf. 200, 106899 (2020)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"3","key":"4_CR3","first-page":"265","volume":"44","author":"A Carpignano","year":"1994","unstructured":"Carpignano, A., Poucet, A.: Computer assisted fault tree construction: a review of methods and concerns. RESS 44(3), 265\u2013278 (1994)","journal-title":"RESS"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0167-9260(94)00007-7","volume":"17","author":"O Coudert","year":"1994","unstructured":"Coudert, O.: Two-level logic minimization: an overview. Integration 17(2), 97\u2013140 (1994)","journal-title":"Integration"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/24.52615","volume":"39","author":"RC De Vries","year":"1990","unstructured":"De Vries, R.C.: An automated methodology for generating a fault tree. IEEE Trans. Reliab. 39(1), 76\u201386 (1990)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Agrawal, S., Pratap, A., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182\u2013197 (2002)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"3","key":"4_CR7","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1109\/24.537011","volume":"45","author":"Y Dutuit","year":"1996","unstructured":"Dutuit, Y., Rauzy, A.: A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliab. 45(3), 422\u2013425 (1996)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"4_CR8","first-page":"173","volume":"39","author":"A Hunt","year":"1993","unstructured":"Hunt, A., Kelly, B., Mullhi, J., Lees, F., Rushton, A.: The propagation of faults in process plants: 6, overview of, and modelling for, fault tree synthesis. RESS 39(2), 173\u2013194 (1993)","journal-title":"RESS"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Jiang, J.H.R., Devadas, S.: Logic synthesis in a nutshell. In: Electronic Design Automation, pp. 299\u2013404. Elsevier, Amsterdam (2009)","DOI":"10.1016\/B978-0-12-374364-0.50013-8"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Jimenez-Roa, L.A., Heskes, T., Tinga, T., Stoelinga, M.: Automatic inference of fault tree models via multi-objective evolutionary algorithms. CoRR abs\/2204.03743 (2022)","DOI":"10.1109\/TDSC.2022.3203805"},{"key":"4_CR11","unstructured":"Joshi, A., Vestal, S., Binns, P.: Automatic generation of static fault trees from AADL models (2007)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TR.1977.5215060","volume":"26","author":"SA Lapp","year":"1977","unstructured":"Lapp, S.A., Powers, G.J.: Computer-aided synthesis of fault-trees. IEEE Trans. Reliab. 26(1), 2\u201313 (1977)","journal-title":"IEEE Trans. Reliab."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Lazarova-Molnar, S., Niloofar, P., Barta, G.K.: Data-driven fault tree modeling for reliability assessment of cyber-physical systems. In: WSC. IEEE (2020)","DOI":"10.1109\/WSC48552.2020.9383882"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-35540-1_2","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"A Linard","year":"2019","unstructured":"Linard, A., Bucur, D., Stoelinga, M.: Fault trees from data: efficient learning with an evolutionary algorithm. In: Guan, N., Katoen, J.-P., Sun, J. (eds.) SETTA 2019. LNCS, vol. 11951, pp. 19\u201337. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-35540-1_2"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Linard, A., Bueno, M.L., Bucur, D., Stoelinga, M.: Induction of fault trees through Bayesian networks. In: ESREL, pp. 910\u2013917. Research Publishing (2019)","DOI":"10.3850\/978-981-11-2724-3_0596-cd"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Madden, M.G., Nolan, P.J.: Generation of fault trees from simulated incipient fault case data. WIT Trans. Inf. Commun. Technol. 6 (1994)","DOI":"10.1049\/cp:19940642"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Mahmud, N., Mian, Z.: Automatic generation of temporal fault trees from AADL models. In: ESREL, pp. 2741\u20132749 (2013)","DOI":"10.1201\/b15938-415"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Mhenni, F., Nguyen, N., Choley, J.: Automatic fault tree generation from SysML system models. In: AIM, pp. 715\u2013720. IEEE (2014)","DOI":"10.1109\/AIM.2014.6878163"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4086\/toc.2017.v013a004","volume":"13","author":"CD Murray","year":"2017","unstructured":"Murray, C.D., Williams, R.R.: On the (non) NP-hardness of computing circuit complexity. Theory Comput. 13(1), 1\u201322 (2017)","journal-title":"Theory Comput."},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-319-99154-2_19","volume-title":"Quantitative Evaluation of Systems","author":"M Nauta","year":"2018","unstructured":"Nauta, M., Bucur, D., Stoelinga, M.: LIFT: learning fault trees from observational data. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 306\u2013322. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_19"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1002\/aic.690200226","volume":"20","author":"GJ Powers","year":"1974","unstructured":"Powers, G.J., Tompkins, F.C., Jr.: Fault tree synthesis for chemical processes. AIChE J. 20(2), 376\u2013387 (1974)","journal-title":"AIChE J."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Robert, P., Escoufier, Y.: A unifying tool for linear multivariate statistical methods: the rv- coefficient. J. Roy. Stat. Soc. Ser. C (Appl. Stat.) 25(3), 257\u2013265 (1976)","DOI":"10.2307\/2347233"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Salem, S.L., Apostolakis, G., Okrent, D.: Computer-oriented approach to fault-tree construction. Technical report, California University (1976)","DOI":"10.2172\/7132148"},{"key":"4_CR25","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications (2002)"},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TR.1982.5221276","volume":"31","author":"J Taylor","year":"1982","unstructured":"Taylor, J.: An algorithm for fault-tree construction. IEEE Trans. Reliab. 31(2), 137\u2013146 (1982)","journal-title":"IEEE Trans. Reliab."},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.eswa.2019.06.042","volume":"136","author":"K Waghen","year":"2019","unstructured":"Waghen, K., Ouali, M.: Interpretable logic tree analysis: a data-driven fault tree methodology for causality analysis. Expert Syst. Appl. 136, 376\u2013391 (2019)","journal-title":"Expert Syst. Appl."},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"115035","DOI":"10.1016\/j.eswa.2021.115035","volume":"178","author":"K Waghen","year":"2021","unstructured":"Waghen, K., Ouali, M.: Multi-level interpretable logic tree analysis: a data-driven approach for hierarchical causality analysis. Expert Syst. Appl. 178, 115035 (2021)","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"4_CR29","first-page":"87","volume":"42","author":"J Wang","year":"1993","unstructured":"Wang, J., Liu, T.: A component behavioural model for automatic fault tree construction. RESS 42(1), 87\u2013100 (1993)","journal-title":"RESS"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Xiang, J., Yanoo, K., Maeno, Y., Tadano, K.: Automatic synthesis of static fault trees from system models. In: SSIRI, pp. 127\u2013136. IEEE Computer Society (2011)","DOI":"10.1109\/SSIRI.2011.32"},{"issue":"3","key":"4_CR31","first-page":"295","volume":"40","author":"G Xie","year":"1993","unstructured":"Xie, G., Xue, D., Xi, S.: Tree-expert: a tree-based expert system for fault tree construction. RESS 40(3), 295\u2013309 (1993)","journal-title":"RESS"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-14835-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,2]],"date-time":"2024-10-02T12:55:10Z","timestamp":1727873710000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-14835-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031148347","9783031148354"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-14835-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"41","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp22.iks.fraunhofer.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"93","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3, 2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5, 5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The review process was thorough with at least 3 reviewers with ensured independency (single blind). In April 2022 an on-line meeting took place for the final discussion and selection.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}