Teck Ping Khoo

According to our database, Teck Ping Khoo authored at least 5 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Adaptive Model Verification for Modularized Industry 4.0 Applications.

Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo

IEEE Access, 2022

Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment.

Yong Zhi Lim, Xin Xin, Teck Ping Khoo

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

2020

Learning Fault Models of Cyber Physical Systems.

Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay

Proceedings of the Formal Methods and Software Engineering, 2020

2018

The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System.

Teck Ping Khoo, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2018

Model Based Testing of Cyber-Physical Systems.

Teck Ping Khoo

Proceedings of the Formal Methods and Software Engineering, 2018