{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T21:10:25Z","timestamp":1762809025013,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218866"},{"type":"electronic","value":"9783642218873"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21887-3_38","type":"book-chapter","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T13:51:08Z","timestamp":1308318668000},"page":"490-505","source":"Crossref","is-referenced-by-count":1,"title":["An Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis"],"prefix":"10.1007","author":[{"given":"Li","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Krings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","volume-title":"Software Fault Tolerance","author":"A. Avizienis","year":"1995","unstructured":"Avizienis, A.: The Methodology of N-version Programming. In: Lyu, M. (ed.) Software Fault Tolerance. John Wiley & Sons, Chichester (1995)"},{"issue":"10","key":"38_CR2","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1109\/12.888039","volume":"49","author":"M.H. Azadmanesh","year":"2000","unstructured":"Azadmanesh, M.H., Kieckhafer, R.M.: Exploiting Omissive Faults in Synchronous Approximate Agreement. IEEE Trans. Computers\u00a049(10), 1031\u20131042 (2000)","journal-title":"IEEE Trans. Computers"},{"key":"38_CR3","unstructured":"Cox, B., Evans, D., Filipi, A., Rowanhill, J., Hu, W., Davidson, J., Knight, J., Nguyen-Tuong, A., Hiser, J.: N-Variant Systems: A Secretless Framework for Security through Diversity. In: Proc. 15th USENIX Security Symposium (2006)"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Jeffery, C.M., Figueiredo, J.O.: Towards Byzantine Fault Tolerance in Many-core Computing Platforms. In: Proc. 13th IEEE International Symposium on Pacific Rim Dependable Computing (2007)","DOI":"10.1109\/PRDC.2007.40"},{"issue":"2","key":"38_CR5","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT)\u00a06(2), 128\u2013142 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-36554-0","volume-title":"Self-Adaptive Software","author":"R. Laddaga","year":"2003","unstructured":"Laddaga, R., Robertson, P., Shrobe, H.: Introduction to Self-adaptive Software: Applications. In: Laddaga, R., Shrobe, H.E., Robertson, P. (eds.) IWSAS 2001. LNCS, vol.\u00a02614, pp. 1\u20135. Springer, Heidelberg (2003)"},{"issue":"3","key":"38_CR7","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M.O. Rabin","year":"1963","unstructured":"Rabin, M.O.: Probabilistic Automata. Information and Control\u00a06(3), 230\u2013245 (1963)","journal-title":"Information and Control"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"Salamat, B., Gal, A., Jackson, T., Manivannan, K., Wagner, G., Franz, M.: Multi-Variant Program Execution: Using Multi-Core Systems to Defuse Buffer-Overflow Vulnerabilities. In: Proc. CISIS 2008, pp. 843\u2013848 (2008)","DOI":"10.1109\/CISIS.2008.136"},{"key":"38_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2367-3","volume-title":"Performance and Reliability Analysis of Computer Systems","author":"R. Sahner","year":"1996","unstructured":"Sahner, R., Trivedi, K., Puliafito, A.: Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Tan, L., Krings, A.: A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems. In: Proc. 9th Int\u2019l Workshop on Assurance in Distributed Systems and Networks, ADSN 2010 (2010)","DOI":"10.1109\/ICDCSW.2010.30"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Thambidurai, P., Park, Y.-K.: Interactive Consistency with Multiple Failure Modes. In: Proc. 7th Symp. on Reliable Distributed Systems, pp. 93\u2013100 (1988)","DOI":"10.1109\/RELDIS.1988.25784"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Nguyen-Tuong, A., Evans, D., Knight, J.C., Cox, B., Davidson, J.W.: Security through Redundant Data Diversity. In: Proc. DSN 2008 (2008)","DOI":"10.1109\/DSN.2008.4630087"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications - ICCSA 2011"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21887-3_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T21:04:35Z","timestamp":1762808675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-21887-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218866","9783642218873"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21887-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}