菊野 亨 | 大阪大学基礎工学部情報工学科
スポンサーリンク
概要
関連著者
-
菊野 亨
大阪大学基礎工学部
-
菊野 亨
大阪大学基礎工学部情報工学科
-
菊野 亨
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学 基礎工学部
-
菊野 亨
大阪大学大学院 情報科学研究科
-
土屋 達弘
大阪大学大学院情報科学研究科
-
水野 修
京都工芸繊維大学大学院工芸科学研究科
-
水野 修
大阪大学大学院情報科学研究科
-
畑 秀明
大阪大学大学院情報科学研究科
-
出張 純也
大阪大学大学院情報科学研究科
-
平山 雅之
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
菊地 奈穂美
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
平山 雅之
(株)東芝・ソフトウェア技術センター
-
水野 修
大阪大学大学院
-
出張 純也
大阪大学大学院 情報科学研究科
-
尾形 憲一
大阪大学大学院情報科学研究科
-
菊地 奈穂美
情報処理推進機構ソフトウェア・エンジニアリング・センター|沖電気工業株式会社
-
森井 亮介
大阪大学大学院情報科学研究科
-
菊地 奈穂美
情報処理推進機構 ソフトウェア・エンジニアリング・センター
-
菊野 亨
大阪大学
-
土屋 達弘
大阪大学
-
牧川 文紀
大阪大学大学院情報科学研究科
-
吉村 健太郎
(株)日立製作所
-
松尾 尚文
大阪大学大学院情報科学研究科
-
高村 達史
大阪大学大学院情報科学研究科
-
吉村 健太郎
株式会社日立製作所日立研究所
-
菊地 奈穂美
沖電気工業(株)
-
菊地 奈穂美
独立行政法人情報処理推進機構ソフトウェアエンジニアリングセンター
-
平山 雅之
独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター
-
平山 雅之
独立行政法人 情報処理推進機構
-
阿南 佳之
オムロンソフトウェア（株）
-
水野 修
Nhk札幌放送局
-
平山 雅之
(独)情報処理推進機構
-
世古 忠
奈良工業高等専門学校情報工学科
-
南川 恭洋
大阪大学大学院情報科学研究科
-
野口 達也
大阪大学大学院情報科学研究科
-
飯田 哲也
大阪大学大学院情報科学研究科
-
吉岡 幸恵
オムロンソフトウェア株式会社
-
田中 又治
オムロンソフトウェア株式会社
-
赤井 和幸
大阪大学大学院情報科学研究科
-
成沢 文雄
株式会社日立製作所日立研究所
-
出張純也
大阪大学大学院情報科学研究科
-
菊地 奈穂美
(独)情報処理推進機構ソフトウェア・エンジニアリング・センター(IPA SEC)
-
劉 華浩
大阪大学大学院情報科学研究科
-
仲田 善満
大阪大学大学院情報科学研究科
-
中井 亮介
大阪大学大学院情報科学研究科
-
秀島 健太郎
大阪大学大学院情報科学研究科
-
濱松 雅
大阪大学大学院情報科学研究科
-
世古 忠
奈良工業高等専門学校
-
西本 哲
大阪大学大学院情報科学研究科
-
阿南 佳之
オムロンソフトウェア株式会社
-
平山 雅之
日本大学大学院理工学研究科
-
成沢 文雄
(株)日立製作所
-
徳山 瞬
大阪大学
-
井上 裕之
大阪大学
著作論文
- ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出(ネットワーク環境でのディペンダビリティ)
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 5 組込みシステムにおけるソフトウェアプロダクトラインの導入(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 並列論理シミュレーションにおけるロールバックについて
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- ソフトウェアメトリクスのデータマイニングによる障害発生要因特定
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 製品リリース履歴における論理的結合集合に基づいた横断フィーチャ分析法
- メソッド呼び出しに関する不具合修正での変更作業の分析
- ソフトウェアプロジェクト予測に用いるメトリクスの削減
- ベイズ識別器による不具合予測のための相関ルールマイニングを用いたメトリクス絞り込み
- ソフトウェア開発データに対する相関ルールマイニングを利用した不具合増加要因の調査
- ソフトウェアプロジェクト診断のためのチェックリスト導出(レビュー,品質(学生セッション))
- 企業横断的データからのプロジェクト改善案の相関ルールマイニングによる抽出
- GPUを用いた状態可到達性解析の高速化(ネットワーク環境でのディペンダビリティ,及び一般)
- 欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出
- Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
- フォールトプローンモジュール検出手法間の精度比較 : Fault-pronenessフィルタリングとロジスティック回帰
- ソースコード中に含まれる不具合トークンをテキスト分類に基づいて推定するツールの試作と評価
- ソースコード中に含まれる不具合トークンをテキスト分類に基づいて推定するツールの試作と評価
- ピアの近接性を考慮したスキップグラフの構築
- 1-2 スパムフィルタリングに基づくフォールトプローンモジュール検出器の開発(セッション1「プロジェクト管理・ソフト」)
- 5B-2 品質定量指標のための異なるプログラミング言語間での規模の比較の試み(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- 5B-1 相関ルールマイニングを利用したソフトウェアプロジェクト混乱要因の関連性に関する調査(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- システム特性を考慮したペアワイズテストの改良
- サーベイ論文「ペアワイズテスト-ソフトウェアテストの効率化を求めて-」に関する訂正と補足
- 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 不具合修正に関わるメソッド呼び出しの変更についての定量的分析
- ソースコードの構造に対する体系的変更内容の復元 (知能ソフトウェア工学)
- ソースコードの構造に対する体系的変更内容の復元 (ソフトウェアサイエンス)
- メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価
- 欠損率の高いプロジェクトデータを利用したプロジェクトの成否予測
- ソースコードの構造に対する体系的変更内容の復元
- ソースコードの構造に対する体系的変更内容の復元
- 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
- 開発履歴メトリクスを用いた細粒度なFault-proneモジュール予測