{"id":"https://openalex.org/W4285813996","doi":"https://doi.org/10.1109/iwcmc55113.2022.9824136","title":"Reasoning about Uncertainty over IoT Systems","display_name":"Reasoning about Uncertainty over IoT Systems","publication_year":2022,"publication_date":"2022-05-30","ids":{"openalex":"https://openalex.org/W4285813996","doi":"https://doi.org/10.1109/iwcmc55113.2022.9824136"},"language":"en","primary_location":{"id":"doi:10.1109/iwcmc55113.2022.9824136","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwcmc55113.2022.9824136","pdf_url":null,"source":{"id":"https://openalex.org/S4363605313","display_name":"2022 International Wireless Communications and Mobile Computing (IWCMC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Wireless Communications and Mobile Computing (IWCMC)","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/A5079144793","display_name":"Ghalya Alwhishi","orcid":"https://orcid.org/0000-0002-6711-9917"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Ghalya Alwhishi","raw_affiliation_strings":["CIISE, Concordia University,Montreal,Canada","CIISE, Concordia University, Montreal, Canada"],"affiliations":[{"raw_affiliation_string":"CIISE, Concordia University,Montreal,Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"CIISE, Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020978568","display_name":"Jamal Bentahar","orcid":"https://orcid.org/0000-0002-3136-4849"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jamal Bentahar","raw_affiliation_strings":["CIISE, Concordia University,Montreal,Canada","CIISE, Concordia University, Montreal, Canada"],"affiliations":[{"raw_affiliation_string":"CIISE, Concordia University,Montreal,Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"CIISE, Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068845484","display_name":"Nagat Drawel","orcid":"https://orcid.org/0000-0001-7100-420X"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Nagat Drawel","raw_affiliation_strings":["CIISE, Concordia University,Montreal,Canada","CIISE, Concordia University, Montreal, Canada"],"affiliations":[{"raw_affiliation_string":"CIISE, Concordia University,Montreal,Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"CIISE, Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079144793"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":1.0361,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72442244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"306","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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.9980000257492065,"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9950000047683716,"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"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9941999912261963,"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.8298159837722778},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7739650011062622},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6811497807502747},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.608847975730896},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.583270788192749},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.5677093267440796},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5552256107330322},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5484104156494141},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5344798564910889},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5116672515869141},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4812997877597809},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.45268526673316956},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4328538477420807},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3763197958469391},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3400465250015259},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27142441272735596},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21333667635917664},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20524471998214722},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.18005216121673584},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.13113075494766235},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08096930384635925}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8298159837722778},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7739650011062622},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6811497807502747},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.608847975730896},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.583270788192749},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5677093267440796},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5552256107330322},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5484104156494141},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5344798564910889},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5116672515869141},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4812997877597809},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45268526673316956},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4328538477420807},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3763197958469391},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3400465250015259},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27142441272735596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21333667635917664},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20524471998214722},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.18005216121673584},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.13113075494766235},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08096930384635925},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwcmc55113.2022.9824136","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwcmc55113.2022.9824136","pdf_url":null,"source":{"id":"https://openalex.org/S4363605313","display_name":"2022 International Wireless Communications and Mobile Computing (IWCMC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Wireless Communications and Mobile Computing (IWCMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W18481719","https://openalex.org/W1487409515","https://openalex.org/W1498432697","https://openalex.org/W1555593767","https://openalex.org/W1998559974","https://openalex.org/W2034102118","https://openalex.org/W2076587863","https://openalex.org/W2183938261","https://openalex.org/W2498912203","https://openalex.org/W2566562774","https://openalex.org/W2599824470","https://openalex.org/W2607806769","https://openalex.org/W2760976117","https://openalex.org/W2907047588","https://openalex.org/W2912640545","https://openalex.org/W2913468781","https://openalex.org/W2980617023","https://openalex.org/W2993853848","https://openalex.org/W3037121310","https://openalex.org/W3037914292","https://openalex.org/W3041737507","https://openalex.org/W3136546510","https://openalex.org/W3146736019","https://openalex.org/W3165843660","https://openalex.org/W4214891036"],"related_works":["https://openalex.org/W2068027015","https://openalex.org/W160796350","https://openalex.org/W3130685677","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2152752131","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W161255303","https://openalex.org/W2037121848"],"abstract_inverted_index":{"The":[0,28],"advent":[1],"of":[2,5,17,41,63,81,100],"the":[3,15,39,42,106,115,124],"Internet":[4],"Things":[6],"(IoT)":[7],"has":[8],"led":[9],"to":[10,37],"a":[11,53,72,91,98,120],"rapid":[12],"increase":[13],"in":[14,84],"number":[16],"applications":[18,34,65],"that":[19,31,58],"are":[20],"deployed":[21],"within":[22],"open":[23],"and":[24,55,78,89,103,123],"uncertain":[25,85],"physical":[26],"environments.":[27],"main":[29],"challenge":[30],"faces":[32],"IoT":[33,82],"is":[35],"how":[36],"ensure":[38],"reliability":[40],"interaction":[43],"between":[44],"its":[45],"different":[46],"components.":[47],"In":[48],"this":[49],"paper,":[50],"we":[51,96,113],"propose":[52],"practical":[54],"scalable":[56],"approach":[57],"involves":[59],"reasoning":[60],"about":[61],"uncertainty":[62],"these":[64],"using":[66,119],"multi-valued":[67],"model":[68],"checking.":[69],"We":[70],"introduce":[71,97],"building":[73],"block":[74],"for":[75],"formal":[76],"specification":[77],"automatic":[79],"verification":[80],"services":[83],"settings.":[86],"After":[87],"modeling":[88],"simulating":[90],"smart":[92],"home":[93],"framework":[94,108],"behavior,":[95],"set":[99],"system":[101],"specifications":[102],"verify":[104],"whether":[105],"given":[107],"meets":[109],"those":[110],"specifications.":[111],"Finally,":[112],"present":[114],"experimental":[116],"results":[117],"obtained":[118],"transformation":[121],"algorithm":[122],"NuSMV":[125],"tool.":[126]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}