{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:12:08Z","timestamp":1767262328144,"version":"3.37.3"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"JST ERATO HASUO Metamathematics for Systems Design","award":["JPMJER1603"],"award-info":[{"award-number":["JPMJER1603"]}]},{"name":"JSPS Grants-in-Aid","award":["15KT0012","18J22498"],"award-info":[{"award-number":["15KT0012","18J22498"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tcad.2018.2857358","type":"journal-article","created":{"date-parts":[[2018,7,18]],"date-time":"2018-07-18T20:08:11Z","timestamp":1531944491000},"page":"2649-2660","source":"Crossref","is-referenced-by-count":6,"title":["Moore-Machine Filtering for Timed and Untimed Pattern Matching"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9360-7490","authenticated-orcid":false,"given":"Masaki","family":"Waga","sequence":"first","affiliation":[{"name":"Information Systems Architecture Science Research Division, National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"Information Systems Architecture Science Research Division, National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(03)00013-3"},{"key":"ref33","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Proc Int Conf Formal Techn Model Anal Timed Fault Tolerant Syst Joint (FORMATS)"},{"key":"ref32","first-page":"321","article-title":"Multipattern string matching with $q$ -grams","volume":"11","author":"salmela","year":"2006","journal-title":"ACM J Experimental Algorithmics"},{"key":"ref31","first-page":"118","article-title":"A string matching algorithm fast on the average","author":"commentz-walter","year":"1979","journal-title":"Proc Colloq Autom Lang Program"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/359842.359859"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.jda.2006.11.004"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1992.267774"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2699444"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/360825.360855"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"key":"ref12","first-page":"8","article-title":"Fast regular expression matching using small TCAMs for network intrusion detection and prevention systems","author":"meiners","year":"2010","journal-title":"Proc 19th USENIX Security Symp"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-319-44878-7_8","article-title":"A Boyer–Moore type algorithm for timed pattern matching","author":"waga","year":"2016","journal-title":"Proc 3rd Int Conf Formal Model Anal Timed Syst (FORMATS)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178129"},{"key":"ref16","first-page":"322","article-title":"Measuring with timed patterns","author":"ferr\u00e8re","year":"2015","journal-title":"Proc CAV"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920987"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376635"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1185347.1185360"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1504\/IJSN.2007.012824"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1007\/978-3-662-49674-9_47","article-title":"Online timed pattern matching using derivatives","author":"ulus","year":"2016","journal-title":"Proc 22nd Int Conf Tools Algorithms Construct Anal Syst (TACAS)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICN.2008.119"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-319-10512-3_16","article-title":"Timed pattern matching","author":"ulus","year":"2014","journal-title":"Proc 3rd Int Conf Formal Model Anal Timed Syst (FORMATS)"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-319-65765-3_13","article-title":"Efficient online timed pattern matching by automata-based skipping","author":"waga","year":"2017","journal-title":"Proc 3rd Int Conf Formal Model Anal Timed Syst (FORMATS)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1402958.1402983"},{"key":"ref5","first-page":"329","article-title":"Montre: A tool for monitoring timed regular expressions","author":"ulus","year":"2017","journal-title":"Proc 29th Int Conf Comput -Aided Verification (CAV)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_12"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-3-319-65765-3_11","article-title":"On the quantitative semantics of regular expressions over real-valued signals","author":"bakhirkin","year":"2017","journal-title":"Proc 3rd Int Conf Formal Model Anal Timed Syst (FORMATS)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79743-9","author":"reese","year":"2006","journal-title":"Introduction to Logic Synthesis Using Verilog HDL"},{"key":"ref1","first-page":"1","article-title":"A report of RV-CuBES 2017","volume":"3","author":"reger","year":"2017","journal-title":"Proc Int Workshop Competitions Usability Benchmarks Eval Standard Runtime Verification Tools"},{"journal-title":"Monaa","year":"2017","author":"waga","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.04.015"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2857358"},{"journal-title":"Simulink User Guide","year":"2015","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0190-0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31284-7_22"},{"key":"ref25","first-page":"25","article-title":"Benchmarks for temporal logic requirements for automotive systems","author":"hoxha","year":"2014","journal-title":"Proc 1st 2nd Int Workshop Appl Verification Continuous Hybrid Syst"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8496924\/08412610.pdf?arnumber=8412610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T17:32:18Z","timestamp":1692207138000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8412610\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":38,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2857358","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}