| 3 | |
| 4 | == 2009 == |
| 5 | 野尻隆弘, 前田俊行, 米澤明憲:: '''モデル検査器SPINにおける安全性検証手法の並列化'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' |
| 6 | |
| 7 | 中澤仁(慶大/CREST), 松野裕(産総研), 菅谷みどり(JST), 塙敏博(筑波大), 前田俊行, 藤田肇(東大), 石綿陽一(産総研), 杵渕雄樹(早大), 高村博紀(産総研), 松田元彦, 三浦信一(筑波大), 山田浩史(慶大):: '''オペレーティングシステムおよび実システムにおけるディペンダビリティの評価と見積り'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' |
| 8 | |
| 9 | 前田俊行:: '''プログラムの作成・修正を考慮したプログラム解析・検証に向けて'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' |
| 10 | |
| 11 | 渡邊裕貴, 前田俊行, 米澤明憲:: '''配列のためのホーア型理論の拡張'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' |
| 12 | |
| 13 | 加藤真平(東大), 藤田肇(東大), 中澤仁(慶大), 松田元彦, 前田俊行, 杵渕雄樹(早大), 塙敏博(筑波大), 三浦信一(筑波大), 石綿陽一(産総研), 松野裕(産総研), 高村博紀(産総研), 山田浩史(慶大), 吉田哲也(慶大), 倉光君郎(横国大), 菅谷みどり(JST), 石川裕(東大):: '''ディペンダブルシステム向けベンチマークフレームワークの提案'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' |
| 14 | |
| 15 | {{{ |
| 16 | #!comment |
| 17 | 松田元彦(東大),前田俊行(東大),米澤明憲(東大), “ヒープ中の同期ロックの整合性に関するモデル検査”, 第77回 情報処理学会・プログラミング研究会, 大阪, 2010年1月27日. |
| 18 | }}} |