{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:10:01Z","timestamp":1738372201963,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876977"},{"type":"electronic","value":"9783540876984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_14","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"139-152","source":"Crossref","is-referenced-by-count":4,"title":["Symbolic Reliability Analysis of Self-healing Networked Embedded Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gla\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Lukasiewycz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Reimann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Dai, Y.S.: Autonomic computing and reliability improvement. In: Proc. of ISORC 2005, pp. 204\u2013206 (2005)","DOI":"10.1109\/ISORC.2005.17"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11682127_15","volume-title":"Architecture of Computing Systems - ARCS 2006","author":"D. Koch","year":"2006","unstructured":"Koch, D., Streichert, T., Dittrich, S., Strengert, C., Haubelt, C., Teich, J.: An operating system infrastructure for fault-tolerant reconfigurable networks. In: Grass, W., Sick, B., Waldschmidt, K. (eds.) ARCS 2006. LNCS, vol.\u00a03894, pp. 202\u2013216. Springer, Heidelberg (2006)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proc. of WOSS 2002, pp. 27\u201332 (2002)","DOI":"10.1145\/582128.582134"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-78153-0_4","volume-title":"Architecture of Computing Systems \u2013 ARCS 2008","author":"T. Streichert","year":"2008","unstructured":"Streichert, T., Gla\u00df, M., Wanka, R., Haubelt, C., Teich, J.: Topology-aware replica placement in fault-tolerant embedded networks. In: Brinkschulte, U., Ungerer, T., Hochberger, C., Spallek, R.G. (eds.) ARCS 2008. LNCS, vol.\u00a04934, pp. 23\u201337. Springer, Heidelberg (2008)"},{"issue":"8","key":"14_CR5","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. on Comp.\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. on Comp."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Cankay, H.C., Nair, V.S.S.: Reliability and availability evaluation of self-healing sonet mesh networks. In: Proc. of GLOBECOMM 1997, pp. 252\u2013256 (1997)","DOI":"10.1109\/GLOCOM.1997.632549"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/285243.285288","volume":"28","author":"H.C. Cankay","year":"1998","unstructured":"Cankay, H.C., Nair, V.S.S.: Accelerated reliability analysis for self-healing sonet networks. SIGCOMM Comput. Commun. Rev.\u00a028(4), 268\u2013277 (1998)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/49.265711","volume":"12","author":"R. Kawamura","year":"1994","unstructured":"Kawamura, R., Sato, K., Tokizawa, I.: Self-healing atm networks based on virtual path concept. IEEE Journal on Selected Areas in Communications\u00a012(1), 120\u2013127 (1994)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"8","key":"14_CR9","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1016\/S0026-2714(96)00298-3","volume":"37","author":"J. Lee","year":"1997","unstructured":"Lee, J.: Reliability models of a class of self-healing rings. Microelectronics and Reliability\u00a037(8), 1179\u20131183 (1997)","journal-title":"Microelectronics and Reliability"},{"issue":"3","key":"14_CR10","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/TR.1986.4335427","volume":"35","author":"T. Politof","year":"1986","unstructured":"Politof, T., Satyanarayana, A.: Efficient algorithms for reliability analysis of planar networks - a survey. IEEE Trans. on Reliability\u00a035(3), 252\u2013259 (1986)","journal-title":"IEEE Trans. on Reliability"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Ortega, C., Tyrrell, A.: Reliability analysis in self-repairing embryonic systems. In: Proc. of EH 1999, pp. 120\u2013128 (1999)","DOI":"10.1109\/EH.1999.785443"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Dressler, F., Dietrich, I.: Lifetime analysis in heterogenous sensor networks. In: Proc. of DSD 2006, pp. 606\u2013616 (2006)","DOI":"10.1109\/DSD.2006.64"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Elliot, C., Heile, B.: Self-organizing, self-healing wireless networks. In: Proc. of Aerospace Conference 2000, pp. 149\u2013156 (2000)","DOI":"10.1109\/AERO.2000.879383"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Gla\u00df, M., Lukasiewycz, M., Streichert, T., Haubelt, C., Teich, J.: Reliability-Aware System Synthesis. In: Proceedings of DATE 2007, pp. 409\u2013414 (2007)","DOI":"10.1109\/DATE.2007.364626"},{"issue":"10","key":"14_CR15","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1016\/j.sysarc.2007.01.005","volume":"53","author":"T. Streichert","year":"2007","unstructured":"Streichert, T., Gla\u00df, M., Haubelt, C., Teich, J.: Design space exploration of reliable networked embedded systems. Journ. on Systems Architecture\u00a053(10), 751\u2013763 (2007)","journal-title":"Journ. on Systems Architecture"},{"key":"14_CR16","unstructured":"Izosimov, V., Pop, P., Eles, P., Peng, Z.: Synthesis of fault-tolerant schedules with transparency\/performance trade-offs for distributed embedded systems. In: Proceedings of DAC 2004, pp. 550\u2013555 (2004)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1137\/0208032","volume":"8","author":"L.G. Valiant","year":"1979","unstructured":"Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM Journal on Computing\u00a08, 410\u2013421 (1979)","journal-title":"SIAM Journal on Computing"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput.\u00a098(2), 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","volume":"2","author":"N. E\u00e9n","year":"2006","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: Translating Pseudo-Boolean Constraints into SAT. Journal on Satisfiability, Boolean Moelding and Computation\u00a02, 1\u201325 (2006)","journal-title":"Journal on Satisfiability, Boolean Moelding and Computation"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/0951-8320(93)90060-C","volume":"40","author":"A. Rauzy","year":"1993","unstructured":"Rauzy, A.: New Algorithms for Fault Tree Analysis. Reliability Eng. and System Safety\u00a040, 202\u2013211 (1993)","journal-title":"Reliability Eng. and System Safety"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:36:37Z","timestamp":1738370197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}