{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:22:40Z","timestamp":1779074560059,"version":"3.51.4"},"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_8","type":"book-chapter","created":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T01:30:18Z","timestamp":1757727018000},"page":"120-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modular and\u00a0Online Monitoring of\u00a0Temporal Logic Specification with\u00a0Integral and\u00a0Filter"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8048-9317","authenticated-orcid":false,"given":"Simone","family":"Silvetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3061-863X","authenticated-orcid":false,"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2263-9342","authenticated-orcid":false,"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,12]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Akazaki, T., Hasuo, I.: Time robustness in MTL and expressivity in hybrid system falsification. In: Proc. of CAV, pp. 356\u2013374. Springer (2015)","DOI":"10.1007\/978-3-319-21668-3_21"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM (JACM) 43(1), 116\u2013146 (1996)","journal-title":"J. ACM (JACM)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bakhirkin, A., Basset, N.: Specification and efficient monitoring beyond STL. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 79\u201397. Springer (2019)","DOI":"10.1007\/978-3-030-17465-1_5"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bakhirkin, A., Ferr\u00e8re, T., Henzinger, T., Nickovic, D.: The first-order logic of signals. In: International Conference on Embedded Software (EMSOFT) (2018)","DOI":"10.1109\/EMSOFT.2018.8537203"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Basin, D., et\u00a0al.: VeriMon: a formally verified monitoring tool. In: International Colloquium on Theoretical Aspects of Computing, pp.\u00a01\u20136. Springer (2022)","DOI":"10.1007\/978-3-031-17715-6_1"},{"key":"8_CR6","first-page":"19","volume":"3","author":"DA Basin","year":"2017","unstructured":"Basin, D.A., Klaedtke, F., Zalinescu, E.: The MonPoly monitoring tool. RV-CuBES 3, 19\u201328 (2017)","journal-title":"The MonPoly monitoring tool. RV-CuBES"},{"issue":"8","key":"8_CR7","doi-asserted-by":"publisher","first-page":"1593","DOI":"10.2337\/dci19-0028","volume":"42","author":"T Battelino","year":"2019","unstructured":"Battelino, T., et al.: Clinical targets for continuous glucose monitoring data interpretation: recommendations from the international consensus on time in range. Diabetes Care 42(8), 1593\u20131603 (2019)","journal-title":"Diabetes Care"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ic.2014.01.012","volume":"236","author":"L Brim","year":"2014","unstructured":"Brim, L., Dluho\u0161, P., \u0160afr\u00e1nek, D., Vejpustek, T.: STL*: Extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236, 52\u201367 (2014)","journal-title":"Inf. Comput."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Buyukkocak, A.T., Aksaray, D., Yaz\u0131c\u0131o\u011flu, Y.: Control synthesis using signal temporal logic specifications with integral and derivative predicates. In: 2021 American Control Conference (ACC), pp. 4873\u20134878. IEEE (2021)","DOI":"10.23919\/ACC50511.2021.9482651"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Clifford: Preliminary sketch of biquaternions. Proc. London Math. Soc. 1(1), 381\u2013395 (1871)","DOI":"10.1112\/plms\/s1-4.1.381"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10703-017-0286-7","volume":"51","author":"JV Deshmukh","year":"2017","unstructured":"Deshmukh, J.V., Donz\u00e9, A., Ghosh, S., Jin, X., Juniwal, G., Seshia, S.A.: Robust online monitoring of signal temporal logic. Formal Methods Syst. Design 51(1), 5\u201330 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0286-7","journal-title":"Formal Methods Syst. Design"},{"issue":"18","key":"8_CR12","doi-asserted-by":"publisher","first-page":"4116","DOI":"10.3390\/jcm10184116","volume":"10","author":"M Divani","year":"2021","unstructured":"Divani, M., et al.: Assessment of hyperglycemia, hypoglycemia and inter-day glucose variability using continuous glucose monitoring among diabetic patients on chronic hemodialysis. J. Clin. Med. 10(18), 4116 (2021)","journal-title":"J. Clin. Med."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Ferrere, T., Maler, O.: Efficient robust monitoring for STL. In: International Conference on Computer Aided Verification, pp. 264\u2013279. Springer (2013)","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Faymonville, P., et al.: StreamLAB: stream-based monitoring of cyber-physical systems. In: International Conference on Computer Aided Verification, pp. 421\u2013431. Springer (2019)","DOI":"10.1007\/978-3-030-25540-4_24"},{"issue":"5","key":"8_CR15","first-page":"799","volume":"48","author":"CJ Hoogendoorn","year":"2025","unstructured":"Hoogendoorn, C.J., et al.: Dynamic relationships among continuous glucose metrics and momentary cognitive performance in diverse adults with type 1 diabetes. Diabetes Care 48(5), 799\u2013806 (2025)","journal-title":"Diabetes Care"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Kubistin, D., Pla\u00df-D\u00fclmer, C., Arnold, S., Kneuer, T., Lindauer, M., M\u00fcller-Williams, J., Schumacher, M., ICOS RI: Icos atmosphere level 2 data, hohenpeissenberg, release 2024-1 (2024). https:\/\/doi.org\/10.18160\/QSDJ-P768, https:\/\/meta.icos-cp.eu\/collections\/jXIGuaTJJapMNE8XKAP4tC_d","DOI":"10.18160\/QSDJ-P768"},{"key":"8_CR17","unstructured":"Lemire, D.: Streaming maximum-minimum filter using no more than three comparisons per element. arXiv preprint cs\/0610046 (2006)"},{"key":"8_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. In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp. 1925\u20131933 (2018)","DOI":"10.1145\/3167132.3167338"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Ma, M., Preum, S.M., Ahmed, M.Y., T\u00e4rneberg, W., Hendawi, A., Stankovic, J.A.: Data sets, modeling, and decision making in smart cities: a survey 4(2) (2019). https:\/\/doi.org\/10.1145\/3355283","DOI":"10.1145\/3355283"},{"key":"8_CR20","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.) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp. 152\u2013166. Springer, Berlin Heidelberg, Berlin, Heidelberg (2004)"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10009-023-00719-w","volume":"25","author":"K Mamouras","year":"2023","unstructured":"Mamouras, K., Chattopadhyay, A., Wang, Z.: A compositional framework for algebraic quantitative online monitoring over continuous-time signals. Int. J. Softw. Tools Technol. Transfer 25(4), 557\u2013573 (2023)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Zaks, A.: On the merits of temporal testers. 25 Years of Model Checking: History, Achievements, Perspectives, pp. 172\u2013195 (2008)","DOI":"10.1007\/978-3-540-69850-0_11"},{"key":"8_CR23","unstructured":"Silvetti, S., Loreti, M., Nenzi, L.: Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter (Extended Version). https:\/\/github.com\/LogArtLab\/gemon\/blob\/main\/paper.pdf"},{"key":"8_CR24","unstructured":"Silvetti, S., Loreti, M., Nenzi, L.: Github repository (2025). https:\/\/github.com\/LogArtLab\/gemon"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Silvetti, S., Nenzi, L., Bartocci, E., Bortolussi, L.: Signal convolution logic. In: International Symposium on Automated Technology for Verification and Analysis, pp. 267\u2013283. Springer (2018)","DOI":"10.1007\/978-3-030-01090-4_16"},{"issue":"5","key":"8_CR26","doi-asserted-by":"publisher","first-page":"2713","DOI":"10.1109\/TSC.2021.3074956","volume":"15","author":"C Tsigkanos","year":"2022","unstructured":"Tsigkanos, C., Bersani, M.M., Frangoudis, P.A., Dustdar, S.: Edge-based runtime verification for the internet of things. IEEE Trans. Serv. Comput. 15(5), 2713\u20132727 (2022). https:\/\/doi.org\/10.1109\/TSC.2021.3074956","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"1","key":"8_CR27","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10009-023-00720-3","volume":"26","author":"T Yamaguchi","year":"2024","unstructured":"Yamaguchi, T., Hoxha, B., Ni\u010dkovi\u0107, D.: Rtamt-runtime robustness monitors with application to cps and robotics. Int. J. Softw. Tools Technol. Transfer 26(1), 79\u201399 (2024)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"1","key":"8_CR28","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1038\/s41597-023-01940-7","volume":"10","author":"Q Zhao","year":"2023","unstructured":"Zhao, Q., et al.: Chinese diabetes datasets for data-driven machine learning. Sci. Data 10(1), 35 (2023)","journal-title":"Sci. Data"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T07:43:19Z","timestamp":1766043799000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05435-7_8"}},"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_8","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"}}]}}