{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:22:49Z","timestamp":1742962969838,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031742330"},{"type":"electronic","value":"9783031742347"}],"license":[{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-74234-7_10","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:01:58Z","timestamp":1728640918000},"page":"163-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Adding State to\u00a0Stream Runtime Verification"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Caldeira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8301-4752","authenticated-orcid":false,"given":"Hannes","family":"Kallwies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3696-9222","authenticated-orcid":false,"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Thoma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,12]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"H Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified event automata: towards expressive and efficient runtime monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 68\u201384. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_9"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-031-47963-2_23","volume-title":"Theoretical Aspects of Computing - ICTAC 2023","author":"MJ Begemann","year":"2023","unstructured":"Begemann, M.J., Kallwies, H., Leucker, M., Schmitz, M.: TeSSLa-ROS-Bridge - runtime verification of robotic systems. In: \u00c1brah\u00e1m, E., Dubslaff, C., Tarifa, S.L.T. (eds.) ICTAC 2023. LNCS, vol. 14446, pp. 388\u2013398. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47963-2_23"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","volume-title":"Seminar on Concurrency","author":"G Berry","year":"1985","unstructured":"Berry, G., Cosserat, L.: The ESTEREL synchronous programming language and its mathematical semantics. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) CONCURRENCY 1984. LNCS, vol. 197, pp. 389\u2013448. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-15670-4_19"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-030-72013-1_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Biewer","year":"2021","unstructured":"Biewer, S., Finkbeiner, B., Hermanns, H., K\u00f6hl, M.A., Schnitzer, Y., Schwenger, M.: RTLola on board: testing real driving emissions on your phone. In: TACAS 2021, Part II. LNCS, vol. 12652, pp. 365\u2013372. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_20"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Caldeira\u00a0Cabral, M.: An imperative syntax extension for stream runtime verification. Bachelor\u2019s thesis, Universit\u00e4t zu L\u00fcbeck (2024)","DOI":"10.1007\/978-3-031-74234-7_10"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA\u2014safer monitoring of real-time java programs (tool paper). In: Hung, D.V., Krishnan, P. (eds.) Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23\u201327 November 2009, pp. 33\u201337. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/SEFM.2009.13","DOI":"10.1109\/SEFM.2009.13"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-030-03044-5_10","volume-title":"Formal Methods: Foundations and Applications","author":"L Convent","year":"2018","unstructured":"Convent, L., Hungerecker, S., Leucker, M., Scheffel, T., Schmitz, M., Thoma, D.: TeSSLa: temporal stream-based specification language. In: Massoni, T., Mousavi, M.R. (eds.) SBMF 2018. LNCS, vol. 11254, pp. 144\u2013162. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03044-5_10"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: TIME, pp. 166\u2013174. IEEE Computer Society (2005)","DOI":"10.1109\/TIME.2005.26"},{"key":"10_CR9","doi-asserted-by":"publisher","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), Coronado Island, San Diego, CA, USA, 26\u201329 November 2001, pp. 412\u2013416. IEEE Computer Society (2001). https:\/\/doi.org\/10.1109\/ASE.2001.989841","DOI":"10.1109\/ASE.2001.989841"},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Gonnord, L., Halbwachs, N., Raymond, P.: From discrete duration calculus to symbolic automata. In: Maraninchi, F., Girault, A., Pouzet, M. (eds.) Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004. Electronic Notes in Theoretical Computer Science, Barcelona, Spain, 28 March 2004, vol.\u00a0153, pp. 3\u201318. Elsevier (2004). https:\/\/doi.org\/10.1016\/J.ENTCS.2006.02.022","DOI":"10.1016\/J.ENTCS.2006.02.022"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-030-03769-7_16","volume-title":"Runtime Verification","author":"F Gorostiaga","year":"2018","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Striver: stream runtime verification for real-time event-streams. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 282\u2013298. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_16"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10009-021-00605-3","volume":"23","author":"F Gorostiaga","year":"2021","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Stream runtime verification of real-time event streams with the Striver language. Int. J. Softw. Tools Technol. Transf. 23(2), 157\u2013183 (2021)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Springer, New York (1993). https:\/\/doi.org\/10.1007\/978-1-4757-2231-4"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-031-17196-3_20","volume-title":"Runtime Verification","author":"H Kallwies","year":"2022","unstructured":"Kallwies, H., Leucker, M., Schmitz, M., Schulz, A., Thoma, D., Weiss, A.: TeSSLa - an ecosystem for runtime verification. In: Dang, T., Stolz, V. (eds.) RV 2022. LNCS, vol. 13498, pp. 314\u2013324. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17196-3_20"},{"issue":"5","key":"10_CR15","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)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10_CR16","unstructured":"Nystrom, B.: What color is your function? (2015). https:\/\/journal.stuffwithstuff.com\/2015\/02\/01\/what-color-is-your-function\/"},{"key":"10_CR17","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference, 2 edn. Pragmatic Bookshelf (2013)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Peyton\u00a0Jones, S.L., Wadler, P.: Imperative functional programming. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1993, pp. 71\u201384. Association for Computing Machinery (1993)","DOI":"10.1145\/158511.158524"},{"key":"10_CR19","unstructured":"Reger, G.: Automata based monitoring and mining of execution traces. Ph.D. thesis, University of Manchester, UK (2014). http:\/\/www.manchester.ac.uk\/escholar\/uk-ac-man-scw:225931"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-030-03769-7_9","volume-title":"Runtime Verification","author":"C S\u00e1nchez","year":"2018","unstructured":"S\u00e1nchez, C.: Online and offline stream runtime verification of synchronous systems. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 138\u2013163. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_9"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Syme, D.: The early history of F#. Proc. ACM Program. Lang. 4(HOPL), 75:1\u201375:58 (2020)","DOI":"10.1145\/3386325"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1992, pp. 1\u201314. Association for Computing Machinery (1992)","DOI":"10.1145\/143165.143169"}],"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-031-74234-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T13:41:24Z","timestamp":1732887684000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74234-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,12]]},"ISBN":["9783031742330","9783031742347"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74234-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,12]]},"assertion":[{"value":"12 October 2024","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":"Instanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/yeni.cmpe.bogazici.edu.tr\/rv24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}