{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T23:11:17Z","timestamp":1780441877121,"version":"3.54.1"},"reference-count":77,"publisher":"Association for Computing Machinery (ACM)","issue":"EICS","license":[{"start":{"date-parts":[[2022,6,14]],"date-time":"2022-06-14T00:00:00Z","timestamp":1655164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["G0E7317N"],"award-info":[{"award-number":["G0E7317N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Special Research Fund (BOF) of Hasselt University","award":["R-8150"],"award-info":[{"award-number":["R-8150"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Hum.-Comput. Interact."],"published-print":{"date-parts":[[2022,6,14]]},"abstract":"<jats:p>Smart home inhabitants can specify trigger-condition-action rules to control the home's behavior. As the number of rules and their complexity grow, however, so does the probability of issues such as inconsistencies and redundancies. These can lead to unintended behavior, including security vulnerabilities and wasted resources, which harms the inhabitants' trust in the system. Existing approaches to handle unintended behavior typically require inhabitants to define all-encompassing, permanent solutions by modifying the rules. Although this is fitting in certain situations, some unforeseen situations might occur. We argue that the user always must have the last word to avoid unwanted behaviors, without altering the overall behavior. With FortClash, we present an approach to predict many different types of unintended behavior, and contribute four novel mechanisms to mediate them that rely on making one-time exceptions. With FortClash, inhabitants gain a new tool to deal with unintended behavior in the short-term that is compatible with existing long-term approaches such as editing rules.<\/jats:p>","DOI":"10.1145\/3532204","type":"journal-article","created":{"date-parts":[[2022,6,17]],"date-time":"2022-06-17T17:36:27Z","timestamp":1655487387000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["FortClash: Predicting and Mediating Unintended Behavior in Home Automation"],"prefix":"10.1145","volume":"6","author":[{"given":"Sven","family":"Coppers","sequence":"first","affiliation":[{"name":"Hasselt University - tUL - Flanders Make, Diepenbeek, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davy","family":"Vanacken","sequence":"additional","affiliation":[{"name":"Hasselt University - tUL - Flanders Make, Diepenbeek, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kris","family":"Luyten","sequence":"additional","affiliation":[{"name":"Hasselt University - tUL - Flanders Make, Diepenbeek, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,6,17]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"2021. If This Then That. https:\/\/ifttt.com\/ Accessed: 2021-04--20.  2021. If This Then That. https:\/\/ifttt.com\/ Accessed: 2021-04--20."},{"key":"e_1_2_1_2_1","volume-title":"2019 IFIP\/IEEE Symposium on Integrated Network and Service Management (IM). 442--447","author":"Farooq A. Al","unstructured":"A. Al Farooq , E. Al-Shaer , T. Moyer , and K. Kant . 2019. IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems . In 2019 IFIP\/IEEE Symposium on Integrated Network and Service Management (IM). 442--447 . A. Al Farooq, E. Al-Shaer, T. Moyer, and K. Kant. 2019. IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. In 2019 IFIP\/IEEE Symposium on Integrated Network and Service Management (IM). 442--447."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3057857"},{"key":"e_1_2_1_4_1","volume-title":"Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient. Transactions on Emerging Telecommunications Technologies n\/a, n\/a (Dec","author":"Alfakeeh Ahmed S.","year":"2019","unstructured":"Ahmed S. Alfakeeh , Ali H. Al-Bayatti , Francois Siewe , and Thar Baker . 2019. Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient. Transactions on Emerging Telecommunications Technologies n\/a, n\/a (Dec . 2019 ), e3808. https:\/\/doi.org\/10.1002\/ett.3808 Publisher : John Wiley & Sons, Ltd. 10.1002\/ett.3808 Ahmed S. Alfakeeh, Ali H. Al-Bayatti, Francois Siewe, and Thar Baker. 2019. Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient. Transactions on Emerging Telecommunications Technologies n\/a, n\/a (Dec. 2019), e3808. https:\/\/doi.org\/10.1002\/ett.3808 Publisher: John Wiley & Sons, Ltd."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085777.1085780"},{"key":"e_1_2_1_6_1","volume-title":"End-User Development (Lecture Notes in Computer Science)","author":"Ardito Carmelo","unstructured":"Carmelo Ardito , Maria F. Costabile , Giuseppe Desolda , Marco Manca , Maristella Matera , Fabio Patern\u00f2 , and Carmen Santoro . 2019. Improving Tools that Allow End Users to Configure Smart Environments . In End-User Development (Lecture Notes in Computer Science) , Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, and Andrew Stratton (Eds.). Springer International Publishing , 244--248. Carmelo Ardito, Maria F. Costabile, Giuseppe Desolda, Marco Manca, Maristella Matera, Fabio Patern\u00f2, and Carmen Santoro. 2019. Improving Tools that Allow End Users to Configure Smart Environments. In End-User Development (Lecture Notes in Computer Science), Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, and Andrew Stratton (Eds.). Springer International Publishing, 244--248."},{"key":"e_1_2_1_7_1","volume-title":"Active, Scrutable Model Framework for Context-Aware Services. In Pervasive Computing.","author":"Assad Mark","year":"2037","unstructured":"Mark Assad , David J. Carmichael , Judy Kay , and Bob Kummerfeld . 2007. PersonisAD : Distributed , Active, Scrutable Model Framework for Context-Aware Services. In Pervasive Computing. Vol. 4480 . Springer Berlin Heidelberg , Berlin, Heidelberg , 55--72. http:\/\/link.springer.com\/10.1007\/978--3--540--7 2037 --9_4 Mark Assad, David J. Carmichael, Judy Kay, and Bob Kummerfeld. 2007. PersonisAD: Distributed, Active, Scrutable Model Framework for Context-Aware Services. In Pervasive Computing. Vol. 4480. Springer Berlin Heidelberg, Berlin, Heidelberg, 55--72. http:\/\/link.springer.com\/10.1007\/978--3--540--72037--9_4"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(83)90046-8"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39653-6_12"},{"key":"e_1_2_1_10_1","volume-title":"End-User Development","author":"Barricelli Barbara Rita","unstructured":"Barbara Rita Barricelli and Stefano Valtolina . 2015. Designing for End-User Development in the Internet of Things . In End-User Development . Springer International Publishing , Cham , 9--24. Barbara Rita Barricelli and Stefano Valtolina. 2015. Designing for End-User Development in the Internet of Things. In End-User Development. Springer International Publishing, Cham, 9--24."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23771-3_5"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_05"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300782"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979249"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185501"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.06.035"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025485"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007790170020"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331162"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18)","author":"Coppers Sven","unstructured":"Sven Coppers , Jan Van den Bergh , Kris Luyten , Karin Coninx , Iulianna van der Lek-Ciudin, Tom Vanallemeersch, and Vincent Vandeghinste. 2018. Intellingo: An Intelligible Translation Environment . In Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18) . Association for Computing Machinery, New York, NY, USA, 1--13. https:\/\/doi.org\/10.1145\/3173574.3174098 10.1145\/3173574.3174098 Sven Coppers, Jan Van den Bergh, Kris Luyten, Karin Coninx, Iulianna van der Lek-Ciudin, Tom Vanallemeersch, and Vincent Vandeghinste. 2018. Intellingo: An Intelligible Translation Environment. In Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18). Association for Computing Machinery, New York, NY, USA, 1--13. https:\/\/doi.org\/10.1145\/3173574.3174098"},{"key":"e_1_2_1_21_1","volume-title":"Mobile, Wearable and Ubiquitous Technologies 4, 4 (Dec.","author":"Coppers Sven","year":"2020","unstructured":"Sven Coppers , Davy Vanacken , and Kris Luyten . 2020. FORTNIoT: Intelligible Predictions to Improve User Understanding of Smart Home Behavior. Proceedings of the ACM on Interactive , Mobile, Wearable and Ubiquitous Technologies 4, 4 (Dec. 2020 ). https:\/\/doi.org\/10.1145\/3432225 Place : New York, NY, USA Publisher : Association for Computing Machinery. 10.1145\/3432225 Sven Coppers, Davy Vanacken, and Kris Luyten. 2020. FORTNIoT: Intelligible Predictions to Improve User Understanding of Smart Home Behavior. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, 4 (Dec. 2020). https:\/\/doi.org\/10.1145\/3432225 Place: New York, NY, USA Publisher: Association for Computing Machinery."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300618"},{"key":"e_1_2_1_23_1","volume-title":"Luigi De Russis, and Alberto Monge Roffarello","author":"Corno Fulvio","year":"2019","unstructured":"Fulvio Corno , Luigi De Russis, and Alberto Monge Roffarello . 2019 . A High-level Semantic Approach to End-User Development in the Internet of Things. International Journal of Human-Computer Studies 125 (May 2019), 41--54. https:\/\/doi.org\/10.1016\/j.ijhcs.2018.12.008 10.1016\/j.ijhcs.2018.12.008 Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2019. A High-level Semantic Approach to End-User Development in the Internet of Things. International Journal of Human-Computer Studies 125 (May 2019), 41--54. https:\/\/doi.org\/10.1016\/j.ijhcs.2018.12.008"},{"key":"e_1_2_1_24_1","volume-title":"Luigi De Russis, and Alberto Monge Roffarello","author":"Corno Fulvio","year":"2019","unstructured":"Fulvio Corno , Luigi De Russis, and Alberto Monge Roffarello . 2019 . My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor. In End-User Development (Lecture Notes in Computer Science), Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, and Andrew Stratton (Eds.). Springer International Publishing , 18--33. Fulvio Corno, Luigi De Russis, and Alberto Monge Roffarello. 2019. My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor. In End-User Development (Lecture Notes in Computer Science), Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, and Andrew Stratton (Eds.). Springer International Publishing, 18--33."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3344211"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2016.24"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/imms.1993.1061"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702613.2732795"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3170427.3188641"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3057859"},{"key":"e_1_2_1_31_1","volume-title":"iCAP: Interactive prototyping of context-aware applications. Pervasive Computing","author":"Dey Anind","year":"2006","unstructured":"Anind Dey , Timothy Sohn , Sara Streng , and Justin Kodama . 2006. iCAP: Interactive prototyping of context-aware applications. Pervasive Computing ( 2006 ), 254--271. Anind Dey, Timothy Sohn, Sara Streng, and Justin Kodama. 2006. iCAP: Interactive prototyping of context-aware applications. Pervasive Computing (2006), 254--271."},{"key":"e_1_2_1_32_1","volume-title":"Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)","author":"Dixon Colin","unstructured":"Colin Dixon , Ratul Mahajan , Sharad Agarwal , A. J. Brush , Bongshin Lee , Stefan Saroiu , and Paramvir Bahl . 2012. An Operating System for the Home . In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) . USENIX , San Jose, CA , 337--352. https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/dixon Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Brush, Bongshin Lee, Stefan Saroiu, and Paramvir Bahl. 2012. An Operating System for the Home. In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). USENIX, San Jose, CA, 337--352. https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/dixon"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868465"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/778712.778752"},{"key":"e_1_2_1_35_1","unstructured":"E. S. Reetz D. Kuemper K. Moessner and R. Toenjes. 2013. How to Test IoT-based Services before Deploying them into Real World. In European Wireless 2013; 19th European Wireless Conference. 1--6.  E. S. Reetz D. Kuemper K. Moessner and R. Toenjes. 2013. How to Test IoT-based Services before Deploying them into Real World. In European Wireless 2013; 19th European Wireless Conference. 1--6."},{"key":"e_1_2_1_36_1","volume-title":"Grinter","author":"Keith Edwards W.","year":"2001","unstructured":"W. Keith Edwards and Rebecca E . Grinter . 2001 . At Home with Ubiquitous Computing : Seven Challenges. In Ubicomp 2001: Ubiquitous Computing : International Conference Atlanta Georgia, USA, September 30--October 2, 2001 Proceedings, Gregory D. Abowd, Barry Brumitt, and Steven Shafer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 256--272. https:\/\/doi.org\/10.1007\/3--540--45427--6_22 10.1007\/3--540--45427--6_22 W. Keith Edwards and Rebecca E. Grinter. 2001. At Home with Ubiquitous Computing: Seven Challenges. In Ubicomp 2001: Ubiquitous Computing: International Conference Atlanta Georgia, USA, September 30--October 2, 2001 Proceedings, Gregory D. Abowd, Barry Brumitt, and Steven Shafer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 256--272. https:\/\/doi.org\/10.1007\/3--540--45427--6_22"},{"key":"e_1_2_1_37_1","volume-title":"The User in the Loop: Enabling User Participation for Self-adaptive Applications. Future Generation Computer Systems 34 (May","author":"Evers Christoph","year":"2014","unstructured":"Christoph Evers , Romy Kniewel , Kurt Geihs , and Ludger Schmidt . 2014. The User in the Loop: Enabling User Participation for Self-adaptive Applications. Future Generation Computer Systems 34 (May 2014 ), 110--123. https:\/\/doi.org\/10.1016\/j.future.2013.12.010 10.1016\/j.future.2013.12.010 Christoph Evers, Romy Kniewel, Kurt Geihs, and Ludger Schmidt. 2014. The User in the Loop: Enabling User Participation for Self-adaptive Applications. Future Generation Computer Systems 34 (May 2014), 110--123. https:\/\/doi.org\/10.1016\/j.future.2013.12.010"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2843043.2843373"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3057861"},{"key":"e_1_2_1_40_1","unstructured":"Home Assistant 2021. Home Assistant. https:\/\/www.home-assistant.io\/ Accessed: 2020-04--20.  Home Assistant 2021. Home Assistant. https:\/\/www.home-assistant.io\/ Accessed: 2020-04--20."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/302979.303030"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). ACM","author":"Kenneth Huang Ting-Hao","unstructured":"Ting-Hao Kenneth Huang , Amos Azaria , and Jeffrey P. Bigham . 2016. InstructableCrowd: Creating IF-THEN Rules via Conversations with the Crowd . In Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). ACM , New York, NY, USA, 1555--1562. https:\/\/doi.org\/10.1145\/2851581.2892502 10.1145\/2851581.2892502 Ting-Hao Kenneth Huang, Amos Azaria, and Jeffrey P. Bigham. 2016. InstructableCrowd: Creating IF-THEN Rules via Conversations with the Crowd. In Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). ACM, New York, NY, USA, 1555--1562. https:\/\/doi.org\/10.1145\/2851581.2892502"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025799"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287049"},{"key":"#cr-split#-e_1_2_1_46_1.1","doi-asserted-by":"crossref","unstructured":"L. Zhang W. He J. Martinez N. Brackenbury S. Lu and B. Ur. 2019. AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). 281--291. https:\/\/doi.org\/10.1109\/ICSE.2019.00043 Journal Abbreviation: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). 10.1109\/ICSE.2019.00043","DOI":"10.1109\/ICSE.2019.00043"},{"key":"#cr-split#-e_1_2_1_46_1.2","doi-asserted-by":"crossref","unstructured":"L. Zhang W. He J. Martinez N. Brackenbury S. Lu and B. Ur. 2019. AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). 281--291. https:\/\/doi.org\/10.1109\/ICSE.2019.00043 Journal Abbreviation: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE).","DOI":"10.1109\/ICSE.2019.00043"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1080\/01449290500196963"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 12th ACM international conference on Ubiquitous computing (UbiComp '10)","author":"Brian","year":"1864","unstructured":"Brian Y. Lim and Anind K. Dey. 2010. Toolkit to Support Intelligibility in Context-aware Applications . In Proceedings of the 12th ACM international conference on Ubiquitous computing (UbiComp '10) . ACM Press, 13. https:\/\/doi.org\/10.1145\/ 1864 349.1864353 10.1145\/1864349.1864353 Brian Y. Lim and Anind K. Dey. 2010. Toolkit to Support Intelligibility in Context-aware Applications. In Proceedings of the 12th ACM international conference on Ubiquitous computing (UbiComp '10). ACM Press, 13. https:\/\/doi.org\/10.1145\/1864349.1864353"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1519023"},{"key":"e_1_2_1_50_1","volume-title":"IUI Workshops","author":"Lim Brian Y","year":"2019","unstructured":"Brian Y Lim , Qian Yang , Ashraf M Abdul , and Danding Wang . 2019 . Why these Explanations? Selecting Intelligibility Types for Explanation Goals .. In IUI Workshops 2019. Brian Y Lim, Qian Yang, Ashraf M Abdul, and Danding Wang. 2019. Why these Explanations? Selecting Intelligibility Types for Explanation Goals.. In IUI Workshops 2019."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the Second International Conference on Internet-of-Things Design and Implementation (IoTDI '17)","author":"Ma Meiyi","unstructured":"Meiyi Ma , Sarah Masud Preum , and John A. Stankovic . 2017. CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities . In Proceedings of the Second International Conference on Internet-of-Things Design and Implementation (IoTDI '17) . Association for Computing Machinery, New York, NY, USA, 259--270. https:\/\/doi.org\/10.1145\/3054977.3054989 10.1145\/3054977.3054989 Meiyi Ma, Sarah Masud Preum, and John A. Stankovic. 2017. CityGuard: A Watchdog for Safety-Aware Conflict Detection in Smart Cities. In Proceedings of the Second International Conference on Internet-of-Things Design and Implementation (IoTDI '17). Association for Computing Machinery, New York, NY, USA, 259--270. https:\/\/doi.org\/10.1145\/3054977.3054989"},{"key":"e_1_2_1_52_1","volume-title":"Exploring conflicts in Rule-Based Sensor Networks. Pervasive and Mobile Computing 27 (April","author":"Magill Evan","year":"2016","unstructured":"Evan Magill and Jesse Blum . 2016. Exploring conflicts in Rule-Based Sensor Networks. Pervasive and Mobile Computing 27 (April 2016 ), 133--154. https:\/\/doi.org\/10.1016\/j.pmcj.2015.08.005 10.1016\/j.pmcj.2015.08.005 Evan Magill and Jesse Blum. 2016. Exploring conflicts in Rule-Based Sensor Networks. Pervasive and Mobile Computing 27 (April 2016), 133--154. https:\/\/doi.org\/10.1016\/j.pmcj.2015.08.005"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2018.11.005"},{"key":"e_1_2_1_54_1","volume-title":"Program Understanding Behavior During Debugging of Large Scale Software. In Workshop On Empirical Studies of Programmers. ACM, 157--179","author":"von Mayrhauser Anneliese","unstructured":"Anneliese von Mayrhauser and A. Marie Vans . 1997 . Program Understanding Behavior During Debugging of Large Scale Software. In Workshop On Empirical Studies of Programmers. ACM, 157--179 . Anneliese von Mayrhauser and A. Marie Vans. 1997. Program Understanding Behavior During Debugging of Large Scale Software. In Workshop On Empirical Studies of Programmers. ACM, 157--179."},{"key":"e_1_2_1_55_1","volume-title":"Huang","author":"Mennicken Sarah","year":"2012","unstructured":"Sarah Mennicken and Elaine M . Huang . 2012 . Hacking the Natural Habitat : An In-the-Wild Study of Smart Homes, Their Development, and the People Who Live in Them. In Pervasive Computing (Lecture Notes in Computer Science), Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, and Antonio Kr\u00fcger (Eds.). Springer Berlin Heidelberg , 143--160. Sarah Mennicken and Elaine M. Huang. 2012. Hacking the Natural Habitat: An In-the-Wild Study of Smart Homes, Their Development, and the People Who Live in Them. In Pervasive Computing (Lecture Notes in Computer Science), Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, and Antonio Kr\u00fcger (Eds.). Springer Berlin Heidelberg, 143--160."},{"key":"e_1_2_1_56_1","volume-title":"Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp '14 Adjunct. ACM Press","author":"Mennicken Sarah","year":"2048","unstructured":"Sarah Mennicken , Jo Vermeulen , and Elaine M. Huang . 2014. From Today's Augmented Houses to Tomorrow's Smart Homes: new Directions for Home Automation Research . In Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp '14 Adjunct. ACM Press , Seattle, Washington, 105--115. https:\/\/doi.org\/10.1145\/263 2048 .2636076 10.1145\/2632048.2636076 Sarah Mennicken, Jo Vermeulen, and Elaine M. Huang. 2014. From Today's Augmented Houses to Tomorrow's Smart Homes: new Directions for Home Automation Research. In Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp '14 Adjunct. ACM Press, Seattle, Washington, 105--115. https:\/\/doi.org\/10.1145\/2632048.2636076"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319499.3328239"},{"key":"e_1_2_1_58_1","first-page":"11","article-title":"Trust in Automation","volume":"37","author":"Muir Bonnie M.","year":"1994","unstructured":"Bonnie M. Muir . 1994 . Trust in Automation : Part I. Theoretical Issues in the Study of Trust and Human Intervention in Automated Systems. Ergonomics 37 , 11 (Nov. 1994), 1905--1922. https:\/\/doi.org\/10.1080\/00140139408964957 10.1080\/00140139408964957 Bonnie M. Muir. 1994. Trust in Automation: Part I. Theoretical Issues in the Study of Trust and Human Intervention in Automated Systems. Ergonomics 37, 11 (Nov. 1994), 1905--1922. https:\/\/doi.org\/10.1080\/00140139408964957","journal-title":"Part I. Theoretical Issues in the Study of Trust and Human Intervention in Automated Systems. Ergonomics"},{"key":"e_1_2_1_59_1","unstructured":"Donald A Norman. 2013. The Design of Everyday Things: Revised and Expanded Edition. Constellation.  Donald A Norman. 2013. The Design of Everyday Things: Revised and Expanded Edition. Constellation."},{"key":"e_1_2_1_60_1","unstructured":"Fabio Patern\u00f2 and Sadi Alawadi. 2019. Towards Intelligent Personalization of IoT Platforms End User Development. ACM.  Fabio Patern\u00f2 and Sadi Alawadi. 2019. Towards Intelligent Personalization of IoT Platforms End User Development. ACM."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0184-9"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2466152"},{"key":"e_1_2_1_63_1","volume-title":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 23--30","author":"Rode Jochen","year":"2003","unstructured":"Jochen Rode and Mary Beth Rosson . 2003 . Programming at runtime: requirements and paradigms for nonprogrammer web application development . In IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 23--30 . Jochen Rode and Mary Beth Rosson. 2003. Programming at runtime: requirements and paradigms for nonprogrammer web application development. In IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 23--30."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2753476.2753481"},{"key":"e_1_2_1_65_1","doi-asserted-by":"crossref","unstructured":"S. Munir and J. A. Stankovic. 2014. DepSys: Dependency Aware Integration of Cyber-Physical Systems for Smart Homes. In 2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS). 127--138. https:\/\/doi.org\/10.1109\/ICCPS.2014.6843717 Journal Abbreviation: 2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS).    10.1109\/ICCPS.2014.6843717\nS. Munir and J. A. Stankovic. 2014. DepSys: Dependency Aware Integration of Cyber-Physical Systems for Smart Homes. In 2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS). 127--138. https:\/\/doi.org\/10.1109\/ICCPS.2014.6843717 Journal Abbreviation: 2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS).","DOI":"10.1109\/ICCPS.2014.6843717"},{"key":"e_1_2_1_66_1","volume-title":"CHI '08 Extended Abstracts on Human Factors in Computing Systems (CHI EA '08)","author":"Spaulding Aaron","unstructured":"Aaron Spaulding , Anthony Jameson , Jonathan Grudin , Neil Yorke-Smith , and Jack Zaientz . 2008. Usable artificial intelligence . In CHI '08 Extended Abstracts on Human Factors in Computing Systems (CHI EA '08) . ACM Press , 3937. https:\/\/doi.org\/10.1145\/1358628.1358961 10.1145\/1358628.1358961 Aaron Spaulding, Anthony Jameson, Jonathan Grudin, Neil Yorke-Smith, and Jack Zaientz. 2008. Usable artificial intelligence. In CHI '08 Extended Abstracts on Human Factors in Computing Systems (CHI EA '08). ACM Press, 3937. https:\/\/doi.org\/10.1145\/1358628.1358961"},{"key":"#cr-split#-e_1_2_1_67_1.1","doi-asserted-by":"crossref","unstructured":"T. Shah S. Venkatesan T. Ngo Pratima and K. Neelamegam. 2019. Conflict Detection in Rule Based IoT Systems. In 2019 IEEE 10th Annual Information Technology Electronics and Mobile Communication Conference (IEMCON). 0276--0284. https:\/\/doi.org\/10.1109\/IEMCON.2019.8936266 Journal Abbreviation: 2019 IEEE 10th Annual Information Technology Electronics and Mobile Communication Conference (IEMCON). 10.1109\/IEMCON.2019.8936266","DOI":"10.1109\/IEMCON.2019.8936266"},{"key":"#cr-split#-e_1_2_1_67_1.2","doi-asserted-by":"crossref","unstructured":"T. Shah S. Venkatesan T. Ngo Pratima and K. Neelamegam. 2019. Conflict Detection in Rule Based IoT Systems. In 2019 IEEE 10th Annual Information Technology Electronics and Mobile Communication Conference (IEMCON). 0276--0284. https:\/\/doi.org\/10.1109\/IEMCON.2019.8936266 Journal Abbreviation: 2019 IEEE 10th Annual Information Technology Electronics and Mobile Communication Conference (IEMCON).","DOI":"10.1109\/IEMCON.2019.8936266"},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14)","author":"Ur Blase","unstructured":"Blase Ur , Elyse McManus , Melwyn Pak Yong Ho , and Michael L. Littman . 2014. Practical Trigger-action Programming in the Smart Home . In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14) . ACM, New York, NY, USA, 803--812. https:\/\/doi.org\/10.1145\/2556288.2557420 10.1145\/2556288.2557420 Blase Ur, Elyse McManus, Melwyn Pak Yong Ho, and Michael L. Littman. 2014. Practical Trigger-action Programming in the Smart Home. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14). ACM, New York, NY, USA, 803--812. https:\/\/doi.org\/10.1145\/2556288.2557420"},{"key":"e_1_2_1_69_1","volume-title":"Stephen Brawner, Jiyun Lee, Sarah Mennicken, Noah Picard, Diane Schulze, and Michael L. Littman.","author":"Ur Blase","year":"2016","unstructured":"Blase Ur , Melwyn Pak Yong Ho , Stephen Brawner, Jiyun Lee, Sarah Mennicken, Noah Picard, Diane Schulze, and Michael L. Littman. 2016 . Trigger-Action Programming in the Wild : An Analysis of 200,000 IFTTT Recipes. In Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (CHI '16). ACM Press , 3227--3231. https:\/\/doi.org\/10.1145\/2858036.2858556 10.1145\/2858036.2858556 Blase Ur, Melwyn Pak Yong Ho, Stephen Brawner, Jiyun Lee, Sarah Mennicken, Noah Picard, Diane Schulze, and Michael L. Littman. 2016. Trigger-Action Programming in the Wild: An Analysis of 200,000 IFTTT Recipes. In Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (CHI '16). ACM Press, 3227--3231. https:\/\/doi.org\/10.1145\/2858036.2858556"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40860-017-0036-z"},{"key":"e_1_2_1_71_1","volume-title":"Answering Why and Why Not Questions in Ubiquitous Computing. UbiComp","author":"Vermeulen Jo","year":"2009","unstructured":"Jo Vermeulen , Geert Vanderhulst , Karin Coninx , and Kris Luyten . 2009. Answering Why and Why Not Questions in Ubiquitous Computing. UbiComp 2009 , Orlando, FL , USA. Jo Vermeulen, Geert Vanderhulst, Karin Coninx, and Kris Luyten. 2009. Answering Why and Why Not Questions in Ubiquitous Computing. UbiComp 2009, Orlando, FL, USA."},{"key":"e_1_2_1_72_1","volume-title":"7th International Workshop on Design and Semantics of Form and Movement (DeSForM 2012","author":"Vlist B. J. J.","year":"2012","unstructured":"van der B. J. J. Vlist , J. Hu , G. Niezen , and L. M. G. Feijs . 2012 . Semantic Connections : a New Interaction Paradigm for Smart Environments . In 7th International Workshop on Design and Semantics of Form and Movement (DeSForM 2012 ), April 18 --20 , 2012, Wellington, New Zealand. van der B. J. J. Vlist, J. Hu, G. Niezen, and L. M. G. Feijs. 2012. Semantic Connections : a New Interaction Paradigm for Smart Environments. In 7th International Workshop on Design and Semantics of Form and Movement (DeSForM 2012), April 18--20, 2012, Wellington, New Zealand."},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS '19)","author":"Wang Qi","year":"1953","unstructured":"Qi Wang , Pubali Datta , Wei Yang , Si Liu , Adam Bates , and Carl A. Gunter . 2019. Charting the Attack Surface of Trigger-Action IoT Platforms . In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS '19) . Association for Computing Machinery, London, United Kingdom, 1439--1453. https:\/\/doi.org\/10.1145\/33 1953 5.3345662 10.1145\/3319535.3345662 Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, and Carl A. Gunter. 2019. Charting the Attack Surface of Trigger-Action IoT Platforms. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS '19). Association for Computing Machinery, London, United Kingdom, 1439--1453. https:\/\/doi.org\/10.1145\/3319535.3345662"},{"key":"e_1_2_1_74_1","volume-title":"Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp '13)","author":"Yang Rayoung","unstructured":"Rayoung Yang and Mark W. Newman . 2013. Learning from a Learning Thermostat: Lessons for Intelligent Systems for the Home . In Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp '13) . ACM, New York, NY, USA, 93--102. https:\/\/doi.org\/10.1145\/2493432.2493489 10.1145\/2493432.2493489 Rayoung Yang and Mark W. Newman. 2013. Learning from a Learning Thermostat: Lessons for Intelligent Systems for the Home. In Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp '13). ACM, New York, NY, USA, 93--102. https:\/\/doi.org\/10.1145\/2493432.2493489"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025617"}],"container-title":["Proceedings of the ACM on Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3532204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3532204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:42Z","timestamp":1750183782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3532204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,14]]},"references-count":77,"journal-issue":{"issue":"EICS","published-print":{"date-parts":[[2022,6,14]]}},"alternative-id":["10.1145\/3532204"],"URL":"https:\/\/doi.org\/10.1145\/3532204","relation":{},"ISSN":["2573-0142"],"issn-type":[{"value":"2573-0142","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,14]]},"assertion":[{"value":"2022-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}