Sayali Kate

Phys: probabilistic physical unit assignment and inconsistency detection

Xiangyu Zhang, Sebastian G. Elbaum, John-Paul Ore, 2018, ESEC/SIGSOFT FSE.

Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles

Xiangyu Zhang, Dongyan Xu, Hongjun Choi, 2020, RAID.

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles

Xiangyu Zhang, Dongyan Xu, Hongjun Choi, 2020, CCS.

PHYSFRAME: type checking physical frames of reference for robotic systems

Sebastian Elbaum, Sayali Kate, Xiangyu Zhang, 2021, ESEC/SIGSOFT FSE.

PHYSFRAME: type checking physical frames of reference for robotic systems

Sebastian Elbaum, Sayali Kate, Xiangyu Zhang, 2021, ESEC/SIGSOFT FSE.