Kurt M. Wilson

According to our database, Kurt M. Wilson authored at least 7 papers between 2022 and 2025.

Collaborative distances:

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

2025

Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo

Proceedings of the 31st IEEE Real-Time and Embedded Technology and Applications Symposium, 2025

Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Xue Liu, Zhishan Guo

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Dynamic Priority Scheduling of Multithreaded ROS 2 Executor With Shared Resources.

Abdullah Al Arafat, Kurt M. Wilson, Kecheng Yang, Zhishan Guo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

2023

GLARE: A Dataset for Traffic Sign Detection in Sun Glare.

Nicholas Gray, Megan Moraes, Jiang Bian, Alex Wang, Allen Tian, Kurt M. Wilson, Yan Huang, Haoyi Xiong, Zhishan Guo

IEEE Trans. Intell. Transp. Syst., November, 2023

2022

Optimizing Real-Time Performances for Timed-Loop Racing under F1TENTH.

Nitish Gupta, Kurt M. Wilson, Zhishan Guo

CoRR, 2022

Response time analysis for dynamic priority scheduling in ROS2.

Abdullah Al Arafat, Sudharsan Vaidhun, Kurt M. Wilson, Jinghao Sun, Zhishan Guo

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022