Noriyuki Katahira

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops (2011)
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC (2011)
Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Trans. Inf. Syst. (5) (2011)
Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops (2010)
Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice (2010)