{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:36:30Z","timestamp":1770896190101,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319708478","type":"print"},{"value":"9783319708485","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_12","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T15:43:26Z","timestamp":1510328606000},"page":"179-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems"],"prefix":"10.1007","author":[{"given":"Normann","family":"Decker","sequence":"first","affiliation":[]},{"given":"Philip","family":"Gottschling","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Hochberger","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[]},{"given":"Torben","family":"Scheffel","sequence":"additional","affiliation":[]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Weiss","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"12_CR1","unstructured":"ARM Limited: ARM IHI 0035B: CoreSight Program Flow Trace: PFTv1.0 and PFTv1.1 - Architecture Specification, Issue B, March 2011"},{"key":"12_CR2","unstructured":"ARM Limited: ARM IHI 0029B: CoreSightTM Architecture Specification v2.0, Issue D (2013)"},{"key":"12_CR3","unstructured":"ARM Limited: DS-5 ARM DSTREAM User Guide Version 5.27 (2017)"},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E Asarin","year":"2002","unstructured":"Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172\u2013206 (2002)","journal-title":"J. ACM"},{"issue":"2","key":"12_CR5","first-page":"18:1","volume":"18","author":"R Backasch","year":"2013","unstructured":"Backasch, R., Hochberger, C., Weiss, A., Leucker, M., Lasslop, R.: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Des. Autom. Electr. Syst. 18(2), 18:1\u201318:26 (2013)","journal-title":"ACM Trans. Des. Autom. Electr. Syst."},{"issue":"4","key":"12_CR6","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1007\/11901433_41","volume-title":"Formal Methods and Software Engineering","author":"A Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Streit, J.: SALT\u2014structured assertion language for temporal logic. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 757\u2013775. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11901433_41"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: runtime monitoring of synchronous systems. In: TIME, pp. 166\u2013174. IEEE (2005)","DOI":"10.1109\/TIME.2005.26"},{"key":"12_CR9","unstructured":"Dreyer, B., Hochberger, C., Lange, A., Wegener, S., Weiss, A.: Continuous non-intrusive hybrid WCET estimation using waypoint graphs. In: WCET. OASICS, vol. 55, pp. 4:1\u20134:11. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)"},{"key":"12_CR10","unstructured":"Dreyer, B., Hochberger, C., Wegener, S., Weiss, A.: Precise continuous non-intrusive measurement-based execution time estimation. In: WCET. OASICS, vol. 47, pp. 45\u201354. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Eliot, C., Hudak, P.: Functional reactive animation. In: Proceedings of ICFP 2007, pp. 163\u2013173. ACM (1997)","DOI":"10.1145\/258948.258973"},{"key":"12_CR12","unstructured":"Freescale Semiconductor, Inc.: P4080 Advanced QorIQ Debug and Performance Monitoring Reference Manual, Rev. F (2012)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Gottschling, P., Hochberger, C.: ReEP: a toolset for generation and programming of reconfigurable datapaths for event processing. In: 2017 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), pp. 141\u2013149 (2017)","DOI":"10.1109\/IPDPSW.2017.138"},{"key":"12_CR14","unstructured":"Intel Corporation: Intel(R) 64 and IA-32 Architectures Software Developer\u2019s Manual (2016)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-319-46982-9_13","volume-title":"Runtime Verification","author":"S Jak\u0161i\u0107","year":"2016","unstructured":"Jak\u0161i\u0107, S., Bartocci, E., Grosu, R., Ni\u010dkovi\u0107, D.: Quantitative monitoring of STL with edit distance. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 201\u2013218. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_13"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-29860-8_4","volume-title":"Runtime Verification","author":"M Leucker","year":"2012","unstructured":"Leucker, M.: Teaching runtime verification. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 34\u201348. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_4"},{"issue":"5","key":"12_CR17","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebraic Program."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Leucker, M., S\u00e1nchez, C., Scheffel, T., Schmitz, M., Schramm, A.: TeSSLa: runtime verification of non-synchronized real-time streams (2017). unpublished","DOI":"10.1145\/3167132.3167338"},{"issue":"10","key":"12_CR19","doi-asserted-by":"crossref","first-page":"1346","DOI":"10.1109\/TVLSI.2008.2002047","volume":"16","author":"H Lu","year":"2008","unstructured":"Lu, H., Forin, A.: Automatic processor customization for zero-overhead online software verification. IEEE Trans. VLSI Syst. 16(10), 1346\u20131357 (2008)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"issue":"7","key":"12_CR21","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/TCAD.2005.850844","volume":"24","author":"N Moreano","year":"2005","unstructured":"Moreano, N., Borin, E., de Souza, C., Araujo, G.: Efficient datapath merging for partially reconfigurable architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(7), 969\u2013980 (2005)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-319-46982-9_17","volume-title":"Runtime Verification","author":"C Moreno","year":"2016","unstructured":"Moreno, C., Fischmeister, S.: Non-intrusive runtime monitoring through power consumption: a signals and system analysis approach to reconstruct the trace. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 268\u2013284. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_17"},{"issue":"1","key":"12_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1041715.1041719","volume":"5","author":"GJ Nutt","year":"1976","unstructured":"Nutt, G.J.: Tutorial: computer system monitors. SIGMETRICS Perform. Eval. Rev. 5(1), 41\u201351 (1976)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"3","key":"12_CR24","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10703-013-0199-z","volume":"44","author":"T Reinbacher","year":"2014","unstructured":"Reinbacher, T., F\u00fcgger, M., Brauer, J.: Runtime verification of embedded real-time systems. Form. Methods Syst. Des. 44(3), 203\u2013239 (2014)","journal-title":"Form. Methods Syst. Des."},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-89247-2_4","volume-title":"Runtime Verification","author":"G Ro\u015fu","year":"2008","unstructured":"Ro\u015fu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties: this time with calls and returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 51\u201368. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89247-2_4"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Shobaki, M.E., Lindh, L.: A hardware and software monitor for high-level system-on-chip verification. In: ISQED, pp. 56\u201361. IEEE Computer Society (2001)","DOI":"10.1109\/ISQED.2001.915206"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Solet, D., B\u00e9chennec, J., Briday, M., Faucou, S., Pillement, S.: Hardware runtime verification of embedded software in SoPC. In: SIES, pp. 171\u2013176. IEEE (2016)","DOI":"10.1109\/SIES.2016.7509425"},{"key":"12_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7563-8","volume-title":"On-Chip Instrumentation: Design and Debug for Systems on Chip","author":"N Stollon","year":"2010","unstructured":"Stollon, N.: On-Chip Instrumentation: Design and Debug for Systems on Chip, 1st edn. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-4419-7563-8","edition":"1"},{"issue":"8","key":"12_CR29","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.57626","volume":"16","author":"JJP Tsai","year":"1990","unstructured":"Tsai, J.J.P., Fang, K., Chen, H., Bi, Y.: A noninterference monitoring and replay mechanism for real-time software testing and debugging. IEEE Trans. Softw. Eng. 16(8), 897\u2013916 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR30","unstructured":"Weiss, A., Lange, A.: Trace-data processing and profiling device. EP Patent EP 2873983 A1, May 2015"},{"key":"12_CR31","unstructured":"Weiss, A., Lange, A.: Trace-data processing and profiling device. US Patent 9286186 B2, March 2016"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T23:54:40Z","timestamp":1750982080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}