Takahiro Ando

Support Environment for Traffic Simulation of ITS Services

K. Hisazumi, Akira Fukuda, T. Nakanishi, 2017 .

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Akira Fukuda, Kenji Hisazumi, Leyuan Liu, 2015, Comput. J..

An Improvement on Acceleration of Distributed SMT Solving

Weiqiang Kong, Leyuan Liu, Hirokazu Yatsu, 2014 .

Mobility Application based on Microservice Architecture

Akira Fukuda, Takahiro Ando, Masatoshi Nagao, 2018 .

Translation rules of SysML state machine diagrams into CSP# toward formal model checking

Kenji Hisazumi, Akira Fukuda, Takahiro Ando, 2014, Int. J. Web Inf. Syst..

Formalization and Model Checking of SysML State Machine Diagrams by CSP#

Akira Fukuda, Kenji Hisazumi, Weiqiang Kong, 2013, ICCSA.

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

ela Verification Model Translation Method based on Relative SysML State Machine Diagra m s

Akira Fukuda, Bow-Yaw Wang, Takahiro Ando, 2017 .

SysML State Machine Diagra m to Si m ple Pro m ela Verification Model Translation Method

Hirokazu Yatsu, Akira Fukuda, Takahiro Ando, 2016 .