Yuki Mizushima

1B-4 Design and development of state transition matrix model checking tool Garakabu2.

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

Model Checking of Software Design in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2010, Software Engineering Research and Practice.

Formal analysis of STM design with SAL infinite bounded model checker

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010, 2010 The 12th International Conference on Advanced Communication Technology (ICACT).

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Masahiko Watanabe, 2010, 2010 International Conference on Computational Science and Its Applications.

A New Ray-Tracing-Assisted Calibration Method of a Fiber-Optic Thickness Probe for Measuring Liquid Film Flows

Yuki Mizushima, 2021, IEEE Transactions on Instrumentation and Measurement.