Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. - Xin Xin 007; Sye Loong Keoh; Michele Sevegnani; Martin Saerbeck (SmartIoT, 2020)

Generalized Embedding Machines for Recommender Systems. - Enneng Yang; Xin Xin 007; Li Shen 008; Guibing Guo (CoRR, 2020)

Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment. - Yong Zhi Lim; Xin Xin 007; Teck Ping Khoo (WF-IoT, 2022)

Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. - Xin Xin 007; Sye Loong Keoh; Michele Sevegnani; Martin Saerbeck (WF-IoT, 2022)

Adaptive Model Verification for Modularized Industry 4.0 Applications. - Xin Xin 007; Sye Loong Keoh; Michele Sevegnani; Martin Saerbeck; Teck Ping Khoo (IEEE Access, 2022)

Generalized Embedding Machines for Recommender Systems. - Enneng Yang; Xin Xin 007; Li Shen 008; Yudong Luo; Guibing Guo (Mach. Intell. Res., 2024)