Phys: probabilistic physical unit assignment and inconsistency detection. - Sayali Kate; John-Paul Ore; Xiangyu Zhang 001; Sebastian G. Elbaum; Zhaogui Xu (ESEC/SIGSOFT FSE, 2018)

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles. - Hongjun Choi; Sayali Kate; Yousra Aafer; Xiangyu Zhang 001; Dongyan Xu (CCS, 2020)

Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles. - Hongjun Choi; Sayali Kate; Yousra Aafer; Xiangyu Zhang 001; Dongyan Xu (RAID, 2020)

PHYSFRAME: type checking physical frames of reference for robotic systems. - Sayali Kate; Michael Chinn; Hongjun Choi; Xiangyu Zhang 001; Sebastian G. Elbaum (ESEC/SIGSOFT FSE, 2021)

DIGIMON: Diagnosis and Mitigation of Sampling Skew for Reinforcement Learning based Meta-Planner in Robot Navigation. - Shiwei Feng 002; Xuan Chen; Zhiyuan Cheng 010; Zikang Xiong; Yifei Gao; Siyuan Cheng 005; Sayali Kate; Xiangyu Zhang 001 (CoRR, 2024)

ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems. - Sayali Kate; Yifei Gao; Shiwei Feng 002; Xiangyu Zhang 001 (Proc. ACM Softw. Eng., 2025)