M. Matsumoto

Model Checking of Software Design in State Transition Matrix

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

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

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

A Case Study of Development of a Java Bytecode Analyzer Framework Using AspectJ

Akira Fukuda, Teruaki Kitasuka, Tsuneo Nakanishi, 2005 .

Verification Model Translation Method toward Behavior Model for CAST

Akira Fukuda, Bo Wang, Kenji Hisazumi, 2018, 2018 5th International Conference on Dependable Systems and Their Applications (DSA).