{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:07Z","timestamp":1750307167858,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,4]],"date-time":"2011-09-04T00:00:00Z","timestamp":1315094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,4]]},"DOI":"10.1145\/2024436.2024444","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"34-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Component-based timed hazard analysis of self-healing systems"],"prefix":"10.1145","author":[{"given":"Claudia","family":"Priesterjahn","sequence":"first","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Steenken","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[{"name":"University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2008.2005958"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.009"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.04.035"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-011-0184-y"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/381766.381770"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59904-699-0.ch002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11875567_12"},{"key":"e_1_3_2_1_10_1","unstructured":"O. M. Group. Uml 2.2 superstructure specification 2009. Document -- formal\/09-02-02.  O. M. Group. Uml 2.2 superstructure specification 2009. Document -- formal\/09-02-02."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11424529_3"},{"key":"e_1_3_2_1_12_1","volume-title":"Fault Tree Analysis (FTA)","author":"International Electrotechnical Commission","year":"1990","unstructured":"International Electrotechnical Commission , Geneva, Switzerland. International Standard IEC 61025 . Fault Tree Analysis (FTA) , 1990 . International Electrotechnical Commission, Geneva, Switzerland. International Standard IEC 61025. Fault Tree Analysis (FTA), 1990."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.10.010"},{"key":"e_1_3_2_1_14_1","volume-title":"ACM","author":"Leveson N. G.","year":"1995","unstructured":"N. G. Leveson . Safeware : System Safety and Computers . ACM , New York, NY, USA , 1995 . N. G. Leveson. Safeware: System Safety and Computers. ACM, New York, NY, USA, 1995."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647398.724704"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 16th IFAC World Congress","author":"Ortmeier F.","year":"2006","unstructured":"F. Ortmeier , W. Reif , and G. Schellhorn . Deductive cause-consequence analysis . In Proceedings of the 16th IFAC World Congress , 2006 . F. Ortmeier, W. Reif, and G. Schellhorn. Deductive cause-consequence analysis. In Proceedings of the 16th IFAC World Congress, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00223-3"},{"key":"e_1_3_2_1_18_1","volume-title":"The mathematics of Petri nets","author":"Reutenauer C.","year":"1990","unstructured":"C. Reutenauer . The mathematics of Petri nets . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1990 . C. Reutenauer. The mathematics of Petri nets. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1990."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/278918"},{"key":"e_1_3_2_1_20_1","volume-title":"Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques","author":"Simani S.","year":"2002","unstructured":"S. Simani , C. Fantuzzi , and R. J. Patton . Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques . Springer Berlin \/ Heidelberg , 2002 . S. Simani, C. Fantuzzi, and R. J. Patton. Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques. Springer Berlin \/ Heidelberg, 2002."},{"key":"e_1_3_2_1_21_1","volume-title":"Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)","author":"Tichy M.","year":"2008","unstructured":"M. Tichy , S. Henkler , J. Holtmann , and S. Oberth\u00fcr . Component story diagrams: A transformation language for component structures in mechatronic systems . In Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4) , Paderborn, Germany. HNI Verlagsschriftenreihe , 2008 . M. Tichy, S. Henkler, J. Holtmann, and S. Oberth\u00fcr. Component story diagrams: A transformation language for component structures in mechatronic systems. In Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany. HNI Verlagsschriftenreihe, 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"M.\n      Walker L.\n      Bottaci and \n      Y.\n      Papadopoulos\n  . \n  Compositional temporal fault tree analysis\n  . In F. Saglietti and N. Oster editors SAFECOMP volume \n  4680\n   of \n  Lecture Notes in Computer Science pages \n  106\n  --\n  119\n  . \n  Springer 2007\n  .   M. Walker L. Bottaci and Y. Papadopoulos. Compositional temporal fault tree analysis. In F. Saglietti and N. Oster editors SAFECOMP volume 4680 of Lecture Notes in Computer Science pages 106--119. Springer 2007.","DOI":"10.1007\/978-3-540-75101-4_12"}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Szeged Hungary","acronym":"ESEC\/FSE'11"},"container-title":["Proceedings of the 8th workshop on Assurances for self-adaptive systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2024436.2024444","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2024436.2024444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:41Z","timestamp":1750240481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2024436.2024444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,4]]},"references-count":22,"alternative-id":["10.1145\/2024436.2024444","10.1145\/2024436"],"URL":"https:\/\/doi.org\/10.1145\/2024436.2024444","relation":{},"subject":[],"published":{"date-parts":[[2011,9,4]]},"assertion":[{"value":"2011-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}