关注
Kohei Tsujio
Kohei Tsujio
在 uci.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
K Tsujio, MA Al Faruque, Y Shoukry
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS …, 2024
22024
CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous Driving
T Mortlock, A Malawade, K Tsujio, M Al Faruque
ACM Transactions on Cyber-Physical Systems 8 (2), 1-20, 2024
12024
系统目前无法执行此操作,请稍后再试。
文章 1–2