Login / Signup
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)