Teck Ping Khoo

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Sequence Diagrams

Model Based Testing

Top Venues

Publications

Yong Zhi Lim, Xin Xin, Teck Ping Khoo
Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment. WF-IoT (2022)
Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo
Adaptive Model Verification for Modularized Industry 4.0 Applications. IEEE Access 10 (2022)
Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay
Learning Fault Models of Cyber Physical Systems. ICFEM (2020)
Teck Ping Khoo, Jun Sun
The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. ICFEM (2018)
Teck Ping Khoo
Model Based Testing of Cyber-Physical Systems. ICFEM (2018)