JAIST Repository >

Kenrou Yatake Assistant ProfessorFaculty Profile

No.Bibliographical information
1 Model Checking Conformance of Design Model to Its Formal Specification / Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-001, pp.1-18, 2014-04-18, 北陸先端科学技術大学院大学情報科学研究科
2 データ管理領域におけるプログラム検証の自動化に関する研究 / 矢竹, 健朗, 科学研究費補助金研究成果報告書, pp.1-4, 2011-04-01
3 Automatic Generation of Model Checking Scripts based on Environment Modeling / Yatake, Kenro, Nishibata, Hirokazu, Aoki, Toshiaki, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2010-001, pp.1-8, 2010-02-10, 北陸先端科学技術大学院大学情報科学研究科
4 定理証明によるファイアウォールサーバの検証 / 矢竹, 健朗, pp.1-23, 2007-09-06
5 COE Research Monograph Series, Vol. 1 : オブジェクト指向理論によるファイアーウォールサーバの検証 / 矢竹, 健朗, 2006-07, JAIST Press
6 An Object-Oriented logic for software analysis and design / Yatake, Kenro, Aoki, Toshiaki, Katayama, Takuya, pp.1-27, 2005-09-21

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology