山根 智 | 金沢大学大学院自然科学研究科電子情報工学専攻
スポンサーリンク
概要
関連著者
-
山根 智
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学大学院自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学工学部情報システム工学科
-
山根 智
金沢大学自然科学研究科
-
山根 智
金沢大学理工研究域電子情報学系
-
安井 雅俊
金沢大学大学院自然科学研究科
-
瀧内 新悟
金沢大学大学院自然科学研究科
-
山崎 真一
金沢大学大学院自然科学研究科電子情報工学専攻
-
睦田 陽介
日本電気株式会社
-
高橋 正樹
金沢大
-
森下 篤
金沢大
-
森下 篤
金沢大学自然科学研究科
-
荒井 恒夫
金沢大学大学院自然科学研究科
-
山崎 貴史
金沢大学大学院自然科学研究科
-
橋爪 裕樹
金沢大学大学院自然科学研究科
-
高橋 正樹
金沢大学自然科学研究科
-
酒井 誠
金沢大学大学院 自然科学研究科
-
田中 祐史
金沢大学大学院 自然科学研究科
-
酒井 誠
金沢大学大学院自然科学研究科
-
畠中 克也
金沢大学大学院自然科学研究科
-
鎌澤 浩司
金沢大学大学院自然科学研究科
-
田中 祐史
金沢大学大学院自然科学研究科
-
瀧内 新悟
金沢大学大学院自然科学研究科電子情報工学専攻
-
睦田 陽介
金沢大学大学院自然科学研究科
-
高橋 正樹
金沢大学大学院自然科学研究科
-
山根 智
金沢大
-
林 将志
金沢大学大学院自然科学研究科電子情報工学専攻
-
中居 佑輝
金沢大学自然科学研究科電子情報工学専攻
-
安井 雅俊
金沢大学自然科学研究科
-
小林 さとみ
京都大学人文科学研究所
-
小林 さとみ
京都大学 人文科学研究所
-
駒形 龍太
金沢大学自然科学研究科
-
中居 佑輝
金沢大学大学院自然科学研究科電子情報工学専攻
-
中野 善光
金沢大学大学院自然科学研究科
-
中野 善光
金沢大学大学院自然科学研究科:(現)オムロン株式会社
-
橋爪 裕樹
金沢大学大学院自然科学研究科:(現)三菱電機株式会社
-
小寺 広志
金沢大学大学院自然科学研究科
-
駒形 龍太
金沢大学大学院自然科学研究科電子情報工学専攻
-
加藤 位明
金沢大学大学院自然科学研究科
-
陸田 陽介
日本電気株式会社
-
山根 智
金沢大学理工研究域
-
橋爪 裕樹
金沢大学大学院自然科学研究科電子情報工学専攻
著作論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
- 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査
- 確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
- 確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
- コンポーネントウェアによる確率リアルタイムシステムの設計検証手法
- 動的リアルタイムCEGAR(一般セッション)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション,一般,フレッシャーズセッション)
- 動的リアルタイムCEGAR(一般セッション,一般,フレッシャーズセッション)
- 動的再構成可能組込みシステムのモデル化と仕様記述(モデル化・仕様記述)
- 確率時間強模倣検証アルゴリズムの実現
- 時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法(ディペンダブルコンピューティング)
- 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
- 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
- 述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)
- 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
- 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
- 確率時間オートマトンの確率時間強模倣検証器の開発(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)