{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:50:01Z","timestamp":1726213801424},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T00:00:00Z","timestamp":1687392000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T00:00:00Z","timestamp":1687392000000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1007\/s10009-023-00706-1","type":"journal-article","created":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T04:19:11Z","timestamp":1687493951000},"page":"33-47","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Programming event monitors"],"prefix":"10.1007","volume":"26","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard J.","family":"Holzmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,22]]},"reference":[{"key":"706_CR1","volume-title":"Proceedings of the International Workshop on Sensing for App Phones (PhoneSense\u201910)","author":"I. Aad","year":"2010","unstructured":"Aad, I., Niemi, V.: NRC data collection campaign and the privacy by design principles. In: Proceedings of the International Workshop on Sensing for App Phones (PhoneSense\u201910) (2010)"},{"key":"706_CR2","series-title":"LNCS","first-page":"57","volume-title":"Proc. 17th Int. Symposium on Formal Methods (FM 2011)","author":"H. Barringer","year":"2011","unstructured":"Barringer, H., TraceContract, K.H.: A Scala DSL for trace analysis. In: Proc. 17th Int. Symposium on Formal Methods (FM 2011), Limerick, Ireland. LNCS, vol.\u00a06664, pp.\u00a057\u201372. Springer, Berlin (2011)"},{"key":"706_CR3","series-title":"LNCS","first-page":"44","volume-title":"VMCAI","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: VMCAI. LNCS, vol.\u00a02937, pp.\u00a044\u201357. Springer, Berlin (2004)"},{"key":"706_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-77395-5_10","volume-title":"Proc. of the 7th Int. Workshop on Runtime Verification (RV\u201907)","author":"H. Barringer","year":"2007","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. In: Proc. of the 7th Int. Workshop on Runtime Verification (RV\u201907), Vancouver, Canada. LNCS, vol.\u00a04839, pp.\u00a0111\u2013125. Springer, Berlin (2007)"},{"key":"706_CR5","volume-title":"Scala Days 2011","author":"H. Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K., Kurklu, E., Morris, R.: Checking flight rules with TraceContract: application of a Scala DSL for trace analysis. In: Scala Days 2011. Stanford University, California (2011)"},{"key":"706_CR6","first-page":"88","volume-title":"Proc. of the 18th Int. Symp. on Temporal Representation and Reasoning","author":"D. Basin","year":"2011","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Zalinescu, E.: Monitoring usage-control policies in distributed systems. In: Proc. of the 18th Int. Symp. on Temporal Representation and Reasoning, pp.\u00a088\u201395 (2011)"},{"issue":"3","key":"706_CR7","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/s10703-015-0222-7","volume":"46","author":"D.A. Basin","year":"2015","unstructured":"Basin, D.A., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring of temporal first-order properties with aggregations. Form. Methods Syst. Des. 46(3), 262\u2013285 (2015)","journal-title":"Form. Methods Syst. Des."},{"key":"706_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-20398-5_3","volume-title":"NASA Formal Methods","author":"A. Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M.: The theory and practice of SALT. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NASA Formal Methods. LNCS, vol.\u00a06617, pp.\u00a013\u201340. Springer, Berlin (2011)"},{"key":"706_CR9","unstructured":"Cobra on github. https:\/\/github.com\/nimble-code\/Cobra (2022)"},{"key":"706_CR10","first-page":"33","volume-title":"Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM \u201909","author":"C. Colombo","year":"2009","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA \u2014 safer monitoring of real-time Java programs (tool paper). In: Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM \u201909, pp.\u00a033\u201337. IEEE Computer Society, Washington (2009)"},{"key":"706_CR11","first-page":"166","volume-title":"Proceedings of TIME 2005: The 12th International Symposium on Temporal Representation and Reasoning","author":"B. D\u2019Angelo","year":"2005","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: Proceedings of TIME 2005: The 12th International Symposium on Temporal Representation and Reasoning, pp.\u00a0166\u2013174. IEEE, New York (2005)"},{"key":"706_CR12","unstructured":"Daut on github. https:\/\/github.com\/havelund\/daut (2022)"},{"issue":"2","key":"706_CR13","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10009-015-0380-3","volume":"18","author":"N. Decker","year":"2016","unstructured":"Decker, N., Leucker, M., Thoma, D.: Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18(2), 205\u2013225 (2016)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"706_CR14","unstructured":"FastCSV on github. https:\/\/github.com\/osiegmar\/FastCSV (2022)"},{"key":"706_CR15","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/978-3-030-90870-6_30","volume-title":"Formal Methods","author":"F. Gorostiaga","year":"2021","unstructured":"Gorostiaga, F., HStriver, C.S.: A very functional extensible tool for the runtime verification of real-time event streams. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) Formal Methods. LNCS, vol.\u00a013047, pp.\u00a0563\u2013580. Springer, Berlin (2021)"},{"issue":"2","key":"706_CR16","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S. Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"706_CR17","first-page":"1","volume-title":"2014 Theoretical Aspects of Software Engineering Conference, TASE 2014","author":"K. Havelund","year":"2014","unstructured":"Havelund, K.: Data automata in Scala. In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1\u20133, 2014, pp.\u00a01\u20139. IEEE Computer Society, Washington (2014)"},{"issue":"2","key":"706_CR18","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K. Havelund","year":"2015","unstructured":"Havelund, K.: Rule-based runtime verification revisited. Int. J.\u00a0Softw. Tools Technol. Transf. 17(2), 143\u2013170 (2015)","journal-title":"Int. J.\u00a0Softw. Tools Technol. Transf."},{"issue":"1","key":"706_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s11334-016-0282-x","volume":"13","author":"G.J. Holzmann","year":"2017","unstructured":"Holzmann, G.J.: Cobra: a light-weight tool for static and dynamic program analysis. Innov. Syst. Softw. Eng. 13(1), 35\u201349 (2017)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"706_CR20","unstructured":"Joshi, R.: Personal communication (2019)"},{"key":"706_CR21","series-title":"LNCS","first-page":"314","volume-title":"Runtime Verification \u2013 22nd International Conference, RV 2022","author":"H. Kallwies","year":"2022","unstructured":"Kallwies, H., Leucker, M., Schmitz, M., Schulz, A., Thoma, D., Weiss, A.: TeSSLa \u2013 an ecosystem for runtime verification. In: Dang, T., Stolz, V. (eds.) Runtime Verification \u2013 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28\u201330, 2022. LNCS, vol.\u00a013498, pp.\u00a0314\u2013324. Springer, Berlin (2022)"},{"issue":"2","key":"706_CR22","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/S1571-0661(04)00254-3","volume":"55","author":"M. Kim","year":"2001","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a run-time assurance tool for Java. Electron. Notes Theor. Comput. Sci. 55(2), 218\u2013235 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"706_CR23","series-title":"LNCS","volume-title":"17th International Colloquium on Theoretical Aspects of Computing (ICTAC\u201920)","author":"E. Kurklu","year":"2020","unstructured":"Kurklu, E., Havelund, K.: A flight rule checker for the LADEE Lunar spacecraft. In: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC\u201920). LNCS, vol.\u00a012545 (2020)"},{"key":"706_CR24","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"P.O. Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. Int. J.\u00a0Softw. Tech. Technol. Transf. 14, 249\u2013289 (2012). https:\/\/doi.org\/10.1007\/s10009-011-0198-6","journal-title":"Int. J.\u00a0Softw. Tech. Technol. Transf."},{"key":"706_CR25","volume-title":"Programming in Scala: Updated for Scala 2.12","author":"M. Odersky","year":"2016","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala: Updated for Scala 2.12, 3rd edn. Artima Incorporation, USA (2016)","edition":"3"},{"key":"706_CR26","unstructured":"Perez, I., Dedden, F., Goodloe, A.: Copilot 3. Technical Report NASA\/TM-2020-220587, NASA Langley Research Center, (2020). https:\/\/ntrs.nasa.gov\/citations\/20200003164"},{"key":"706_CR27","first-page":"46","volume-title":"18th Annual Symposium on Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp.\u00a046\u201357. IEEE Computer Society, Washington (1977)"},{"key":"706_CR28","first-page":"596","volume-title":"Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)","author":"G. Reger","year":"2015","unstructured":"Reger, G., Cruz, H.C., MarQ, D.R.: Monitoring at runtime with QEA. In: Baier, C., Tinelli, C. (eds.) Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), pp.\u00a0596\u2013610. Springer, Berlin (2015)"},{"key":"706_CR29","unstructured":"Scala programming language. http:\/\/www.scala-lang.org (2022)"},{"key":"706_CR30","series-title":"LNCS","volume-title":"20th International Conference on Runtime Verification (RV\u201920)","author":"N. Shafiei","year":"2020","unstructured":"Shafiei, N., Havelund, K., Mehlitz, P.: Actor-based runtime verification with MESA. In: 20th International Conference on Runtime Verification (RV\u201920). LNCS, vol.\u00a012399. Springer, Berlin (2020)"},{"key":"706_CR31","unstructured":"TraceContract on github. https:\/\/github.com\/havelund\/tracecontract (2022)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00706-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00706-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00706-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T08:06:24Z","timestamp":1707984384000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00706-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,22]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["706"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00706-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,22]]},"assertion":[{"value":"30 May 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}