Xiayong Hu

According to our database, Xiayong Hu authored at least 3 papers between 2005 and 2024.

Collaborative distances:

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

2024

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

2008

Formal Verification of the Implementability of Timing Requirements.

Xiayong Hu, Mark Lawford, Alan Wassyng

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2005

Timing Tolerances in Safety-Critical Software.

Alan Wassyng, Mark Lawford, Xiayong Hu

Proceedings of the FM 2005: Formal Methods, 2005