{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T08:18:07Z","timestamp":1783153087697,"version":"3.54.6"},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2028,5,5]],"date-time":"2028-05-05T00:00:00Z","timestamp":1841097600000},"content-version":"am","delay-in-days":643,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["W2511064"],"award-info":[{"award-number":["W2511064"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62192732"],"award-info":[{"award-number":["62192732"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62032024"],"award-info":[{"award-number":["62032024"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJAP2301"],"award-info":[{"award-number":["JPMJAP2301"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJBY24D7"],"award-info":[{"award-number":["JPMJBY24D7"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011185","name":"Institute of Software, Chinese Academy of Sciences","doi-asserted-by":"publisher","award":["ISCAS-JCZD202406"],"award-info":[{"award-number":["ISCAS-JCZD202406"]}],"id":[{"id":"10.13039\/501100011185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012165","name":"Key Technologies Research and Development Program","doi-asserted-by":"publisher","award":["2022YFA1005101"],"award-info":[{"award-number":["2022YFA1005101"]}],"id":[{"id":"10.13039\/501100012165","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001695","name":"Japan Science and Technology Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001695","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP25K21179"],"award-info":[{"award-number":["JP25K21179"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.scico.2026.103499","type":"journal-article","created":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T22:18:42Z","timestamp":1777673922000},"page":"103499","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["CauMon: A tool for online monitoring against signal temporal logic"],"prefix":"10.1016","volume":"253","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3854-9846","authenticated-orcid":false,"given":"Zhenya","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9260-9697","authenticated-orcid":false,"given":"Jie","family":"An","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8300-4650","authenticated-orcid":false,"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2026.103499_bib0001","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"Maler","year":"2004"},{"key":"10.1016\/j.scico.2026.103499_bib0002","series-title":"Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, Part I","first-page":"62","article-title":"Online causation monitoring of signal temporal logic","volume":"13964","author":"Zhang","year":"2023"},{"key":"10.1016\/j.scico.2026.103499_bib0003","series-title":"Proceedings of the 26th International Symposium on Formal Methods, FM 2024, Part II","first-page":"286","article-title":"CauMon: an informative online monitor for signal temporal logic","volume":"14934","author":"Zhang","year":"2024"},{"key":"10.1016\/j.scico.2026.103499_bib0004","series-title":"Proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010","first-page":"167","article-title":"Breach, A toolbox for verification and parameter synthesis of hybrid systems","volume":"6174","author":"Donz\u00e9","year":"2010"},{"key":"10.1016\/j.scico.2026.103499_bib0005","series-title":"CauMon: a tool for online monitoring against signal temporal logic","author":"Zhang","year":"2026"},{"key":"10.1016\/j.scico.2026.103499_bib0006","series-title":"Proceedings of the 5th International Conference on Runtime Verification, RV 2014","first-page":"231","article-title":"On-Line monitoring for temporal logic robustness","volume":"8734","author":"Dokhanchi","year":"2014"},{"key":"10.1016\/j.scico.2026.103499_bib0007","series-title":"Proceedings of the 13th ACM\/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015","first-page":"70","article-title":"Metric interval temporal logic specification elicitation and debugging","author":"Dokhanchi","year":"2015"},{"key":"10.1016\/j.scico.2026.103499_bib0008","series-title":"Proceedings of the 13th ACM\/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015","first-page":"218","article-title":"From signal temporal logic to FPGA monitors","author":"Jak\u0161i\u0107","year":"2015"},{"issue":"1","key":"10.1016\/j.scico.2026.103499_bib0009","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10703-017-0286-7","article-title":"Robust online monitoring of signal temporal logic","volume":"51","author":"Deshmukh","year":"2017","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.scico.2026.103499_bib0010","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10703-018-0319-x","article-title":"Quantitative monitoring of STL with edit distance","volume":"53","author":"Jak\u0161i\u0107","year":"2018","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.scico.2026.103499_bib0011","series-title":"Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-Valued signals","volume":"6246","author":"Donz\u00e9","year":"2010"},{"key":"10.1016\/j.scico.2026.103499_bib0012","series-title":"Proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007","first-page":"304","article-title":"AMT: A property-based monitoring tool for analog systems","volume":"4763","author":"Ni\u010dkovi\u0107","year":"2007"},{"issue":"6","key":"10.1016\/j.scico.2026.103499_bib0013","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1007\/s10009-020-00582-z","article-title":"AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic","volume":"22","author":"Ni\u010dkovi\u0107","year":"2020","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.scico.2026.103499_bib0014","series-title":"Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020","first-page":"564","article-title":"RTAMT: Online robustness monitors from STL","volume":"12302","author":"Nickovic","year":"2020"},{"key":"10.1016\/j.scico.2026.103499_bib0015","series-title":"Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011","first-page":"254","article-title":"S-TaLiRo: a tool for temporal logic falsification for hybrid systems","volume":"6605","author":"Annpureddy","year":"2011"},{"key":"10.1016\/j.scico.2026.103499_bib0016","series-title":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)","first-page":"197","article-title":"Localizing faults in simulink\/stateflow models with STL","author":"Bartocci","year":"2018"},{"key":"10.1016\/j.scico.2026.103499_bib0017","series-title":"2025IEEE Real-Time Systems Symposium (RTSS)","first-page":"324","article-title":"Control synthesis of cyber-physical systems for real-time specifications through causation-Guided reinforcement learning","author":"Tang","year":"2025"},{"key":"10.1016\/j.scico.2026.103499_bib0018","series-title":"Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023","first-page":"15118","article-title":"STL-based synthesis of feedback controllers using reinforcement learning","author":"Singh","year":"2023"},{"key":"10.1016\/j.scico.2026.103499_bib0019","series-title":"Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday","first-page":"284","article-title":"Causality monitoring for MIMOS","author":"Huang","year":"2025"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642326000651?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642326000651?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T07:40:58Z","timestamp":1783150858000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642326000651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":19,"alternative-id":["S0167642326000651"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2026.103499","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"CauMon: A tool for online monitoring against signal temporal logic","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2026.103499","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103499"}}