{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:32:12Z","timestamp":1725615132839},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447121541"},{"type":"electronic","value":"9781447121558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4471-2155-8_60","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T14:45:37Z","timestamp":1317221137000},"page":"471-477","source":"Crossref","is-referenced-by-count":1,"title":["Runtime Verification of Component-Based Embedded Software"],"prefix":"10.1007","author":[{"given":"Hasan","family":"S\u00f6zer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Hofmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bedir","family":"Tekinerdo\u011fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Ak\u015fit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,29]]},"reference":[{"issue":"3","key":"60_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R.C. Ommering van","year":"2000","unstructured":"van Ommering, R.C., et\u00a0al.: The Koala component model for consumer electronics software. IEEE Comput. 33(3), 78\u201385 (2000)","journal-title":"IEEE Comput."},{"issue":"3","key":"60_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241\u2013266 (1982)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"60_CR3","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1002\/spe.916","volume":"39","author":"H. Sozer","year":"2009","unstructured":"Sozer, H., Tekinerdogan, B., Aksit, M.: FLORA: a framework for decomposing software architecture to introduce local recovery. Softw. Pract. Exper. 39(10), 869\u2013889 (2009)","journal-title":"Softw. Pract. Exper."},{"key":"60_CR4","unstructured":"Huang, Y., Kintala, C.: Software fault tolerance in the application layer. In: Lyu, M.R. (ed.) Software Fault Tolerance, pp.231\u2013248. John Wiley & Sons, Chichester (1995)"},{"issue":"2","key":"60_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/32.988496","volume":"28","author":"D.K. Peters","year":"2002","unstructured":"Peters, D.K., Parnas, D.L.: Requirements-based monitors for real-time systems. IEEE Trans. Softw. Eng. 28(2), 146\u2013158 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"60_CR6","first-page":"15","volume":"74","author":"M. Zulkernine","year":"2005","unstructured":"Zulkernine, M., Seviora, R.: Towards automatic monitoring of component-based software systems. JSS ACBSE Special Issue 74(1), 15\u201324 (2005)","journal-title":"JSS ACBSE Special Issue"},{"issue":"12","key":"60_CR7","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.368136","volume":"20","author":"M. Diaz","year":"1994","unstructured":"Diaz, M., Juanole, G., Courtiat, J.: Observer\u2014a concept for formal on-line validation of distributed systems. IEEE Trans. Softw. Eng. 20(12), 900\u2013913 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"60_CR8","doi-asserted-by":"crossref","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Softw. Eng. 28(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"60_CR9","first-page":"209","volume":"3778","author":"Y. Berbers","year":"2005","unstructured":"Berbers, Y. et\u00a0al.: CoConES: an approach for components and contracts in embedded systems. LNCS 3778, 209\u2013231 (2005)","journal-title":"LNCS"},{"key":"60_CR10","unstructured":"Thai, J., et\u00a0al.: Detection of errors using aspect-oriented state consistency checks. In: ISSRE, pp. 29\u201330 (2001)"},{"issue":"25","key":"60_CR11","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/2.386988","volume":"46","author":"B Schroeder","year":"1995","unstructured":"Schroeder B.: On-line monitoring: a tutorial. IEEE Comput. 46(25), 72\u201378 (1995)","journal-title":"IEEE Comput"},{"issue":"1","key":"60_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01088621","volume":"7","author":"U. Schmid","year":"1994","unstructured":"Schmid, U.: Monitoring distributed real-time systems. Real-Time Syst. 7(1), 33\u201356 (1994)","journal-title":"Real-Time Syst."}],"container-title":["Computer and Information Sciences II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2155-8_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T08:15:59Z","timestamp":1554711359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-2155-8_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781447121541","9781447121558"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2155-8_60","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}