research
∙
02/02/2021
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
Trigger-action programming (TAP) is a popular end-user programming frame...
share
research
∙
12/12/2019
Envisioning Device-to-Device Communications in 6G
To fulfill the requirements of various emerging applications, the future...
research
∙
12/14/2017
