Tom Wray

According to our database, Tom Wray authored at least 4 papers between 2020 and 2025.

Collaborative distances:

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

2025

PAVE-MAVLink: Formal Verification of MAVLink 2 for Secure UAV Communications.

Tom Wray, Ying Wang

Proceedings of the IEEE Military Communications Conference, 2025

PAVE++ Demo: Cross-Layer Formal Verification and OTA Validation for UAV Communications.

Tom Wray, Ying Wang

Proceedings of the IEEE Military Communications Conference, 2025

2024

5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need.

Tom Wray, Ying Wang

Proceedings of the IEEE Military Communications Conference, 2024

2020

Fault Tolerant Control in Shape-Changing Internal Robots.

Lavanya Balasubramanian, Tom Wray, Dana D. Damian

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020