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
- André ÉBolat SLefaucheux EMarinho DArtho CÖlveczky P(2022)strategFTO: Untimed Control for Timed OpacityProceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems10.1145/3563822.3568013(27-33)Online publication date: 29-Nov-2022
- (2018)Diagnosability analysis and fault diagnosis of P-time labelled Petri netsInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2018.0918568:1(78-103)Online publication date: 1-Jan-2018
- Show More Cited By