Kohei Tsujio

According to our database, Kohei Tsujio authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection.

Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry

Proceedings of the 17th ACM/IEEE International Conference on Cyber-Physical Systems, 2026

2024

CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous Driving.

Trier Mortlock, Arnav V. Malawade, Kohei Tsujio, Mohammad Abdullah Al Faruque

ACM Trans. Cyber Phys. Syst., April, 2024

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection.

Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024