Login / Signup
Kazuki Kakimoto
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Deterministic Finite Automaton
Software Product
Model Checking
Pspace Complete
Top Venues
KES
ISSRE Workshops
ICST Workshops
</>
Publications
</>
Mitsuaki Tsuji
,
Toshinori Takai
,
Kazuki Kakimoto
,
Naoki Ishihama
,
Masafumi Katahira
,
Hajimu Iida
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking.
ICST Workshops
(2020)
Kazuki Kakimoto
,
Hiroki Umeda
,
Kazuhiro Sogawa
,
Yasushi Ueda
A Scenario-based Approach; Assuring Effect of Software Product.
KES
(2018)
Kazuki Kakimoto
,
Kensuke Sasaki
,
Hiroki Umeda
,
Yasushi Ueda
IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case.
ISSRE Workshops
(2017)