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

スポンサーリンク

概要

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

関連著者

• 山根 智

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

• 竹下 淳

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

• 小橋 潤平

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

• 中野 敬介

  新潟大学大学院自然科学研究料情報理工学専攻

• Makino Mitsunori

  Chuo Univ.

• 牧野 光則

  イリノイ大学シカゴ校

• Makino M

  Chuo Univ. Tokyo Jpn

• Makino Mitsunori

  Graduate School Of Science And Engineering Chuo University

• Makino Mitsunori

  Department Of Information And System Engineering Faculty Of Science And Engineering Chuo University

• 牧野 光則

  中央大学理工学部

• 池田 誠

  東京大学大学院工学系研究科

• 山根 智

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

• 中村 祐一

  NECグリーンプラットフォーム研究所

• 澤田 宏

  NTTサービスエボリューション研究所

• 清水 隆也

  金沢大学自然科学研究科

• 清水 隆也

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

• 山根 智

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

• 山根 智

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

• 酒井 誠

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

• 酒井 誠

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

• 山根 智

  金沢大学理工研究域

• 柳瀬 龍

  金沢大学

• 櫻井 孝平

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

• 山根 智

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

• 小橋 潤平

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

• 南 翔太

  金沢大

• 山根 智

  金沢大学自然科学研究科

• 森下 篤

  金沢大学自然科学研究科

• 高橋 正樹

  金沢大学自然科学研究科

• 高橋 正樹

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

• 森下 篤

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

• 高 穎

  金沢大学自然科学研究科

• 柳瀬 龍

  金沢大学自然科学研究科

• 南 翔太

  金沢大学自然科学研究科

• 渡邊 健太

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

• チャン ヘジン

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

• 酒井 誠

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

• 山根 智

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

• 小池 脩平

  金沢大学自然科学研究科

• 長谷川 尭志

  金沢大学自然科学研究科

• 柳瀬 龍

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

• 酒井 辰典

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

• 中川 洋介

  金沢大学理工学域|現在,金沢大学大学院自然科学研究科

• 清水 裕亮

  金沢大学理工学域|現在,金沢大学大学院自然科学研究科

• 櫻井 孝平

  金沢大学理工研究域

もっと見る 閉じる

著作論文

• 組込みシステムにおけるハイブリッドオートマトンの形式的手法
• 動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
• 確率時間 WiGAR による PTCTL サブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用)
• 抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)
• Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)
• 組込みCISCアセンブリプログラムの記号モデル検査
• Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開)
• 動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)
• 動的組込みシステムの仕様記述言語の開発
• 組込みソフトウェアのアセンブラのSMT検証(システムと信号処理及び一般)
• 組込みソフトウェアのアセンブラのSMT検証(システムと信号処理及び一般)
• 組込みソフトウェアのアセンブラのSMT検証(システムと信号処理及び一般)
• 組込みソフトウェアのアセンブラのSMT検証(システムと信号処理及び一般)
• アセンブリプログラムに対するSMTソルバを使用する有界モデル検査
• AspectJを用いたFault-InjectionによるHadoop MapReduceの耐故障処理に関する性能評価
• システムと信号処理サブソサイエティにおける将来展望 : 期待される人材を育成するための方策(パネル討論,システムと信号処理及び一般)
• システムと信号処理サブソサイエティにおける将来展望 : 期待される人材を育成するための方策(パネル討論,システムと信号処理及び一般)
• システムと信号処理サブソサイエティにおける将来展望 : 期待される人材を育成するための方策(パネル討論,システムと信号処理及び一般)
• システムと信号処理サブソサイエティにおける将来展望 : 期待される人材を育成するための方策(パネル討論,システムと信号処理及び一般)
• CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
• CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
• 組込みソフトウェアのアセンブラのSMT検証
• 組込みソフトウェアのアセンブラのSMT検証
• アセンブリプログラムに対するSMTソルバを使用する有界モデル検査

もっと見る 閉じる

スポンサーリンク