Cited By
View all- Du HWang YXu XLiu M(2023)Niffler: Real-time Device-level Anomalies Detection in Smart HomeACM Transactions on the Web10.1145/358607317:3(1-27)Online publication date: 1-Mar-2023
- Tuxi TCarvalho LNunes ECunha A(2022)Diagnosability verification using LTL model checkingDiscrete Event Dynamic Systems10.1007/s10626-022-00360-w32:3(399-433)Online publication date: 1-Sep-2022
- Wada ATakai S(2022)Decentralized diagnosis of discrete event systems subject to permanent sensor failuresDiscrete Event Dynamic Systems10.1007/s10626-021-00353-132:2(159-193)Online publication date: 1-Jun-2022
- Show More Cited By