{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:38:41Z","timestamp":1766050721720,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NASA","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,13]]},"DOI":"10.1145\/3679008.3685541","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:14:09Z","timestamp":1726211649000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Operational and Declarative Runtime Verification (Keynote)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7079-0472","authenticated-orcid":false,"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1695-5560","authenticated-orcid":false,"given":"Moran","family":"Omer","sequence":"additional","affiliation":[{"name":"Bar-Ilan University, Bar-Ilan, Israel"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7280-6578","authenticated-orcid":false,"given":"Doron","family":"Peled","sequence":"additional","affiliation":[{"name":"Bar-Ilan University, Bar-Ilan, Israel"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_7"},{"volume-title":"Rule Systems for Run-Time Monitoring: From Eagle to RuleR","author":"Barringer Howard","key":"e_1_3_2_1_2_1","unstructured":"Howard Barringer, David Rydeheard, and Klaus Havelund. 2007. Rule Systems for Run-Time Monitoring: From Eagle to RuleR. In Runtime Verification, Oleg Sokolsky and Serdar Ta\u015f\u0131ran (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 111\u2013125."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0222-7"},{"key":"e_1_3_2_1_4_1","volume-title":"Pace","author":"Colombo Christian","year":"2010","unstructured":"Christian Colombo, Andrew Gauci, and Gordon J. Pace. 2010. LarvaStat: Monitoring of Statistical Properties. In Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, Howard Barringer, Yli\u00e8s Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, and Nikolai Tillmann (Eds.) (Lecture Notes in Computer Science, Vol. 6418). Springer, 480\u2013484."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17196-3_15"},{"volume-title":"12th International Symposium on Temporal Representation and Reasoning (TIME\u201905)","author":"D\u2019Angelo B.","key":"e_1_3_2_1_6_1","unstructured":"B. D\u2019Angelo, S. Sankaranarayanan, C. Sanchez, W. Robinson, B. Finkbeiner, H.B. Sipma, S. Mehrotra, and Z. Manna. 2005. LOLA: runtime monitoring of synchronous systems. In 12th International Symposium on Temporal Representation and Reasoning (TIME\u201905). 166\u2013174."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0380-3"},{"key":"e_1_3_2_1_8_1","volume-title":"FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Marieke Huisman, Corina S. Pasareanu, and Naijun Zhan (Eds.) (Lecture Notes in Computer Science","volume":"580","author":"Gorostiaga Felipe","year":"2021","unstructured":"Felipe Gorostiaga and C\u00e9sar S\u00e1nchez. 2021. HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Marieke Huisman, Corina S. Pasareanu, and Naijun Zhan (Eds.) (Lecture Notes in Computer Science, Vol. 13047). Springer, 563\u2013580."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.10"},{"key":"e_1_3_2_1_10_1","volume-title":"Data Automata in Scala. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014","author":"Havelund Klaus","year":"2014","unstructured":"Klaus Havelund. 2014. Data Automata in Scala. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. IEEE Computer Society, 1\u20139."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0309-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Klaus Havelund and Gerard Holzmann. 2023. Programming event monitors. International Journal on Software Tools for Technology Transfer https:\/\/doi.org\/10.1007\/s10009-023-00706-1 10.1007\/s10009-023-00706-1","DOI":"10.1007\/s10009-023-00706-1"},{"key":"e_1_3_2_1_13_1","volume-title":"Modeling Rover Communication Using Hierarchical State Machines with Scala. In 2nd International Workshop on the Timing Performance in Safety Engineering (TIPS 2017)","volume":"461","author":"Havelund Klaus","year":"2017","unstructured":"Klaus Havelund and Rajeev Joshi. 2017. Modeling Rover Communication Using Hierarchical State Machines with Scala. In 2nd International Workshop on the Timing Performance in Safety Engineering (TIPS 2017) (LNCS, Vol. 10489). Springer, 447\u2013461."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Klaus Havelund Panagiotis Katsaros Moran Omer Doron Peled and Anastasios Temperekidis. 2024. TP-DejaVu: Combining Operational and Declarative Runtime Verification. In Verification Model Checking and Abstract Interpretation Rayna Dimitrova Ori Lahav and Sebastian Wolff (Eds.). Springer Nature Switzerland Cham. 249\u2013263.","DOI":"10.1007\/978-3-031-50521-8_12"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00626-y"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-018-00327-4"},{"key":"e_1_3_2_1_18_1","unstructured":"Klaus Haveund. 2024. Daut - Monitoring Data Streams with Data Automata. https:\/\/github.com\/havelund\/daut"},{"volume-title":"TeSSLa \u2013 An Ecosystem for\u00a0Runtime Verification","author":"Kallwies Hannes","key":"e_1_3_2_1_19_1","unstructured":"Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, and Alexander Weiss. 2022. TeSSLa \u2013 An Ecosystem for\u00a0Runtime Verification. In Runtime Verification, Thao Dang and Volker Stolz (Eds.). Springer International Publishing, Cham. 314\u2013324."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00254-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64276-1_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297852"},{"key":"e_1_3_2_1_23_1","volume-title":"Helena Cuenca Cruz, and David E. Rydeheard","author":"Reger Giles","year":"2015","unstructured":"Giles Reger, Helena Cuenca Cruz, and David E. Rydeheard. 2015. MarQ: Monitoring at Runtime with QEA. In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, Christel Baier and Cesare Tinelli (Eds.) (Lecture Notes in Computer Science, Vol. 9035). Springer, 596\u2013610."},{"key":"e_1_3_2_1_24_1","unstructured":"W3 Schools. 2024. Python MySQL. https:\/\/www.w3schools.com\/python\/python_mysql_getstarted.asp"},{"key":"e_1_3_2_1_25_1","unstructured":"Open Source. 2024. ScalikeJDBC. https:\/\/scalikejdbc.org"}],"event":{"name":"VORTEX '24: 7th ACM International Workshop on Verification and Monitoring at Runtime Execution","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"VORTEX '24"},"container-title":["Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679008.3685541","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3679008.3685541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:14Z","timestamp":1750294694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679008.3685541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":25,"alternative-id":["10.1145\/3679008.3685541","10.1145\/3679008"],"URL":"https:\/\/doi.org\/10.1145\/3679008.3685541","relation":{},"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"2024-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}