{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:09Z","timestamp":1750306809125,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T00:00:00Z","timestamp":1386547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272083, 61170043, 61202002"],"award-info":[{"award-number":["61272083, 61170043, 61202002"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Funding of Jiangsu Innovation Program for Graduate Education and the Fundamental Research Funds for the Central Universities","award":["CXZZ11_0218"],"award-info":[{"award-number":["CXZZ11_0218"]}]},{"DOI":"10.13039\/501100005065","name":"Innovative Team of Jiangsu Province","doi-asserted-by":"publisher","award":["CXZZ11_0218"],"award-info":[{"award-number":["CXZZ11_0218"]}],"id":[{"id":"10.13039\/501100005065","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Project sponsored by SRF for ROCS, SEM 2012"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,12,9]]},"DOI":"10.1145\/2541534.2541592","type":"proceedings-article","created":{"date-parts":[[2013,12,17]],"date-time":"2013-12-17T13:36:21Z","timestamp":1387287381000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Minimal cut sequence generation for state\/event fault trees"],"prefix":"10.1145","author":[{"given":"Bingfeng","family":"Xu","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ou","family":"Wei","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"68","article-title":"Formal safety analysis in industrial practice. In Proceeding of Formal Methods for Industrial Critical Systems (FMICS 2011). Berlin: Springer-Verlag","volume":"6959","author":"Daskaya I.","year":"2011","journal-title":"LNCS"},{"volume-title":"Proceedings of the Fourth International Conference on Computer and Information Technology (CIT'04)","author":"Xiang J.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Xing L. and Amari S. V. 2008. Fault Tree Analysis. Handbook of Performability Engineering Springer London Springer-Verlag London Limited 595--620.  Xing L. and Amari S. V. 2008. Fault Tree Analysis. Handbook of Performability Engineering Springer London Springer-Verlag London Limited 595--620.","DOI":"10.1007\/978-1-84800-131-2_38"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.05.034"},{"volume-title":"Proceedings of Annual Reliability and Maintainability symposium","year":"2004","author":"Tang Z.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"Kaiser B. 2007. State Event trees: a safety and reliabiity analysis techniqure for software controlled systems. Kaiserslautern: University Kaiserslautern.  Kaiser B. 2007. State Event trees: a safety and reliabiity analysis techniqure for software controlled systems. Kaiserslautern: University Kaiserslautern."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.10.010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.983400"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72685-2_55"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2401945.2402028"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Xing L. Shrestha A. and Dai Y. 2011. Exact combinatorial reliability analysis of dynamic systems with sequence-dependent failures. Reliability engineering & systems safety 96(10) 1375--1385.  Xing L. Shrestha A. and Dai Y. 2011. Exact combinatorial reliability analysis of dynamic systems with sequence-dependent failures. Reliability engineering & systems safety 96(10) 1375--1385.","DOI":"10.1016\/j.ress.2011.05.007"},{"volume-title":"Proceedings of Annual Reliability and Maintainability Symposium","year":"2004","author":"Assaf T.","key":"e_1_3_2_1_13_1"},{"volume-title":"Proceedings of 21th European Safety & Reliability Conference (ESREL'12)","author":"Chaux P. Y.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Hersmans H. 2002. Interactive Markov Chains. Springer Berlin.  Hersmans H. 2002. Interactive Markov Chains. Springer Berlin.","DOI":"10.1007\/3-540-45804-2"}],"event":{"name":"Middleware '13: 14th International Middleware Conference","sponsor":["ACM Association for Computing Machinery","Commemorative Organization for the Japan World Exposition '70","IFIP"],"location":"Beijing China","acronym":"Middleware '13"},"container-title":["Proceedings of the 2013 Middleware Doctoral Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541534.2541592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541534.2541592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:02Z","timestamp":1750232102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541534.2541592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,9]]},"references-count":15,"alternative-id":["10.1145\/2541534.2541592","10.1145\/2541534"],"URL":"https:\/\/doi.org\/10.1145\/2541534.2541592","relation":{},"subject":[],"published":{"date-parts":[[2013,12,9]]},"assertion":[{"value":"2013-12-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}