{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:10:33Z","timestamp":1748664633584,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319238197"},{"type":"electronic","value":"9783319238203"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23820-3_10","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T14:21:39Z","timestamp":1442672499000},"page":"153-168","source":"Crossref","is-referenced-by-count":6,"title":["Time-Triggered Runtime Verification of Component-Based Multi-core Systems"],"prefix":"10.1007","author":[{"given":"Samaneh","family":"Navabpour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"10_CR1","unstructured":"SNU Real-Time Benchmarks. http:\/\/www.cprover.org\/goto-cc\/examples\/snu.html"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36498-6_5","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"C Artho","year":"2003","unstructured":"Artho, C., Drusinksy, D., Goldberg, A., Havelund, K., Lowry, M., P\u0103s\u0103reanu, C.S., Ro\u015fu, G., Visser, W.: Experiments with test case generation and runtime analysis. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 87\u2013107. Springer, Heidelberg (2003)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-77395-5_3","volume-title":"Runtime Verification","author":"E Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with tracematches. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 22\u201337. Springer, Heidelberg (2007)"},{"key":"10_CR4","first-page":"88","volume-title":"Lecture Notes in Computer Science","author":"Borzoo Bonakdarpour","year":"2011","unstructured":"Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-based runtime verification. In: Formal Methods (FM), pp. 88\u2013102 (2011)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10703-012-0182-0","volume":"43","author":"B Bonakdarpour","year":"2013","unstructured":"Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Time-triggered runtime verification. Formal Methods Syst. Design (FMSD) 43(1), 29\u201360 (2013)","journal-title":"Formal Methods Syst. Design (FMSD)"},{"key":"10_CR6","unstructured":"Cadar, C., Dunbar, D., Engler, D.: Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008, pp. 209\u2013224 (2008)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Chen","year":"2005","unstructured":"Chen, F., Ro\u015fu, G.: Java-MOP: a monitoring oriented programming environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 546\u2013550. Springer, Heidelberg (2005)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Kinneer, A., Elbaum, S.: Adaptive online program analysis. In Proceedings of the 29th International Conference on Software Engineering, ICSE 2007, pp. 220\u2013229 (2007)","DOI":"10.1109\/ICSE.2007.12"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-23798-0_30","volume-title":"Software Architecture","author":"J Ehlers","year":"2011","unstructured":"Ehlers, J., Hasselbring, W.: A self-adaptive monitoring framework for component-based software systems. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol. 6903, pp. 278\u2013286. Springer, Heidelberg (2011)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/B:FORM.0000017721.39909.4b","volume":"24","author":"K Havelund","year":"2004","unstructured":"Havelund, K., Ro\u015fu, G.: An overview of the runtime verification tool java pathexplorer. Form. Methods Syst. Des. 24(2), 189\u2013215 (2004)","journal-title":"Form. Methods Syst. Des."},{"key":"10_CR12","first-page":"1","volume-title":"FM 2006: Formal Methods","author":"Thomas A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Formal Methods (FM), pp. 1\u201315 (2006)"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M Kim","year":"2004","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for java programs. Form. Methods Syst. Des. 24(2), 129\u2013155 (2004)","journal-title":"Form. Methods Syst. Des."},{"issue":"7","key":"10_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Comm. ACM 19(7), 385\u2013394 (1976)","journal-title":"Comm. ACM"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis and transformation. In: International Symposium on Code Generation and Optimization: Feedback Directed and Runtime Optimization, p. 75 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-35632-2_21","volume-title":"Runtime Verification","author":"Samaneh Navabpour","year":"2013","unstructured":"Navabpour, S., Bonakdarpour, B., Fischmeister, S.: Path-aware time-triggered runtime verification. In: Third International Conference on Runtime Verification (RV), pp. 199\u2013213 (2012)"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/978-3-642-29860-8_16","volume-title":"Runtime Verification","author":"Samaneh Navabpour","year":"2012","unstructured":"Navabpour, S., Wu, C.W., Bonakdarpour, B., Fischmeister, S.: Efficient techniques for near-optimal instrumentation in time-triggered runtime verification. In: Runtime Verification (RV), pp. 208\u2013222 (2011)"},{"key":"10_CR18","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (2002)"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.jss.2003.05.006","volume":"74","author":"M Zulkernine","year":"2005","unstructured":"Zulkernine, M., Seviora, R.: Towards automatic monitoring of component-based software systems. J. Syst. Softw. 74(1), 15\u201324 (2005)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23820-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T18:33:18Z","timestamp":1748629998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23820-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238197","9783319238203"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23820-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}