{"id":"https://openalex.org/W2796019254","doi":"https://doi.org/10.1145/3178126.3178129","title":"Specifying Timed Patterns using Temporal Logic","display_name":"Specifying Timed Patterns using Temporal Logic","publication_year":2018,"publication_date":"2018-04-02","ids":{"openalex":"https://openalex.org/W2796019254","doi":"https://doi.org/10.1145/3178126.3178129","mag":"2796019254"},"language":"en","primary_location":{"id":"doi:10.1145/3178126.3178129","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3178126.3178129","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"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/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"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":true,"raw_author_name":"Dogan Ulus","raw_affiliation_strings":["Verimag, Universit\u00e9 Grenoble-Alpes, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Verimag, Universit\u00e9 Grenoble-Alpes, Grenoble, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012209374","display_name":"Oded Maler","orcid":null},"institutions":[{"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"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Oded Maler","raw_affiliation_strings":["Verimag, CNRS/Universit\u00e9 Grenoble-Alpes, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Verimag, CNRS/Universit\u00e9 Grenoble-Alpes, Grenoble, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054455487"],"corresponding_institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":0.8077,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.74072011,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"10","issue":null,"first_page":"167","last_page":"176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9976000189781189,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.8293231725692749},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8119829893112183},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7277748584747314},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.6459146738052368},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.6211044788360596},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6142805814743042},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6081336736679077},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6044312715530396},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4484807550907135},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.41020703315734863},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3997732102870941},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08452922105789185}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.8293231725692749},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8119829893112183},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7277748584747314},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.6459146738052368},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.6211044788360596},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6142805814743042},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6081336736679077},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6044312715530396},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4484807550907135},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.41020703315734863},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3997732102870941},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08452922105789185},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3178126.3178129","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3178126.3178129","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W6669264","https://openalex.org/W45187631","https://openalex.org/W102293300","https://openalex.org/W1482233117","https://openalex.org/W1547304883","https://openalex.org/W1552159734","https://openalex.org/W1782531476","https://openalex.org/W1815093549","https://openalex.org/W1975120975","https://openalex.org/W1978654873","https://openalex.org/W1992205482","https://openalex.org/W2011132281","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2092486735","https://openalex.org/W2101623441","https://openalex.org/W2157319504","https://openalex.org/W2161484642","https://openalex.org/W2167467151","https://openalex.org/W2319388297","https://openalex.org/W2400705866","https://openalex.org/W2460913653","https://openalex.org/W2469998798","https://openalex.org/W2522351640","https://openalex.org/W2610670723","https://openalex.org/W2738184854","https://openalex.org/W2963838659","https://openalex.org/W3104497639","https://openalex.org/W3106225727","https://openalex.org/W3106516073","https://openalex.org/W4239399053","https://openalex.org/W6604211923","https://openalex.org/W6676108856","https://openalex.org/W6684511537"],"related_works":["https://openalex.org/W946220898","https://openalex.org/W858755136","https://openalex.org/W1526924704","https://openalex.org/W2124110813","https://openalex.org/W4232446061","https://openalex.org/W2352091395","https://openalex.org/W31328628","https://openalex.org/W2168791893","https://openalex.org/W1532447905","https://openalex.org/W2561906579"],"abstract_inverted_index":{"Monitoring":[0],"system":[1],"behaviors":[2],"using":[3],"formal":[4],"specifications":[5],"appears":[6],"to":[7,17,26,72],"be":[8,27],"an":[9,78,89],"effective":[10],"technique":[11,92],"in":[12,21,77,97],"analyzing":[13],"cyber-physical":[14],"systems.":[15],"However,":[16],"achieve":[18],"intended":[19],"results":[20],"monitoring,":[22],"specification":[23],"languages":[24],"need":[25],"intuitive,":[28],"elegant,":[29],"and":[30,69,80,128],"expressive":[31,68],"at":[32],"the":[33,63,104],"first":[34],"place.":[35],"In":[36],"this":[37],"paper,":[38],"we":[39,87],"propose":[40],"a":[41,115,130],"metric":[42],"extension":[43],"of":[44],"well-known":[45],"Halpern-Shoham":[46],"(hs)":[47],"logic,":[48],"called":[49],"Metric":[50],"Compass":[51],"Logic":[52],"(mcl),":[53],"for":[54,59,93,107],"monitoring":[55,91],"purposes.":[56],"Originally":[57],"proposed":[58],"high-level":[60],"temporal":[61,75],"reasoning,":[62],"logic":[64],"hs":[65],"is":[66,101],"very":[67],"enables":[70],"users":[71],"specify":[73],"many":[74],"patterns":[76,95],"intuitive":[79],"elegant":[81],"way.":[82],"As":[83],"our":[84],"main":[85],"contribution,":[86],"present":[88],"offline":[90],"timed":[94,108,132],"specified":[96],"mcl.":[98],"Our":[99],"solution":[100],"built":[102],"upon":[103],"framework":[105],"developed":[106],"regular":[109],"expressions":[110],"(TRE)":[111],"matching":[112],"but":[113],"explores":[114],"different":[116],"(logical)":[117],"direction.":[118],"We":[119],"finally":[120],"study":[121],"several":[122],"practical":[123],"features":[124],"concerning":[125],"atomic":[126],"formulas":[127],"discuss":[129],"combined":[131],"pattern":[133],"speciication":[134],"language":[135],"with":[136],"TRE.":[137]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}