Login / Signup
Sayali Kate
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 5
Top Topics
Type Checking
Query Processor
Contact Force
Security Risks
Top Venues
ESEC/SIGSOFT FSE
CoRR
CCS
RAID
</>
Publications
</>
Sayali Kate
,
Michael Chinn
,
Hongjun Choi
,
Xiangyu Zhang
,
Sebastian G. Elbaum
PHYSFRAME: type checking physical frames of reference for robotic systems.
ESEC/SIGSOFT FSE
(2021)
Sayali Kate
,
Michael Chinn
,
Hongjun Choi
,
Xiangyu Zhang
,
Sebastian G. Elbaum
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems.
CoRR
(2021)
Hongjun Choi
,
Sayali Kate
,
Yousra Aafer
,
Xiangyu Zhang
,
Dongyan Xu
Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles.
CCS
(2020)
Hongjun Choi
,
Sayali Kate
,
Yousra Aafer
,
Xiangyu Zhang
,
Dongyan Xu
Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles.
RAID
(2020)
Sayali Kate
,
John-Paul Ore
,
Xiangyu Zhang
,
Sebastian G. Elbaum
,
Zhaogui Xu
Phys: probabilistic physical unit assignment and inconsistency detection.
ESEC/SIGSOFT FSE
(2018)