Xiayong Hu

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 2

Top Topics

Autonomous Vehicles

Top Venues

Publications

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. CoRR (2024)
Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. IV (2024)
Xiayong Hu, Mark Lawford, Alan Wassyng
Formal Verification of the Implementability of Timing Requirements. FMICS (2008)
Alan Wassyng, Mark Lawford, Xiayong Hu
Timing Tolerances in Safety-Critical Software. FM (2005)