Noriyuki Katahira
According to our database1,
Noriyuki Katahira
authored at least 5 papers
between 2010 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
0
1
2
3
4
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst., 2011
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
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.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Model Checking of Software Design in State Transition Matrix.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010