Koji Hayamizu

According to our database, Koji Hayamizu authored at least 3 papers between 2009 and 2013.

Collaborative distances:

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

2013

With an Open Mind: How to Write Good Models.

Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Building a Body of Knowledge on Model Checking for Software Development.

Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2009

Model checking education for software engineers in Japan.

Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno

ACM SIGCSE Bull., 2009