Kohei Tsujio

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Automatic Recognition

Motion Prediction

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. CoRR (2024)
Trier Mortlock, Arnav V. Malawade, Kohei Tsujio, Mohammad Abdullah Al Faruque
CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous Driving. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. ICCPS (2024)