{"id":"https://openalex.org/W4285275174","doi":"https://doi.org/10.1109/tmc.2022.3179290","title":"<i>ASTL</i>: <i>A</i>ccumulative <i>STL</i> With a Novel Robustness Metric for IoT Service Monitoring","display_name":"<i>ASTL</i>: <i>A</i>ccumulative <i>STL</i> With a Novel Robustness Metric for IoT Service Monitoring","publication_year":2022,"publication_date":"2022-05-31","ids":{"openalex":"https://openalex.org/W4285275174","doi":"https://doi.org/10.1109/tmc.2022.3179290"},"language":"en","primary_location":{"id":"doi:10.1109/tmc.2022.3179290","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tmc.2022.3179290","pdf_url":null,"source":{"id":"https://openalex.org/S69141925","display_name":"IEEE Transactions on Mobile Computing","issn_l":"1536-1233","issn":["1536-1233","1558-0660","2161-9875"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Mobile Computing","raw_type":"journal-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/A5089499642","display_name":"Deng Zhao","orcid":"https://orcid.org/0000-0001-6378-5595"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deng Zhao","raw_affiliation_strings":["School of Information Engineering, China University of Geosciences (Beijing), Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6378-5595","affiliations":[{"raw_affiliation_string":"School of Information Engineering, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052234427","display_name":"Zhangbing Zhou","orcid":"https://orcid.org/0000-0002-3195-2253"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Zhangbing Zhou","raw_affiliation_strings":["School of Information Engineering, China University of Geosciences (Beijing), Beijing, China","Computer Science Department, TELECOM SudParis, Evry, France"],"raw_orcid":"https://orcid.org/0000-0002-3195-2253","affiliations":[{"raw_affiliation_string":"School of Information Engineering, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391"]},{"raw_affiliation_string":"Computer Science Department, TELECOM SudParis, Evry, France","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072627238","display_name":"Zhipeng Cai","orcid":"https://orcid.org/0000-0001-6017-975X"},"institutions":[{"id":"https://openalex.org/I181565077","display_name":"Georgia State University","ror":"https://ror.org/03qt6ba18","country_code":"US","type":"education","lineage":["https://openalex.org/I181565077"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhipeng Cai","raw_affiliation_strings":["Department of Computer Science, Georgia State University, Atlanta, GA, USA"],"raw_orcid":"https://orcid.org/0000-0001-6017-975X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Georgia State University, Atlanta, GA, USA","institution_ids":["https://openalex.org/I181565077"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071740867","display_name":"Sami Yangui","orcid":"https://orcid.org/0000-0001-9756-642X"},"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/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sami Yangui","raw_affiliation_strings":["LAAS-CNRS, University of Toulouse, Toulouse, France"],"raw_orcid":"https://orcid.org/0000-0001-9756-642X","affiliations":[{"raw_affiliation_string":"LAAS-CNRS, University of Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047225060","display_name":"Xiao Xue","orcid":"https://orcid.org/0000-0001-5396-3909"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Xue","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0001-5396-3909","affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1408,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78997245,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"22","issue":"10","first_page":"5751","last_page":"5768"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9972000122070312,"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/computer-science","display_name":"Computer science","score":0.6541091203689575},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5032538771629333},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4982151985168457},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34264349937438965},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33550477027893066},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06635299324989319}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6541091203689575},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5032538771629333},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4982151985168457},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34264349937438965},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33550477027893066},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06635299324989319},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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.1109/tmc.2022.3179290","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tmc.2022.3179290","pdf_url":null,"source":{"id":"https://openalex.org/S69141925","display_name":"IEEE Transactions on Mobile Computing","issn_l":"1536-1233","issn":["1536-1233","1558-0660","2161-9875"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Mobile Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7200000286102295,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[{"id":"https://openalex.org/G8702528010","display_name":null,"funder_award_id":"42050103","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W2508426174","https://openalex.org/W2511421782","https://openalex.org/W2526910689","https://openalex.org/W2592413155","https://openalex.org/W2593833939","https://openalex.org/W2621540998","https://openalex.org/W2753331711","https://openalex.org/W2773295166","https://openalex.org/W2784207432","https://openalex.org/W2785700716","https://openalex.org/W2790698126","https://openalex.org/W2800806089","https://openalex.org/W2802329608","https://openalex.org/W2895939936","https://openalex.org/W2905161511","https://openalex.org/W2912432686","https://openalex.org/W2931309272","https://openalex.org/W2963199590","https://openalex.org/W2964890016","https://openalex.org/W2972486407","https://openalex.org/W2986898276","https://openalex.org/W2996809359","https://openalex.org/W2997421118","https://openalex.org/W2998275713","https://openalex.org/W2998363984","https://openalex.org/W2999472659","https://openalex.org/W2999992642","https://openalex.org/W3005749625","https://openalex.org/W3010924044","https://openalex.org/W3011209257","https://openalex.org/W3015272743","https://openalex.org/W3049322104","https://openalex.org/W3101350155","https://openalex.org/W3103510089","https://openalex.org/W3126231714","https://openalex.org/W3134125492","https://openalex.org/W3134885067","https://openalex.org/W3137939843","https://openalex.org/W3149132974","https://openalex.org/W3155790576","https://openalex.org/W3164964481","https://openalex.org/W3175186253","https://openalex.org/W3176821760","https://openalex.org/W3188037419","https://openalex.org/W3212018903","https://openalex.org/W6727313434","https://openalex.org/W6784898915","https://openalex.org/W6799307767"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"The":[0],"Internet":[1],"of":[2,39,74,98],"Things":[3],"(":[4,140,163],"<italic":[5,29,40,86,99,128,132,136,141,149,156,160,164,179,187,225],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[6,30,41,87,100,129,133,137,142,150,157,161,165,180,188,226],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">IoT</i>":[7,31,42,88,101,181],")":[8],"has":[9],"been":[10],"widely":[11],"deployed":[12],"to":[13,51,63,70,84,168,186],"support":[14],"versatile":[15],"applications,":[16],"where":[17,109,145,214],"an":[18],"application":[19],"can":[20,56],"be":[21,57,64],"satisfied":[22,58],"by":[23],"functionally":[24],"compatible":[25],"and":[26,50,76,82,117,191,199,206],"non-functionally":[27],"satisfiable":[28],"services.":[32],"Considering":[33],"the":[34,37,72,96,170,174,231],"fact":[35],"that":[36,223],"capacities":[38],"devices":[43],"may":[44],"change":[45],"dynamically,":[46],"whether":[47],"or":[48],"not,":[49],"what":[52],"extent,":[53],"certain":[54],"constraints":[55],"during":[59],"their":[60],"execution,":[61],"are":[62,120,209,218],"explored.":[65],"This":[66],"observation":[67],"motivates":[68],"us":[69],"formalize":[71],"interpretation":[73],"qualitative":[75,198],"quantitative":[77,200],"satisfaction":[78,107,172,194],"for":[79],"prescribed":[80],"constraints,":[81,111,114],"thus,":[83],"achieve":[85],"service":[89,102,182],"monitoring":[90,103,123,183],"at":[91,202],"runtime.":[92,203],"Specifically,":[93],"we":[94],"formulate":[95],"problem":[97],"as":[104],"a":[105,146],"constraint":[106,193],"problem,":[108],"multiple":[110],"including":[112],"spatial-temporal":[113],"energy":[115],"limitation,":[116],"capacity":[118],"restrictions,":[119],"considered.":[121,219],"Specification-based":[122],"is":[124,153,184,195],"developed":[125],"based":[126],"on":[127],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">S</i>":[130],"ignal":[131],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">T</i>":[134],"emporal":[135],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">L</i>":[138],"ogic":[139],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">STL</i>":[143,162],"),":[144,167],"novel":[147],"accumulative":[148],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">robustness</i>":[151],"metric":[152],"proposed,":[154],"denoted":[155],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">A</i>":[158],"ccumulative":[159],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">ASTL</i>":[166,189,227],"emphasize":[169],"robust":[171,236],"over":[173],"entire":[175],"time":[176],"domain.":[177],"Thereafter,":[178],"converted":[185],"formulae,":[190],"its":[192],"interpreted":[196],"with":[197,234],"semantics":[201],"Case":[204],"studies":[205],"extensive":[207],"evaluations":[208],"conducted":[210],"upon":[211],"publicly-available":[212],"datasets,":[213],"various":[215],"influential":[216],"factors":[217],"Experimental":[220],"results":[221],"show":[222],"our":[224],"performs":[228],"better":[229],"than":[230],"state-of-the-art's":[232],"techniques":[233],"more":[235],"satisfaction.":[237]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}