![北陸先端科学技術大学院大学 [JAIST] - 研究者総覧](images/info_01.gif)
| 研究室 |
| 情報研究棟IS Building Ｉ 6F |
| TEL：0761-51-1253 |
| Japanese | English |
| リポジトリ公開資料 |
| 共同研究等のお問い合わせは， 産学官連携総合推進センター |
矢竹 健朗 （ヤタケ ケンロウ） 助教
高信頼組込みシステム教育研究センター
■学位
東京工業大学工学士(2000)、北陸先端科学技術大学院大学修士(情報科学)(2002)、北陸先端科学技術大学院大学博士(情報科学)(2006)
■職歴
北陸先端科学技術大学院大学産学官連携研究員(2006)
■専門分野
ソフトウェア工学
■研究テーマのキーワード
形式手法, 定理証明, モデル検査
■研究業績
◇著書
- COE Research Monograph Series, Vol.1 オブジェクト指向理論によるファイアウォールサーバの検証，矢竹健朗，JAIST Press, 2006年7月
◇発表論文
- Model Checking of OSEK/VDX OS Design Models based on Environment Modeling，Kenro Yatake, Toshiaki Aoki，ICTAC，Sep 25, 2012
- SMT-based enumeration of Object Graphs from UML Class Diagrams，Kenro Yatake, Toshiaki Aoki，UML&FM，August 27, 2012
- UMLに基づくリアルタイムOS検証のための環境自動生成法，矢竹健朗，青木利晃，コンピュータソフトウェア，29，3，121-142，8/20, 2012
◇講演発表
- 定理証明によるファイアウォールサーバの検証，矢竹健朗，JAIST 21世紀COEシンポジウム 検証進化可能電子社会 2007
- オブジェクト列に対するループ文の推論規則，矢竹健朗，片山卓也，第5回ディペンダブルソフトウェアワークショップDSW2007
- 定理証明によるファイアウォールサーバのセキュリティ検証，矢竹健朗，片山卓也，第3回システム検証の科学技術シンポジウム2006, 予稿集, pp.59-66.
■担当講義
高信頼ソフトウェア開発演習，高信頼ソフトウェア開発プロセス設計
■学外活動
◇所属学会
- 情報処理学会，運営委員，2008-
- ACM，会員，2007-
- 日本ソフトウェア科学会，会員，2004-