Systematically Debugging IoT Control System Correctness for Building Automation-Reference-Cited by-同舟云学术

Systematically Debugging IoT Control System Correctness for Building Automation

Published:2016-11-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments
language:
Short-container-title:

Author:

Liang Chieh-Jan Mike¹,Bu Lei²,Li Zhao³,Zhang Junbei³,Han Shi¹,Karlsson Börje F.¹,Zhang Dongmei¹,Zhao Feng¹

Affiliation:

1. Microsoft Research

2. Nanjing University

3. Microsoft Research and University of Science and Technology of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2993422.2993426

Reference49 articles.

1. AllJoyn. http://www.alljoyn.org. AllJoyn. http://www.alljoyn.org.

2. IFTTT : Put the internet to work for you. http://ifttt.com. IFTTT: Put the internet to work for you. http://ifttt.com.

3. Thread. http://threadgroup.org. Thread. http://threadgroup.org.

4. WSU CASAS Datasets. http://ailab.wsu.edu/casas/datasets. WSU CASAS Datasets. http://ailab.wsu.edu/casas/datasets.

5. Amazon. Device Registry for AWS IoT. http://docs.aws.amazon.com/iot/latest/developerguide/thing-registry.html. Amazon. Device Registry for AWS IoT. http://docs.aws.amazon.com/iot/latest/developerguide/thing-registry.html.

Cited by 38 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Threat Detection in Trigger-Action Programming Rules of Smart Home With Heterogeneous Information Network Model;IEEE Internet of Things Journal;2024-05-15

2. SMT-as-a-Service for Fog-Supported Cyber-Physical Systems;Proceedings of the 25th International Conference on Distributed Computing and Networking;2024-01-04

3. Ontology-Based Classification and Detection of the Smart Home Automation Rules Conflicts;IEEE Access;2024

4. Security Checking of Trigger-Action-Programming Smart Home Integrations;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

5. IoTCom: Dissecting Interaction Threats in IoT Systems;IEEE Transactions on Software Engineering;2023-04-01