{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T15:37:17Z","timestamp":1783438637473,"version":"3.54.6"},"reference-count":129,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T00:00:00Z","timestamp":1701043200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Australian Research Council and supported by the Cyber Security Agency of Singapore","award":["LE220100078 and DP220101823"],"award-info":[{"award-number":["LE220100078 and DP220101823"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2024,5,31]]},"abstract":"<jats:p>As the adoption of IoT-based smart homes continues to grow, the importance of addressing potential conflicts becomes increasingly vital for ensuring seamless functionality and user satisfaction. In this survey, we introduce a novel conflict taxonomy, complete with formal definitions of each conflict type that may arise within the smart home environment. We design an advanced conflict model to effectively categorize these conflicts, setting the stage for our in-depth review of recent research in the field. By employing our proposed model, we systematically classify conflicts and present a comprehensive overview of cutting-edge conflict detection approaches. This extensive analysis allows us to highlight similarities, clarify significant differences, and uncover prevailing trends in conflict detection techniques. In conclusion, we shed light on open issues and suggest promising avenues for future research to foster accelerated development and deployment of IoT-based smart homes, ultimately enhancing their overall performance and user experience.<\/jats:p>","DOI":"10.1145\/3629517","type":"journal-article","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T21:19:16Z","timestamp":1698095956000},"page":"1-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["A Survey on Conflict Detection in IoT-based Smart Homes"],"prefix":"10.1145","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2206-1352","authenticated-orcid":false,"given":"Bing","family":"Huang","sequence":"first","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4048-8798","authenticated-orcid":false,"given":"Dipankar","family":"Chaki","sequence":"additional","affiliation":[{"name":"The University of Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1254-8092","authenticated-orcid":false,"given":"Athman","family":"Bouguettaya","sequence":"additional","affiliation":[{"name":"The University of Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7479-7970","authenticated-orcid":false,"given":"Kwok-Yan","family":"Lam","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11,27]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"Michael Sheng Yongrui Qin Lina Yao and Boualem Benatallah. 2017. Managing the web of things: Linking the real world to the web (1st. ed.). Morgan Kaufmann Publishers Inc. San Francisco CA USA."},{"key":"e_1_3_2_3_2","unstructured":"2018. openHAB: empowering the smart home. https:\/\/www.openhab.org\/. (2018). Accessed: 2022-04-05."},{"key":"e_1_3_2_4_2","unstructured":"2018. SmartThings: One simple home system. http:\/\/www.smartthings.com. (2018). Accessed: 2022-04-05."},{"key":"e_1_3_2_5_2","unstructured":"2019. Android Things. https:\/\/developer.android.com\/things. (2019). Accessed: 2022-04-05."},{"key":"e_1_3_2_6_2","unstructured":"2019. IFTTT: What is IFTTT?https:\/\/ifttt.com\/explore. (2019). Accessed: 2022-04-05."},{"key":"e_1_3_2_7_2","unstructured":"2019. Tasker: Total Automation for Android. https:\/\/tasker.joaoapps.com. (2019). Accessed: 2022-04-05."},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"issue":"1","key":"e_1_3_2_9_2","first-page":"64","article-title":"Adaptation Conflicts of Heterogeneous Devices in IOT Smart-Home","volume":"81","author":"Ahmed M. O.","year":"2021","unstructured":"M. O. Ahmed and A. Elfaki. 2021. Adaptation Conflicts of Heterogeneous Devices in IOT Smart-Home. American Scientific Research Journal for Engineering, Technology, and Sciences. 81, 1 (Aug. 2021), 64\u201378.","journal-title":"American Scientific Research Journal for Engineering, Technology, and Sciences"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2444095"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.02.012"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.18178\/ijeee.4.1.66-73"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1002\/ett.3808"},{"key":"e_1_3_2_14_2","unstructured":"Ahmed Sayed Alghamdi. 2015. Features interaction detection and resolution in smart home systems using agent-based negotiation approach. (2015)."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397347"},{"key":"e_1_3_2_16_2","volume-title":"Detecting Conflicts Among Autonomous Devices in Smart Homes","author":"Alharithi Fahd","year":"2019","unstructured":"Fahd Alharithi. 2019. Detecting Conflicts Among Autonomous Devices in Smart Homes. Ph.D. Dissertation. Florida Institute of Technology."},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.12.008"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1080\/08839514.2019.1661596"},{"key":"e_1_3_2_20_2","article-title":"Real-time analysis of privacy-(un) aware IoT applications","author":"Babun Leonardo","year":"2019","unstructured":"Leonardo Babun, Z. Berkay Celik, Patrick McDaniel, and A. Selcuk Uluagac. 2019. Real-time analysis of privacy-(un) aware IoT applications. arXiv preprint arXiv:1911.10461 (2019).","journal-title":"arXiv preprint arXiv:1911.10461"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-011-0288-5"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-7399-2_9"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3057858"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.04.017"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2013.06.001"},{"key":"e_1_3_2_26_2","volume-title":"NDSS","author":"Celik Z. Berkay","year":"2019","unstructured":"Z. Berkay Celik, Gang Tan, and Patrick D. McDaniel. 2019. IoTGuard: Dynamic enforcement of security and safety policy in commodity IoT. In NDSS."},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCC49832.2020.00049"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS53863.2021.00091"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-91431-8_23"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS49710.2020.00036"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS47876.2019.00151"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00056"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3544793.3560360"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2978770"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3447264"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/s40860-017-0035-0"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1002\/er.5537"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/3057859"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_02"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243865"},{"key":"e_1_3_2_41_2","volume-title":"the 28th Network and Distributed System Security Symposium (NDSS 2021)","author":"Ding Wenbo","year":"2021","unstructured":"Wenbo Ding, Hongxin Hu, and Long Cheng. 2021. IOTSAFE: Enforcing safety and security policy with real IoT physical interaction discovery. In the 28th Network and Distributed System Security Symposium (NDSS 2021)."},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2017.08.003"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485058"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3057861"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57351-9_22"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1117\/12.2266597"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2017.7917567"},{"key":"e_1_3_2_48_2","unstructured":"Jared Hall. (n.d.)On operational policy conflict detection and resolution in CPS-IoT systems."},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.3390\/s22031079"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.11.211"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2008.4811344"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2899758"},{"key":"e_1_3_2_53_2","first-page":"30","volume-title":"2022 IoTDI","author":"Hua Jie","year":"2022","unstructured":"Jie Hua, Haoxiang Yu, Sangsu Lee, Hamim Md. Adal, Colin Milhaupt, Gruia-Catalin Roman, and Christine Julien. 2022. CoPI: Enabling probabilistic conflict prediction in smart space through context-awareness. In 2022 IoTDI. IEEE, 30\u201342."},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46295-0_36"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03596-9_48"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2018.00058"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS53863.2021.00048"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-20984-0_29"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.480"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2020.106983"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E93.D.822"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2012.6221884"},{"key":"e_1_3_2_63_2","first-page":"2","volume-title":"NDSS","author":"Jia Yunhan Jack","year":"2017","unstructured":"Yunhan Jack Jia, Qi Alfred Chen, Shiqi Wang, Amir Rahmati, Earlence Fernandes, Zhuoqing Morley Mao, and Atul Prakash. 2017. ContexloT: Towards providing contextual integrity to appified IoT platforms. In NDSS 2 (2017), 2\u20132."},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2018.2867698"},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11831-021-09622-6"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.3389\/fpsyg.2019.03080"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2019.8767178"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.158"},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/3391895"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2005.1507230"},{"key":"e_1_3_2_71_2","first-page":"371","volume-title":"ICSOC 2016","author":"Liang Tingting","year":"2016","unstructured":"Tingting Liang, Liang Chen, Jian Wu, Hai Dong, and Athman Bouguettaya. 2016. Meta-path based service recommendation in heterogeneous information networks. In ICSOC 2016. Springer, 371\u2013386."},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/3360322.3360837"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3054989"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2016.7501688"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2015.08.005"},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCCN51052.2020.9362896"},{"key":"e_1_3_2_77_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60910-8_2"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.5555\/827987.828005"},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2020.3017784"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2542068"},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2018.08.009"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3002932"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.7326\/0003-4819-151-4-200908180-00135"},{"key":"e_1_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.1109\/IE.2018.00026"},{"key":"e_1_3_2_85_2","article-title":"VISCR: Intuitive and conflict-free automation for securing the dynamic consumer IoT infrastructures","author":"Nagendra Vasudevan","year":"2019","unstructured":"Vasudevan Nagendra, Arani Bhattacharya, Vinod Yegneswaran, Amir Rahmati, and Samir R. Das. 2019. VISCR: Intuitive and conflict-free automation for securing the dynamic consumer IoT infrastructures. arXiv preprint arXiv:1907.13288 (2019).","journal-title":"arXiv preprint arXiv:1907.13288"},{"key":"e_1_3_2_86_2","first-page":"236","volume-title":"Proc. of Int\u2019l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI\u201905)","author":"Nakamura Masahide","year":"2005","unstructured":"Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto. 2005. Feature interactions in integrated services of networked home appliances. In Proc. of Int\u2019l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI\u201905). 236\u2013251."},{"key":"e_1_3_2_87_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.024"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2008010105"},{"key":"e_1_3_2_89_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2762345"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1080\/08839514.2021.1966986"},{"key":"e_1_3_2_91_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijsu.2021.105906"},{"key":"e_1_3_2_92_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-18425-8_3"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.042313.00197"},{"key":"e_1_3_2_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2016.7800444"},{"key":"e_1_3_2_95_2","doi-asserted-by":"publisher","DOI":"10.3390\/iot3010012"},{"key":"e_1_3_2_96_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid51090.2021.00063"},{"key":"e_1_3_2_97_2","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2017.7917875"},{"key":"e_1_3_2_98_2","first-page":"301","volume-title":"International Conference on Service-Oriented Computing","author":"Qin Zishan","year":"2021","unstructured":"Zishan Qin, Dipankar Chaki, Abdallah Lakhdari, Amani Abusafia, and Athman Bouguettaya. 2021. Occupancy estimation from thermal images. In International Conference on Service-Oriented Computing. Springer, 301\u2013305."},{"key":"e_1_3_2_99_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23291-6_17"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1145\/2508037.2508045"},{"key":"e_1_3_2_101_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.148"},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0184-9"},{"key":"e_1_3_2_103_2","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/161874"},{"key":"e_1_3_2_104_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.11.002"},{"key":"e_1_3_2_105_2","volume-title":"A Systematic Examination of Inter-app Conflicts Detections in Open IoT Systems","author":"Shen Xipeng","year":"2017","unstructured":"Xipeng Shen, Lei Zhang, and Xinyi Li. 2017. A Systematic Examination of Inter-app Conflicts Detections in Open IoT Systems. Technical Report. North Carolina State University. Dept. of Computer Science."},{"key":"e_1_3_2_106_2","doi-asserted-by":"publisher","DOI":"10.1145\/3395351.3399358"},{"key":"e_1_3_2_107_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-7399-2_7"},{"key":"e_1_3_2_108_2","doi-asserted-by":"publisher","DOI":"10.1145\/3416507.3423188"},{"key":"e_1_3_2_109_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2019.102379"},{"key":"e_1_3_2_110_2","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2364613"},{"key":"e_1_3_2_111_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2902410"},{"key":"e_1_3_2_112_2","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2019.2914986"},{"key":"e_1_3_2_113_2","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409682"},{"key":"e_1_3_2_114_2","doi-asserted-by":"publisher","DOI":"10.3897\/jucs.70515"},{"key":"e_1_3_2_115_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76890-6_2"},{"key":"e_1_3_2_116_2","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"e_1_3_2_117_2","first-page":"83","volume-title":"Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings 2","author":"Wang Hongbing","year":"2009","unstructured":"Hongbing Wang, Shizhi Shao, Xuan Zhou, Cheng Wan, and Athman Bouguettaya. 2009. Web service selection with incomplete or inconsistent user preferences. In Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings 2. Springer, 83\u201398."},{"key":"e_1_3_2_118_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345662"},{"key":"e_1_3_2_119_2","volume-title":"Network and Distributed Systems Symposium","author":"Wang Qi","year":"2018","unstructured":"Qi Wang, Wajih Ul Hassan, Adam Bates, and Carl Gunter. 2018. Fear and logging in the internet of things. In Network and Distributed Systems Symposium."},{"key":"e_1_3_2_120_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2021.107652"},{"key":"e_1_3_2_121_2","doi-asserted-by":"publisher","DOI":"10.5772\/50932"},{"key":"e_1_3_2_122_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-014-9489-2"},{"key":"e_1_3_2_123_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2014.2311513"},{"key":"e_1_3_2_124_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2959063"},{"key":"e_1_3_2_125_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEsCPS.2015.14"},{"key":"e_1_3_2_126_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46295-0_54"},{"key":"e_1_3_2_127_2","article-title":"TAPInspector: Safety and liveness verification of concurrent trigger-action IoT systems","author":"Yu Yinbo","year":"2021","unstructured":"Yinbo Yu and Jiajia Liu. 2021. TAPInspector: Safety and liveness verification of concurrent trigger-action IoT systems. arXiv preprint arXiv:2102.01468 (2021).","journal-title":"arXiv preprint arXiv:2102.01468"},{"key":"e_1_3_2_128_2","doi-asserted-by":"publisher","DOI":"10.1108\/17427370910976043"},{"issue":"2","key":"e_1_3_2_129_2","first-page":"126","article-title":"Internet of things applications, challenges and related future technologies","volume":"67","author":"Zeinab Kamal Aldein Mohammed","year":"2017","unstructured":"Kamal Aldein Mohammed Zeinab and Sayed Ali Ahmed Elmustafa. 2017. Internet of things applications, challenges and related future technologies. World Scientific News 67, 2 (2017), 126\u2013148.","journal-title":"World Scientific News"},{"key":"e_1_3_2_130_2","doi-asserted-by":"publisher","unstructured":"Valerie Zhao Lefan Zhang Bo Wang Shan Lu and Blase Ur. 2020. Visualizing differences to improve end-user understanding of trigger-action programs(CHI EA\u201920). Association for Computing Machinery New York NY USA 1\u201310. DOI:10.1145\/3334480.3382940","DOI":"10.1145\/3334480.3382940"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629517","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3629517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:01Z","timestamp":1750178161000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629517"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,27]]},"references-count":129,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,5,31]]}},"alternative-id":["10.1145\/3629517"],"URL":"https:\/\/doi.org\/10.1145\/3629517","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,27]]},"assertion":[{"value":"2022-09-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-26","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-11-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}