{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:35:58Z","timestamp":1784241358967,"version":"3.55.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T00:00:00Z","timestamp":1675123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JST ERATO HASUO Metamathematics for Systems Design","award":["JPMJER1603, JPMJAX200U"],"award-info":[{"award-number":["JPMJER1603, JPMJAX200U"]}]},{"name":"JSPS","award":["15KT0012 & 18J22498"],"award-info":[{"award-number":["15KT0012 & 18J22498"]}]},{"name":"JST CEREST","award":["JPMJCR2012"],"award-info":[{"award-number":["JPMJCR2012"]}]},{"name":"ANR national research program PACS","award":["ANR-14-CE28-0002"],"award-info":[{"award-number":["ANR-14-CE28-0002"]}]},{"name":"ANR-NRF French-Singaporean research program ProMiS","award":["ANR-19-CE25-0015"],"award-info":[{"award-number":["ANR-19-CE25-0015"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2023,1,31]]},"abstract":"<jats:p>\n            Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, \u201ca given action is always followed by another action before a given deadline\u201d. This problem has strong connections with\n            <jats:italic>monitoring<\/jats:italic>\n            real-time systems. We address here timed pattern matching in the presence of an\n            <jats:italic>uncertain<\/jats:italic>\n            specification, i.e., that may contain timing parameters (e.g., the deadline can be uncertain or unknown). We want to know for which start and end dates, and for what values of the timing parameters, a property holds. For instance, we look for the minimum or maximum deadline (together with the corresponding start and end dates) for which the property holds. We propose two frameworks for\n            <jats:italic>parametric<\/jats:italic>\n            timed pattern matching. The first one is based on parametric timed model checking. In contrast to most parametric timed problems, the solution is effectively computable. The second one is a\n            <jats:italic>dedicated<\/jats:italic>\n            method; not only we largely improve the efficiency compared to the first method, but we further propose optimizations with skipping. Our experiment results suggest that our algorithms, especially the second one, are efficient and practically relevant.\n          <\/jats:p>","DOI":"10.1145\/3517194","type":"journal-article","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T16:33:20Z","timestamp":1650904400000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Parametric Timed Pattern Matching"],"prefix":"10.1145","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9360-7490","authenticated-orcid":false,"given":"Masaki","family":"Waga","sequence":"first","affiliation":[{"name":"Kyoto University, Kyoto-shi, Kyoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Vandoeuvre-l\u00e8s-Nancy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Chiyoda-ku, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,2,13]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0467-0"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_26"},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_12"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054109006905"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS2018.2018.00010"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2017.19"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00151-3_12"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_12"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_12"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_7"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178132"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_11"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00151-3_13"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/2699444"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0261-8"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52148-8_17"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.07.004"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jda.2006.11.004"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58485-4_43"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_15"},{"key":"e_1_3_3_30_2","first-page":"25","volume-title":"Proceedings of the 1st and 2nd International Workshops on Applied Verification for Continuous and Hybrid Systems.","volume":"34","author":"Hoxha Bardh","year":"2014","unstructured":"Bardh Hoxha, Houssam Abbas, and Georgios E. Fainekos. 2014. Benchmarks for temporal logic requirements for automotive systems. In Proceedings of the 1st and 2nd International Workshops on Applied Verification for Continuous and Hybrid Systems.Goran Frehse and Matthias Althoff (Eds.), Vol. 34, EasyChair, 25\u201330."},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00037-1"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-018- 0319-x"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_13"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2357445"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_7"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1137\/0206024"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_26"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3147660"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2019.8914490"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0199-z"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_48"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115702"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.5555\/17634"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79184"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_16"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_16"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_47"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_1"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44878-7_8"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20652-9_26"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_30"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450531"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_13"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1109\/MT-CPS.2018.00014"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517194","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3517194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:29Z","timestamp":1750188689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,31]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,31]]}},"alternative-id":["10.1145\/3517194"],"URL":"https:\/\/doi.org\/10.1145\/3517194","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,31]]},"assertion":[{"value":"2021-07-13","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-02-07","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-02-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}