Response time analysis for dynamic priority scheduling in ROS2. - Abdullah Al Arafat; Sudharsan Vaidhun; Kurt M. Wilson; Jinghao Sun; Zhishan Guo (DAC, 2022)

Optimizing Real-Time Performances for Timed-Loop Racing under F1TENTH. - Nitish Gupta; Kurt M. Wilson; Zhishan Guo (CoRR, 2022)

GLARE: A Dataset for Traffic Sign Detection in Sun Glare. - Nicholas Gray; Megan Moraes; Jiang Bian 003; Alex Wang; Allen Tian; Kurt M. Wilson; Yan Huang; Haoyi Xiong; Zhishan Guo (IEEE Trans. Intell. Transp. Syst., 2023)

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 (MEMOCODE, 2024)

Dynamic Priority Scheduling of Multithreaded ROS 2 Executor With Shared Resources. - Abdullah Al Arafat; Kurt M. Wilson; Kecheng Yang 001; Zhishan Guo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

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 001; Zhishan Guo (HSCC, 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 (RTAS, 2025)