Masahiko Watanabe

Model Checking of Software Design in State Transition Matrix

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

Table-based Software Designs : Bounded Model Checking and Counterexample Tracking

Weiqiang Kong, Akira Fukuda, T. Katayama, 2011 .

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

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

A verification framework for behavioral safety of self‐driving cars

Deyun Lyu, Masahiko Watanabe, Jie Wang, 2022, IET Intelligent Transport Systems.

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2011, IEICE Trans. Inf. Syst..

From Local to Global Semantic Clone Detection

Yuan Yuan, Yan Hu, Masahiko Watanabe, 2020, 2019 6th International Conference on Dependable Systems and Their Applications (DSA).