{"id":"https://openalex.org/W3160052819","doi":"https://doi.org/10.1109/tsc.2021.3074956","title":"Edge-Based Runtime Verification for the Internet of Things","display_name":"Edge-Based Runtime Verification for the Internet of Things","publication_year":2021,"publication_date":"2021-04-23","ids":{"openalex":"https://openalex.org/W3160052819","doi":"https://doi.org/10.1109/tsc.2021.3074956","mag":"3160052819"},"language":"en","primary_location":{"id":"doi:10.1109/tsc.2021.3074956","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsc.2021.3074956","pdf_url":"https://ieeexplore.ieee.org/ielx7/4629386/9913317/09411895.pdf","source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/4629386/9913317/09411895.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057850035","display_name":"Christos Tsigkanos","orcid":"https://orcid.org/0000-0002-9493-3404"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Christos Tsigkanos","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052125239","display_name":"Marcello M. Bersani","orcid":"https://orcid.org/0000-0001-5137-940X"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marcello M. Bersani","raw_affiliation_strings":["Politecnico di Milano, Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020923950","display_name":"Pantelis A. Frangoudis","orcid":"https://orcid.org/0000-0001-6901-7714"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Pantelis A. Frangoudis","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004847496","display_name":"Schahram Dustdar","orcid":"https://orcid.org/0000-0001-6872-8821"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Schahram Dustdar","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5057850035"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.7111,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.69222322,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"15","issue":"5","first_page":"2713","last_page":"2727"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12079","display_name":"IoT Networks and Protocols","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12079","display_name":"IoT Networks and Protocols","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9990000128746033,"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/T10986","display_name":"RFID technology advancements","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8675258159637451},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.7078344225883484},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5964097380638123},{"id":"https://openalex.org/keywords/enhanced-data-rates-for-gsm-evolution","display_name":"Enhanced Data Rates for GSM Evolution","score":0.5945360660552979},{"id":"https://openalex.org/keywords/edge-computing","display_name":"Edge computing","score":0.5632622838020325},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5558896660804749},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5060166716575623},{"id":"https://openalex.org/keywords/edge-device","display_name":"Edge device","score":0.45119285583496094},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4097786545753479},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.39411669969558716},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34010666608810425},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.2706746757030487},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1759026050567627},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11005383729934692}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8675258159637451},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.7078344225883484},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5964097380638123},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.5945360660552979},{"id":"https://openalex.org/C2778456923","wikidata":"https://www.wikidata.org/wiki/Q5337692","display_name":"Edge computing","level":3,"score":0.5632622838020325},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5558896660804749},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5060166716575623},{"id":"https://openalex.org/C138236772","wikidata":"https://www.wikidata.org/wiki/Q25098575","display_name":"Edge device","level":3,"score":0.45119285583496094},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4097786545753479},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.39411669969558716},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34010666608810425},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2706746757030487},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1759026050567627},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11005383729934692},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tsc.2021.3074956","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsc.2021.3074956","pdf_url":"https://ieeexplore.ieee.org/ielx7/4629386/9913317/09411895.pdf","source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"},{"id":"pmh:oai:repositori-api.upf.edu:10230/57671","is_oa":true,"landing_page_url":"http://hdl.handle.net/10230/57671","pdf_url":null,"source":{"id":"https://openalex.org/S4306402615","display_name":"Repositori digital de la UPF (Universitat Pompeu Fabra)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I170486558","host_organization_name":"Universitat Pompeu Fabra","host_organization_lineage":["https://openalex.org/I170486558"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:re.public.polimi.it:11311/1224880","is_oa":true,"landing_page_url":"https://hdl.handle.net/11311/1224880","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/tsc.2021.3074956","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsc.2021.3074956","pdf_url":"https://ieeexplore.ieee.org/ielx7/4629386/9913317/09411895.pdf","source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G3270688621","display_name":"EDENSPACE: Engineering Dependable Cyber-Physical Spaces","funder_award_id":"M 2778","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7656280626","display_name":null,"funder_award_id":"M 2778-N","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3160052819.pdf","grobid_xml":"https://content.openalex.org/works/W3160052819.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1927112189","https://openalex.org/W1975323634","https://openalex.org/W1978235430","https://openalex.org/W1996958367","https://openalex.org/W2038141225","https://openalex.org/W2062978452","https://openalex.org/W2101623441","https://openalex.org/W2135138790","https://openalex.org/W2353311479","https://openalex.org/W2434290318","https://openalex.org/W2596324967","https://openalex.org/W2622264662","https://openalex.org/W2726579140","https://openalex.org/W2740038983","https://openalex.org/W2750746471","https://openalex.org/W2758427605","https://openalex.org/W2784117075","https://openalex.org/W2792171464","https://openalex.org/W2805895568","https://openalex.org/W2809498708","https://openalex.org/W2809932340","https://openalex.org/W2886981736","https://openalex.org/W2899781265","https://openalex.org/W2901111720","https://openalex.org/W2902473403","https://openalex.org/W2903928459","https://openalex.org/W2932738034","https://openalex.org/W2952166300","https://openalex.org/W2953688716","https://openalex.org/W2964273806","https://openalex.org/W2971832788","https://openalex.org/W2978300852","https://openalex.org/W2979501345","https://openalex.org/W2980384303","https://openalex.org/W2988226003","https://openalex.org/W3018058290","https://openalex.org/W3023191323","https://openalex.org/W3026534080","https://openalex.org/W3027815466","https://openalex.org/W3037951940","https://openalex.org/W3042932518","https://openalex.org/W3130971764","https://openalex.org/W3185338929","https://openalex.org/W6740221252","https://openalex.org/W6768998674"],"related_works":["https://openalex.org/W3211931762","https://openalex.org/W2942586735","https://openalex.org/W4225757241","https://openalex.org/W4385414328","https://openalex.org/W2559753769","https://openalex.org/W2534668683","https://openalex.org/W4375928818","https://openalex.org/W4307482744","https://openalex.org/W4385586765","https://openalex.org/W3126507566"],"abstract_inverted_index":{"Complex":[0],"distributed":[1],"systems":[2,92],"such":[3],"as":[4],"the":[5,32,51,54,89,203],"ones":[6],"induced":[7],"by":[8,27],"Internet":[9],"of":[10,53,97,158,197,205,219,226],"Things":[11],"(IoT)":[12],"deployments,":[13],"are":[14,95,111,131,164],"expected":[15],"to":[16,20],"operate":[17],"in":[18,43,138,190],"compliance":[19],"their":[21],"requirements.":[22,68],"This":[23,69,167],"can":[24,187],"be":[25,188],"checked":[26],"inspecting":[28],"events":[29,48,117],"flowing":[30],"throughout":[31],"system,":[33],"typically":[34,49],"originating":[35,118],"from":[36,119],"end-devices":[37,120],"and":[38,76,153,177,184,216],"reflecting":[39],"arbitrary":[40],"actions,":[41],"changes":[42],"state":[44],"or":[45,65,121],"sensing.":[46],"Such":[47],"reflect":[50],"behavior":[52],"overall":[55],"IoT":[56,86,174],"system":[57,143],"\u2013":[58],"they":[59],"may":[60],"indicate":[61],"executions":[62],"which":[63],"satisfy":[64],"violate":[66],"its":[67],"article":[70],"presents":[71],"a":[72,139,193,209],"service-based":[73],"software":[74],"architecture":[75],"technical":[77],"framework":[78],"supporting":[79],"runtime":[80,140,185],"verification":[81,186],"for":[82,173],"widely":[83],"deployed,":[84],"volatile":[85],"systems.":[87],"At":[88],"lowest":[90],"level,":[91],"we":[93,201,213],"consider":[94],"comprised":[96],"resource-constrained":[98],"devices":[99],"connected":[100],"over":[101,208],"wide":[102],"area":[103],"networks":[104],"generating":[105],"events.":[106],"In":[107],"our":[108,206],"approach,":[109],"monitors":[110],"deployed":[112],"on":[113,134,150,160,170,192],"edge":[114,123,136,151,162],"components,":[115],"receiving":[116],"other":[122,161],"nodes.":[124],"Temporal":[125],"logic":[126],"properties":[127,159],"expressing":[128],"desired":[129],"requirements":[130],"then":[132],"evaluated":[133],"each":[135],"monitor":[137],"fashion.":[141],"The":[142],"exhibits":[144],"decentralization":[145],"since":[146],"evaluation":[147],"occurs":[148],"locally":[149],"nodes,":[152],"verdicts":[154],"possibly":[155],"affecting":[156],"satisfaction":[157],"nodes":[163],"propagated":[165],"accordingly.":[166],"reduces":[168],"dependence":[169],"cloud":[171],"infrastructures":[172],"data":[175],"collection":[176],"centralized":[178],"processing.":[179],"We":[180],"illustrate":[181],"how":[182],"specification":[183],"achieved":[189],"practice":[191],"characteristic":[194],"case":[195],"study":[196],"smart":[198],"parking.":[199],"Finally,":[200],"demonstrate":[202],"feasibility":[204],"design":[207],"testbed":[210],"instantiation,":[211],"whereupon":[212],"evaluate":[214],"performance":[215],"capacity":[217],"limits":[218],"different":[220],"hardware":[221],"classes":[222],"under":[223],"monitoring":[224],"workloads":[225],"varying":[227],"intensity":[228],"using":[229],"state-of-the-art":[230],"LPWAN":[231],"technology.":[232]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}