Kazuki Kakimoto

According to our database, Kazuki Kakimoto authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• 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

2018

A Scenario-based Approach; Assuring Effect of Software Product.

Kazuki Kakimoto, Hiroki Umeda, Kazuhiro Sogawa, Yasushi Ueda

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

2017

IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case.

Kazuki Kakimoto, Kensuke Sasaki, Hiroki Umeda, Yasushi Ueda

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017