{"id":"https://openalex.org/W2962804067","doi":"https://doi.org/10.1109/jiot.2019.2900769","title":"Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs","display_name":"Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs","publication_year":2019,"publication_date":"2019-02-21","ids":{"openalex":"https://openalex.org/W2962804067","doi":"https://doi.org/10.1109/jiot.2019.2900769","mag":"2962804067"},"language":"en","primary_location":{"id":"doi:10.1109/jiot.2019.2900769","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2019.2900769","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Internet of Things Journal","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/A5011235038","display_name":"Yuxia Sun","orcid":"https://orcid.org/0000-0002-5959-0629"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxia Sun","raw_affiliation_strings":["Department of Computer Science, Jinan University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-5959-0629","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043464306","display_name":"Song Guo","orcid":"https://orcid.org/0000-0001-9831-2202"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Song Guo","raw_affiliation_strings":["Department of Computing, Hong Kong Polytechnic University, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-9831-2202","affiliations":[{"raw_affiliation_string":"Department of Computing, Hong Kong Polytechnic University, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shing-Chi Cheung","raw_affiliation_strings":["Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-3508-7172","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073529204","display_name":"Yong Tang","orcid":"https://orcid.org/0000-0002-5036-4350"},"institutions":[{"id":"https://openalex.org/I187400657","display_name":"South China Normal University","ror":"https://ror.org/01kq0pv72","country_code":"CN","type":"education","lineage":["https://openalex.org/I187400657"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Tang","raw_affiliation_strings":["School of Computer Science, South China Normal University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, South China Normal University, Guangzhou, China","institution_ids":["https://openalex.org/I187400657"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":0.4926,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.71997994,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":94},"biblio":{"volume":"6","issue":"3","first_page":"5376","last_page":"5386"},"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.9977999925613403,"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.9977999925613403,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9079863429069519},{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.8531560897827148},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7975863814353943},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5605441927909851},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5602596998214722},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.48578789830207825},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.47817522287368774},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.33892297744750977},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2570919990539551},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19149401783943176}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9079863429069519},{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.8531560897827148},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7975863814353943},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5605441927909851},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5602596998214722},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.48578789830207825},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.47817522287368774},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.33892297744750977},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2570919990539551},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19149401783943176},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/jiot.2019.2900769","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2019.2900769","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Internet of Things Journal","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-98574","is_oa":false,"landing_page_url":"https://repository.hkust.edu.hk/ir/Record/1783.1-98574","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:repository.ust.hk:1783.1-98574","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-98574","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5178219846","display_name":"\u793e\u4ea4\u7f51\u7edc\u7528\u6237\u65f6\u6001\u5c5e\u6027\u53ca\u65f6\u6001\u5173\u7cfb\u6a21\u578b\u7814\u7a76","funder_award_id":"61772211","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7111805306","display_name":"\u9762\u5411\u8fb9\u7f18\u667a\u80fd\u7684\u8d44\u6e90\u914d\u7f6e\u4e0e\u90e8\u7f72\u4f18\u5316\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61872310","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G857956640","display_name":null,"funder_award_id":"61402197","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W317521241","https://openalex.org/W1598018711","https://openalex.org/W1971903460","https://openalex.org/W2003801825","https://openalex.org/W2030836134","https://openalex.org/W2039915473","https://openalex.org/W2055643465","https://openalex.org/W2058230131","https://openalex.org/W2062200967","https://openalex.org/W2067116326","https://openalex.org/W2085071560","https://openalex.org/W2100370222","https://openalex.org/W2101274757","https://openalex.org/W2106812189","https://openalex.org/W2110798263","https://openalex.org/W2118057138","https://openalex.org/W2122035570","https://openalex.org/W2146279349","https://openalex.org/W2151082831","https://openalex.org/W2151399147","https://openalex.org/W2154569078","https://openalex.org/W2160343401","https://openalex.org/W2168649468","https://openalex.org/W2171427043","https://openalex.org/W2342048762","https://openalex.org/W2343874908","https://openalex.org/W2566515950","https://openalex.org/W2573848005","https://openalex.org/W2578214075","https://openalex.org/W2603630878","https://openalex.org/W2605010764","https://openalex.org/W2799137521","https://openalex.org/W2799144475","https://openalex.org/W2913523018","https://openalex.org/W3003531114","https://openalex.org/W4213165937","https://openalex.org/W4241832643","https://openalex.org/W6641853014"],"related_works":["https://openalex.org/W4288898221","https://openalex.org/W2358308054","https://openalex.org/W2391783641","https://openalex.org/W2109690896","https://openalex.org/W4231875098","https://openalex.org/W4230529130","https://openalex.org/W2391365542","https://openalex.org/W2361731841","https://openalex.org/W2386367690","https://openalex.org/W4243198198"],"abstract_inverted_index":{"In":[0,132],"the":[1,32,35,51,58,64,72,78,89,105,124,130,139,171,182,192],"Internet":[2],"of":[3,19,37,44,55,81,108,141,176,197],"Things":[4],"(IoT)":[5],"community,":[6],"wireless":[7],"sensor":[8],"network":[9],"(WSN)":[10],"is":[11,85,120,167],"a":[12,111,146],"key":[13],"technique":[14],"to":[15,25,50,69,76,87,117,162],"enable":[16],"ubiquitous":[17],"sensing":[18],"environments":[20],"and":[21,63,92,101,114,150,155,179,185],"provide":[22],"reliable":[23],"services":[24],"applications.":[26],"WSN":[27,56,82,198],"programs,":[28,57,83],"typically":[29],"interrupt-driven,":[30],"implement":[31],"functionalities":[33],"via":[34],"collaboration":[36],"interrupt":[38,45],"procedure":[39],"instances":[40],"(IPIs,":[41],"namely":[42],"executions":[43,91],"processing":[46],"logic).":[47],"However,":[48,123],"due":[49],"complicated":[52],"concurrency":[53],"model":[54],"IPIs":[59,119],"are":[60,67],"interleaved":[61,90],"intricately":[62],"program":[65,96],"behaviors":[66],"hard":[68],"predicate":[70],"from":[71],"source":[73],"codes.":[74],"Thus,":[75],"improve":[77],"software":[79],"quality":[80],"it":[84],"significant":[86],"disentangle":[88],"develop":[93],"various":[94],"IPI-based":[95,195],"analysis":[97],"techniques,":[98,110],"including":[99],"offline":[100],"online":[102],"ones.":[103],"As":[104,181],"common":[106],"foundation":[107],"those":[109],"generic":[112,147],"efficient":[113,169],"real-time":[115],"algorithm":[116,166,190],"identify":[118],"urgently":[121],"desired.":[122],"existing":[125,172],"instance-identification":[126],"approach":[127],"cannot":[128],"satisfy":[129],"desires.":[131],"this":[133],"paper,":[134],"we":[135,144],"first":[136],"formally":[137],"define":[138],"concept":[140],"IPI.":[142],"Next,":[143],"propose":[145],"IPI-identification":[148],"algorithm,":[149],"prove":[151],"its":[152],"correctness,":[153],"real-time,":[154],"efficiency.":[156],"We":[157],"also":[158],"conduct":[159],"comparison":[160],"experiments":[161],"illustrate":[163],"that":[164],"our":[165,189],"more":[168],"than":[170],"one":[173],"in":[174,200],"terms":[175],"both":[177],"time":[178],"space.":[180],"theoretical":[183],"analyses":[184,196],"empirical":[186],"studies":[187],"exhibit,":[188],"provides":[191],"groundwork":[193],"for":[194],"programs":[199],"IoT":[201],"environment.":[202]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}