Model Based Testing of Cyber-Physical Systems. - Teck Ping Khoo (ICFEM, 2018)

The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. - Teck Ping Khoo; Jun Sun 001 (ICFEM, 2018)

Learning Fault Models of Cyber Physical Systems. - Teck Ping Khoo; Jun Sun 001; Sudipta Chattopadhyay 001 (ICFEM, 2020)

Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment. - Yong Zhi Lim; Xin Xin 007; Teck Ping Khoo (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)