82 citations · 133 across the 12 of their papers we have counts for
13 papers
Crowdsourced Smartphone Sensing for Localization in Metro Trains
Haibo Ye, Tao Gu, Xianping Tao +1
Traditional fingerprint based localization techniques mainly rely on infrastructure support such as RFID, Wi-Fi or GPS. They operate by war-driving the entire space which is both t…
Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns
Liang Wang, Tao Gu, Xianping Tao +1
Elderly care is one of the many applications supported by real-time activity recognition systems. Traditional approaches use cameras, body sensor networks, or radio patterns from v…
Boosting Operational DNN Testing Efficiency through Conditioning
Zenan Li, Xiaoxing Ma, Chang Xu +3
With the increasing adoption of Deep Neural Network (DNN) models as integral parts of software systems, efficient operational testing of DNNs is much in demand to ensure these mode…
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software
Yi Qin, Tao Xie, Chang Xu +2
Cyber-physical software continually interacts with its physical environment for adaptation in order to deliver smart services. However, the interactions can be subject to various e…
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
Hengfeng Wei, Yu Huang, Jian Lu
The replicated list object is frequently used to model the core functionality of replicated collaborative text editing systems. Since 1989, the convergence property has been a comm…
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime
Yiling Yang, Yu Huang, Jiannong Cao +1
It has gained broad attention to understand the timed distributed trace of a cyber-physical system at runtime, which is often achieved by verifying properties over the observed tra…