{"id":"https://openalex.org/W4391723340","doi":"https://doi.org/10.1145/3645114","title":"Elements of Timed Pattern Matching","display_name":"Elements of Timed Pattern Matching","publication_year":2024,"publication_date":"2024-02-10","ids":{"openalex":"https://openalex.org/W4391723340","doi":"https://doi.org/10.1145/3645114"},"language":"en","primary_location":{"id":"doi:10.1145/3645114","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3645114","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3645114","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3645114","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054455487","display_name":"Dogan Ulus","orcid":"https://orcid.org/0000-0002-5090-1769"},"institutions":[{"id":"https://openalex.org/I4405392","display_name":"Bo\u011fazi\u00e7i University","ror":"https://ror.org/03z9tma90","country_code":"TR","type":"education","lineage":["https://openalex.org/I4405392"]}],"countries":["TR"],"is_corresponding":true,"raw_author_name":"Dogan Ulus","raw_affiliation_strings":["Bo\u01e7azi\u00e7i University, Istanbul, Turkey"],"raw_orcid":"https://orcid.org/0000-0002-5090-1769","affiliations":[{"raw_affiliation_string":"Bo\u01e7azi\u00e7i University, Istanbul, Turkey","institution_ids":["https://openalex.org/I4405392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038674393","display_name":"Thomas Ferr\u00e8re","orcid":"https://orcid.org/0000-0001-5199-3143"},"institutions":[{"id":"https://openalex.org/I4210133271","display_name":"Imagination Technologies (United Kingdom)","ror":"https://ror.org/03rf62a76","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210133271"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thomas Ferr\u00e8re","raw_affiliation_strings":["Imagination Technologies, Kings Langley, UK"],"raw_orcid":"https://orcid.org/0000-0001-5199-3143","affiliations":[{"raw_affiliation_string":"Imagination Technologies, Kings Langley, UK","institution_ids":["https://openalex.org/I4210133271"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022825325","display_name":"Eug\u00e8ne Asarin","orcid":"https://orcid.org/0000-0001-7983-2202"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Eugene Asarin","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France"],"raw_orcid":"https://orcid.org/0000-0001-7983-2202","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052399473","display_name":"Dejan Ni\u010dkovi\u0107","orcid":"https://orcid.org/0000-0001-5468-0396"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Dejan Nickovic","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0001-5468-0396","affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012209374","display_name":"Oded Maler","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Oded Maler","raw_affiliation_strings":["VERIMAG, CNRS, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VERIMAG, CNRS, Grenoble, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5054455487"],"corresponding_institution_ids":["https://openalex.org/I4405392"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02376884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"4","first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pattern-matching","display_name":"Pattern matching","score":0.780142605304718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.775574266910553},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.7125727534294128},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5431922078132629},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5394559502601624},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.5186668634414673},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5039262175559998},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5002148151397705},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37464815378189087},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22148141264915466},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11724603176116943}],"concepts":[{"id":"https://openalex.org/C68859911","wikidata":"https://www.wikidata.org/wiki/Q1503724","display_name":"Pattern matching","level":2,"score":0.780142605304718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.775574266910553},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.7125727534294128},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5431922078132629},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5394559502601624},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.5186668634414673},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5039262175559998},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5002148151397705},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37464815378189087},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22148141264915466},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11724603176116943},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3645114","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3645114","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3645114","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3645114","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3645114","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3645114","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391723340.pdf","grobid_xml":"https://content.openalex.org/works/W4391723340.grobid-xml"},"referenced_works_count":70,"referenced_works":["https://openalex.org/W6669264","https://openalex.org/W62014295","https://openalex.org/W377362545","https://openalex.org/W617996372","https://openalex.org/W951335392","https://openalex.org/W1482233117","https://openalex.org/W1491178396","https://openalex.org/W1505315292","https://openalex.org/W1535889317","https://openalex.org/W1542369348","https://openalex.org/W1547304883","https://openalex.org/W1552159734","https://openalex.org/W1599820175","https://openalex.org/W1698033501","https://openalex.org/W1740522204","https://openalex.org/W1791175619","https://openalex.org/W1815093549","https://openalex.org/W1866624891","https://openalex.org/W1975120975","https://openalex.org/W1978654873","https://openalex.org/W1993997820","https://openalex.org/W1996832037","https://openalex.org/W2011132281","https://openalex.org/W2020278455","https://openalex.org/W2026629052","https://openalex.org/W2047175801","https://openalex.org/W2049864887","https://openalex.org/W2072607050","https://openalex.org/W2087601184","https://openalex.org/W2091197883","https://openalex.org/W2108199651","https://openalex.org/W2114768982","https://openalex.org/W2141317639","https://openalex.org/W2151612633","https://openalex.org/W2157319504","https://openalex.org/W2158666251","https://openalex.org/W2161484642","https://openalex.org/W2167467151","https://openalex.org/W2170188482","https://openalex.org/W2221344136","https://openalex.org/W2400705866","https://openalex.org/W2460913653","https://openalex.org/W2469998798","https://openalex.org/W2566615221","https://openalex.org/W2615497679","https://openalex.org/W2740477033","https://openalex.org/W2740714272","https://openalex.org/W2781885368","https://openalex.org/W2786819761","https://openalex.org/W2796019254","https://openalex.org/W2888608181","https://openalex.org/W2907589330","https://openalex.org/W2952363982","https://openalex.org/W2963838659","https://openalex.org/W2970458171","https://openalex.org/W2978736296","https://openalex.org/W2990529321","https://openalex.org/W3104422488","https://openalex.org/W3104497639","https://openalex.org/W3106225727","https://openalex.org/W3106516073","https://openalex.org/W3108121382","https://openalex.org/W3195836915","https://openalex.org/W4213255380","https://openalex.org/W4230569261","https://openalex.org/W4239884176","https://openalex.org/W4241604193","https://openalex.org/W4243492124","https://openalex.org/W4289045132","https://openalex.org/W4375852183"],"related_works":["https://openalex.org/W1774017438","https://openalex.org/W2123199373","https://openalex.org/W2943461603","https://openalex.org/W4246925412","https://openalex.org/W2083577879","https://openalex.org/W4205780093","https://openalex.org/W2052853109","https://openalex.org/W2109464334","https://openalex.org/W2031647786","https://openalex.org/W2807616588"],"abstract_inverted_index":{"The":[0],"rise":[1],"of":[2,14,98,106,121,127,136,151,165,178,245],"machine":[3],"learning":[4],"and":[5,36,49,76,83,117,147,191,209,222,227,235,271,281,286],"cloud":[6],"technologies":[7],"has":[8,27,41,131],"led":[9],"to":[10,33,54,80,88,159,174,181,256],"a":[11,29,44,63,111,155,196,279],"remarkable":[12],"influx":[13],"data":[15,26,51],"within":[16,103],"modern":[17],"cyber-physical":[18,107,288],"systems.":[19,289],"However,":[20],"extracting":[21],"meaningful":[22],"information":[23,259],"from":[24,72,260],"this":[25,56,59],"become":[28],"significant":[30],"challenge":[31],"due":[32],"its":[34],"volume":[35],"complexity.":[37],"Timed":[38],"pattern":[39,68,77,90,93,162,167,184,205,247,276],"matching":[40,69,94,163,185,206,228,248,277],"emerged":[42],"as":[43,154,230,232],"powerful":[45],"specification-based":[46],"runtime":[47],"verification":[48],"temporal":[50,104,236,261],"analysis":[52],"technique":[53,283],"address":[55],"challenge.":[57],"In":[58,169],"paper,":[60],"we":[61,115,144,171,240],"provide":[62,216],"comprehensive":[64],"tutorial":[65],"on":[66],"timed":[67,92,137,152,166,179,188,204,246,275],"that":[70,109,202,274],"ranges":[71],"the":[73,96,122,125,134,140,149,161,176,183,220,242],"underlying":[74],"algebra":[75,150,177],"specification":[78],"languages":[79],"performance":[81],"analyses":[82],"practical":[84,243],"case":[85,251],"studies.":[86],"Analogous":[87],"textual":[89],"matching,":[91],"is":[95,278],"task":[97],"finding":[99],"all":[100],"time":[101],"periods":[102],"behaviors":[105],"systems":[108],"match":[110,128],"predefined":[112],"pattern.":[113],"Originally":[114],"introduced":[116],"solved":[118],"several":[119],"variants":[120],"problem":[123,164,186],"using":[124],"name":[126],"sets,":[129],"which":[130,253],"evolved":[132],"into":[133,219],"concept":[135],"relations":[138,153,180],"over":[139],"past":[141],"decade.":[142],"Here":[143],"first":[145],"formalize":[146],"present":[148],"standalone":[156],"mathematical":[157],"tool":[158],"solve":[160,182],"specifications.":[168],"particular,":[170],"show":[172,254,273],"how":[173,255],"use":[175],"for":[187],"regular":[189,233],"expressions":[190,234],"metric":[192],"compass":[193],"logic":[194,237],"in":[195,212,284],"unified":[197],"manner.":[198],"We":[199,214],"experimentally":[200],"demonstrate":[201],"our":[203],"approach":[207],"performs":[208],"scales":[210],"well":[211,231],"practice.":[213],"further":[215],"in-depth":[217],"insights":[218],"similarities":[221],"fundamental":[223],"differences":[224],"between":[225],"monitoring":[226],"problems":[229],"formulas.":[238],"Finally,":[239],"illustrate":[241],"application":[244],"through":[249],"two":[250],"studies,":[252],"extract":[257],"structured":[258],"datasets":[262],"obtained":[263],"via":[264],"simulations":[265],"or":[266],"real-world":[267],"observations.":[268],"These":[269],"results":[270],"examples":[272],"rigorous":[280],"efficient":[282],"developing":[285],"analyzing":[287]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}