Mitsuaki Tsuji

According to our database, Mitsuaki Tsuji authored at least 2 papers between 2017 and 2020.

Collaborative distances:

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

2020

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking.

Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2017

Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking.

Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017