IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case. - Kazuki Kakimoto; Kensuke Sasaki; Hiroki Umeda; Yasushi Ueda (ISSRE Workshops, 2017)

A Scenario-based Approach; Assuring Effect of Software Product. - Kazuki Kakimoto; Hiroki Umeda; Kazuhiro Sogawa; Yasushi Ueda (KES, 2018)

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking. - Mitsuaki Tsuji; Toshinori Takai; Kazuki Kakimoto; Naoki Ishihama; Masafumi Katahira; Hajimu Iida (ICST Workshops, 2020)