{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T03:01:16Z","timestamp":1791342076181,"version":"4.3.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032054340","type":"print"},{"value":"9783032054357","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05435-7_11","type":"book-chapter","created":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T01:30:13Z","timestamp":1757727013000},"page":"181-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Active Monitoring with\u00a0RTLola: A Specification-Guided Scheduling Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8891-7483","authenticated-orcid":false,"given":"Jan","family":"Baumeister","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4280-8441","authenticated-orcid":false,"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8115-0359","authenticated-orcid":false,"given":"Frederik","family":"Scheerer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,12]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Afshar, S., Behnam, M., Bril, R.J., Nolte, T.: Resource sharing under global scheduling with partial processor bandwidth. In: 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015, pp. 195\u2013206. IEEE (2015). https:\/\/doi.org\/10.1109\/SIES.2015.7185061","DOI":"10.1109\/SIES.2015.7185061"},{"key":"11_CR2","unstructured":"Agrawal, A.: Hardware Contention-Aware Real-Time Scheduling on Multi-Core Platforms in Safety-Critical Systems. Ph.D. thesis, Kaiserslautern University of Technology, Germany (2019). https:\/\/kluedo.ub.rptu.de\/frontdoor\/index\/index\/docId\/5612"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Correnson, A., Finkbeiner, B., Scheerer, F.: An intermediate program representation for optimizing stream-based languages. In: Piskac, R., Rakamari\u0107, Z. (eds.) Computer Aided Verification, pp. 393\u2013407. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-98682-6_20","DOI":"10.1007\/978-3-031-98682-6_20"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/S10009-023-00712-3","volume":"25","author":"J Baumeister","year":"2023","unstructured":"Baumeister, J., Dauer, J.C., Finkbeiner, B., Schirmer, S.: Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25(4), 593\u2013616 (2023). https:\/\/doi.org\/10.1007\/S10009-023-00712-3","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Baumeister, J., et al.: Monitoring unmanned aircraft: specification, integration, and lessons-learned. In: Gurfinkel, A., Ganesh, V. (eds.) Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II. Lecture Notes in Computer Science, vol. 14682, pp. 207\u2013218. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-65630-9_10","DOI":"10.1007\/978-3-031-65630-9_10"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Baumeister, J., Finkbeiner, B., Kohn, F., Scheerer, F.: A tutorial on stream-based monitoring. In: International Symposium on Formal Methods, pp. 624\u2013648. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-71177-0_33"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Baumeister, J., Finkbeiner, B., Scheerer, F.: Active monitoring with rtlola: a specification-guided scheduling approach (2025). https:\/\/arxiv.org\/abs\/2507.20615","DOI":"10.1007\/978-3-032-05435-7_11"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Scheerer, F., Siber, J., Wagenpfeil, T.: Stream-based monitoring of algorithmic fairness. In: Gurfinkel, A., Heule, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 60\u201381. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-90643-5_4","DOI":"10.1007\/978-3-031-90643-5_4"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-030-53291-8_3","volume-title":"Computer Aided Verification","author":"J Baumeister","year":"2020","unstructured":"Baumeister, J., Finkbeiner, B., Schirmer, S., Schwenger, M., Torens, C.: RTLola cleared for take-off: monitoring autonomous aircraft. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 28\u201339. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_3"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Schwenger, M., Torfah, H.: FPGA stream-monitoring of real-time properties. ACM Trans. Embed. Comput. Syst. 18(5s), 88:1\u201388:24 (2019). https:\/\/doi.org\/10.1145\/3358220","DOI":"10.1145\/3358220"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-21437-0_9","volume-title":"FM 2011: Formal Methods","author":"B Bonakdarpour","year":"2011","unstructured":"Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-based runtime verification. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 88\u2013102. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_9"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Real-Time Systems Series, Springer, Boston (2011)","DOI":"10.1007\/978-1-4614-0676-1"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"d\u2019Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166\u2013174. IEEE (2005)","DOI":"10.1109\/TIME.2005.26"},{"key":"11_CR14","unstructured":"Eremeev, A.V., Malakhov, A.A., Sakhno, M.A., Sosnovskaya, M.Y.: Multi-core processor scheduling with respect to data bus bandwidth. CoRR abs\/2010.16058 (2020). https:\/\/arxiv.org\/abs\/2010.16058"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. In: Broy, M., Peled, D.A., Kalus, G. (eds.) Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security, vol.\u00a034, pp. 141\u2013175. IOS Press (2013). https:\/\/doi.org\/10.3233\/978-1-61499-207-3-141","DOI":"10.3233\/978-1-61499-207-3-141"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Faymonville, P., et al.: Streamlab: stream-based monitoring of cyber-physical systems. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. LNCS, vol. 11561, pp. 421\u2013431. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_24","DOI":"10.1007\/978-3-030-25540-4_24"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Striver: Stream runtime verification for real-time event-streams. In: International Conference on Runtime Verification, pp. 282\u2013298. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03769-7_16"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Hagen, G., Tinelli, C.: Scaling up the formal verification of lustre programs with SMT-based techniques. In: Cimatti, A., Jones, R.B. (eds.) Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp.\u00a01\u20139. IEEE (2008). https:\/\/doi.org\/10.1109\/FMCAD.2008.ECP.19","DOI":"10.1109\/FMCAD.2008.ECP.19"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-540-69149-5_40","volume-title":"Verified Software: Theories, Tools, Experiments","author":"K Havelund","year":"2008","unstructured":"Havelund, K., Goldberg, A.: Verify your runs. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 374\u2013383. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69149-5_40"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/nav.3800210113","volume":"21","author":"W Horn","year":"1974","unstructured":"Horn, W.: Some simple scheduling algorithms. Naval Res. Logistics Q. 21(1), 177\u2013185 (1974)","journal-title":"Naval Res. Logistics Q."},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/S10009-010-0184-4","volume":"14","author":"X Huang","year":"2012","unstructured":"Huang, X., et al.: Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14(3), 327\u2013347 (2012). https:\/\/doi.org\/10.1007\/S10009-010-0184-4","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Kallwies, H., Leucker, M., Schmitz, M., Schulz, A., Thoma, D., Weiss, A.: Tessla\u2013an ecosystem for runtime verification. In: International Conference on Runtime Verification, pp. 314\u2013324. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-17196-3_20"},{"issue":"5","key":"11_CR23","doi-asserted-by":"publisher","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 Methods Program. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/J.JLAP.2008.08.004","journal-title":"J. Log. Algebraic Methods Program."},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-35632-2_21","volume-title":"Runtime Verification","author":"S Navabpour","year":"2013","unstructured":"Navabpour, S., Bonakdarpour, B., Fischmeister, S.: Path-aware time-triggered runtime verification. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 199\u2013213. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_21"},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Perez, I., Goodloe, A.E., Dedden, F.: Runtime verification in real-time with the copilot language: a tutorial. In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (eds.) Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. LNCS, vol. 14934, pp. 469\u2013491. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_27","DOI":"10.1007\/978-3-031-71177-0_27"},{"key":"11_CR26","doi-asserted-by":"publisher","unstructured":"Rozier, K.Y., Schumann, J.: R2U2: tool overview. In: Reger, G., Havelund, K. (eds.) RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Kalpa Publications in Computing, vol.\u00a03, pp. 138\u2013156. EasyChair (2017). https:\/\/doi.org\/10.29007\/5PCH","DOI":"10.29007\/5PCH"},{"key":"11_CR27","doi-asserted-by":"publisher","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a07186, pp. 193\u2013207. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_15","DOI":"10.1007\/978-3-642-29860-8_15"},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"Xu, D., Wu, C., Yew, P.: On mitigating memory bandwidth contention through bandwidth-aware scheduling. In: Salapura, V., Gschwind, M., Knoop, J. (eds.) 19th International Conference on Parallel Architectures and Compilation Techniques, PACT 2010, Vienna, Austria, September 11-15, 2010, pp. 237\u2013248. ACM (2010). https:\/\/doi.org\/10.1145\/1854273.1854306","DOI":"10.1145\/1854273.1854306"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05435-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T16:47:39Z","timestamp":1785257259000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05435-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,12]]},"ISBN":["9783032054340","9783032054357"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05435-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,12]]},"assertion":[{"value":"12 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv25.isec.tugraz.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}