山根 智 | 金沢大学理工研究域電子情報学系

スポンサーリンク

概要

• 山根 智の詳細を見る
• 同名の論文著者
• 金沢大学理工研究域電子情報学系の論文著者

関連著者

• 山根 智

  金沢大学理工研究域電子情報学系

• 山根 智

  金沢大学自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学工学部情報システム工学科

• 山根 智

  金沢大学自然科学研究科

• 山根 智

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学大学院自然科学研究科電子情報工学専攻

• 森下 篤

  金沢大学自然科学研究科

• 山根 智

  金沢大学理工学域電子情報学系

• 清水 隆也

  金沢大学自然科学研究科

• 高橋 正樹

  金沢大学自然科学研究科

• 清水 隆也

  金沢大学大学院自然科学研究科

• 高橋 正樹

  金沢大学大学院自然科学研究科

• 安井 雅俊

  金沢大学大学院自然科学研究科

• 林 将志

  金沢大学大学院自然科学研究科電子情報工学専攻

• 高橋 正樹

  金沢大

• 森下 篤

  金沢大

• 中居 佑輝

  金沢大学自然科学研究科電子情報工学専攻

• 山崎 真一

  金沢大学大学院自然科学研究科電子情報工学専攻

• 越田 彰太

  金沢大学大学院自然科学研究科・電子情報工学専攻

• 酒井 誠

  金沢大学大学院 自然科学研究科

• 駒形 龍太

  金沢大学自然科学研究科

• 酒井 誠

  金沢大学大学院自然科学研究科

• 畠中 克也

  金沢大学大学院自然科学研究科

• 鎌澤 浩司

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学理工研究域

• 山根 智

  金沢大

• 瀧内 新悟

  金沢大学大学院自然科学研究科

• 安井 雅俊

  金沢大学自然科学研究科

• 林 将志

  金沢大学自然科学研究科電子情報工学専攻

• 橋爪 裕樹

  金沢大学大学院自然科学研究科

• 田中 祐史

  金沢大学大学院 自然科学研究科

• 沈 忱

  金沢大学自然科学研究科

• 鎌澤 浩司

  金沢大学自然科学研究科

• 中居 佑輝

  金沢大学大学院自然科学研究科電子情報工学専攻

• 田中 祐史

  金沢大学大学院自然科学研究科

• 橋爪 裕樹

  金沢大学大学院自然科学研究科:(現)三菱電機株式会社

• 瀧内 新悟

  金沢大学大学院自然科学研究科電子情報工学専攻

• 中居 祐輝

  金沢大学自然科学研究科

• 森下 篤

  金沢大学大学院自然科学研究科

• 酒井 誠

  金沢大学理工研究域電子情報学系

もっと見る 閉じる

著作論文

• 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
• コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
• 動的再構成可能プロセッサ向け仕様記述言語の開発と実問題の適用 (アルゴリズムと計算機科学の数理的基盤とその応用)
• 確率時間REGARによるPTCTLのサブクラスのモデル検査
• 確率ゲーム理論による組込みシステムのモデル化とモデル検査
• 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
• 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
• 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
• 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサネットワークへの適用(ペトリネット,離散事象システム,一般)
• 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
• 確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
• 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
• 確率ゲーム理論による組込みシステムのモデル化とモデル検査
• 確率時間REGARの実装と評価(一般セッション)
• 動的リアルタイムCEGAR(一般セッション)
• 動的再構成可能プロセッサの離散シミュレータの開発(コンカレントシステム,離散事象システム及び一般)
• 確率時間REGARによるPTCTLのサブクラスのモデル検査
• 確率時間CEGAR (理論計算機科学の深化と応用)
• 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション)
• 動的再構成可能組込みシステムのモデル化と仕様記述(モデル化・仕様記述)
• 動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
• 確率時間 WiGAR による PTCTL サブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用)
• 確率時間CEGARの開発とその実証実験 (プログラミング Vol.5 No.2)
• 抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)
• 確率線形ハイブリッドオートマトンの到達可能性検証
• 動的組込みシステムの仕様記述言語の開発

もっと見る 閉じる

スポンサーリンク