17 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.SE2023
EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things
Bingkun Sun, Liwei Shen, Jialin Ren +3
Web of Things (WoT) technology facilitates the standardized integration of IoT devices ubiquitously deployed in daily environments, promoting diverse WoT applications to automatica…
cs.RO2023
Enhancing Robot Program Synthesis Through Environmental Context
Tianyi Chen, Qidi Wang, Zhen Dong +2
Program synthesis aims to automatically generate an executable program that conforms to the given specification. Recent advancements have demonstrated that deep neural methodologie…
cs.SE2022★ 17 cited
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen +3
Android apps are event-driven, and their execution is often interrupted by external events. This interruption can cause data loss issues that annoy users. For instance, when the sc…