IotSan-Reference-Cited by-同舟云学术

IotSan

Published:2018-12-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies
language:
Short-container-title:

Author:

Nguyen Dang Tu¹,Song Chengyu¹,Qian Zhiyun¹,Krishnamurthy Srikanth V.¹,Colbert Edward J. M.²,McDaniel Patrick³

Affiliation:

1. UC Riverside

2. U.S. Army Research Laboratory

3. The Pennsylvania State University

Publisher

ACM

Link

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

Reference93 articles.

1. Reliability Models for the Internet of Things: A Paradigm Shift

2. Fault tolerance in ZigBee wireless sensor networks

3. Amazon. 2018. Alexa. https://developer.amazon.com/alexa. (June 2018). Amazon. 2018. Alexa. https://developer.amazon.com/alexa. (June 2018).

4. Apple. 2018. HomeKit. https://developer.apple.com/homekit/. (June 2018). Apple. 2018. HomeKit. https://developer.apple.com/homekit/. (June 2018).

5. C. Baier and J. P. Katoen. 2008. Principles of Model Checking. The MIT Press Cambridge Massachusetts London England. C. Baier and J. P. Katoen. 2008. Principles of Model Checking. The MIT Press Cambridge Massachusetts London England.

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

1. Safety Assurance in IoT-Based Smart Homes;Edge Computing - Architecture and Applications for Smart Cities [Working Title];2024-07-02

2. A DBDCP Antenna With a Helmet-Conformal AMC for Industrial IoT Applications Featuring LHCP and RHCP in the Low and High Bands, Respectively;IEEE Internet of Things Journal;2024-06-15

3. TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming;IEEE Internet of Things Journal;2024-06-15

4. Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems;Theoretical Computer Science;2024-06

5. Practical Integrity Validation in the Smart Home with HomeEndorser;Proceedings of the 17th ACM Conference on Security and Privacy in Wireless and Mobile Networks;2024-05-27