Tomohiro Shiraishi

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

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

Disaster monitoring for Japan Earthquake with satellites by JAXA

Takeshi Motohka, Masanobu Shimada, Yousuke Miyagi, 2011, Remote Sensing.

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).

Model Checking of Software Design in State Transition Matrix

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