Kyushu University Academic Staff Educational and Research Activities Database
List of Papers
Hisazumi Kenji Last modified date:2018.06.13

Associate Professor / Department of Advanced Information Technology / Faculty of Information Science and Electrical Engineering

1. Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Hisazumi Kenji, Akira Fukuda, Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC, Journal of Information Security and Application, Elsevier, 2016.12.
2. Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Hisazumi Kenji, Akira Fukuda, Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration, The British Computer Society, Vol. 55, 0-17, 2014.08.
3. Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Hisazumi Kenji, Akira Fukuda, Translation Rules of SysML State Machine Diagrams into CSP# toward Formal Model Checking, International Journal of Web Information Systems, Vol. 10, Issue: 2, 151-169, 2014.09.
4. Mohammad Fajar, Kenji Hisazumi, Tsuneo Nakanishi and Akira Fukuda, Applying Domain Specific Modeling for Environmental Sensing Using Wireless Sensor Network, Asian Journal of Information Technology, 2011.05.