Noriyuki Katahira

According to our database, Noriyuki Katahira authored at least 5 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

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

Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

IEICE Trans. Inf. Syst., 2011

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

Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Proceedings of the International Conference on Computational Science and Its Applications, 2011

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.

Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Model Checking of Software Design in State Transition Matrix.

Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.

Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe

Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010