• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

岡村 寛之  Okamura Hiroyuki

ORCIDORCID連携する *注記
… 別表記

岡村 寛明  オカムラ ヒロアキ

隠す
研究者番号 10311812
その他のID
外部サイト
所属 (現在) 2025年度: 広島大学, 先進理工系科学研究科(工), 教授
所属 (過去の研究課題情報に基づく) *注記 2020年度 – 2023年度: 広島大学, 先進理工系科学研究科(工), 教授
2018年度 – 2019年度: 広島大学, 工学研究科, 教授
2017年度: 広島大学, 工学研究科, 准教授
2016年度: 広島大学, 工学研究院, 准教授
2011年度 – 2015年度: 広島大学, 工学(系)研究科(研究院), 准教授 … もっと見る
2011年度: 広島大学, 大学院・工学研究科, 准教授
2010年度 – 2011年度: 広島大学, 大学院・工学研究院, 准教授
2007年度 – 2009年度: 広島大学, 大学院・工学研究科, 准教授
2006年度: 広島大, 工学(系)研究科(研究院), 助教授
2005年度 – 2006年度: 広島大学, 大学院工学研究科, 助教授
2003年度 – 2006年度: 広島大学, 大学院・工学研究科, 助教授
2002年度: 広島大学, 大学院工学研究科, 助手
2001年度 – 2002年度: 広島大学, 大学院・工学研究科, 助手
1999年度 – 2000年度: 広島大学, 工学部, 助手 隠す
審査区分/研究分野
研究代表者
計算機システム・ネットワーク / 小区分60020:数理情報学関連 / 数理情報学 / ソフトウエア / 社会システム工学
研究代表者以外
社会システム工学・安全システム / 社会システム工学
キーワード
研究代表者
シミュレーション / 確率モデル / SAT/SMTソルバ / パーフェクトサンプリング / モデル検査 / ペトリネット / 性能評価 / システム工学 / ソフトウェア信頼性 / モデル検証 … もっと見る / マルコフ連鎖 / 確率モデリング / MtMDD / ペトリネットモデル / マルコフ過程 / マルコフモデル / 位相型近似 / システムモデリング / 組み込みOS / 組み込み OS / ソフトウェアメトリクス / オープンソース / 組み込みソフトウェア / マルチコアCPU / 並列計算 / 変分近似 / 一般化EMアルゴリズム / EMアルゴリズム / トラッフィクモデル / マルコフ型到着過程 / 隠れマルコフモデル / 感染数:データ / マルコフ到着過程 / 非同次ポアソン過程 / フィッティング / 感染数データ / 確率過程 / セキュリティ / 繁殖予測モデル / インターネットワーム / 安全性・信頼性 / システム開発 / ソフトウェアシステム / パワーマネジメント / チェックポインティング / 強化学習 / 動的計画法 / ベイジアンネットワーク / マルコフ解析 / チェックポイント / 不正アクセス検知 / コンピュータウィルス / ディペンダビリティ / 位相型分布 / 拡散近似 / 待ち行列 / コンピュータネットワーク / 自動スリープ / 省電力 … もっと見る
研究代表者以外
ソフトウェア信頼性 / 確率モデル / quantification method I / 重回帰分析 / 数量化理論I類 / 土地価格推定 / 土地価格形成要因 / 固定資産税路線価式評価法 / 予防保全 / Queues / Stochastic Models / 情報通信システム / 待ち行列 / 信頼性 / EMアルゴリズム / ベイズ推定 / 比例ハザードモデル / ソフトウェア若化 / 性能評価 / 信頼性評価 / ソフトウェア / Web-based application / a plug-in tool in spreadsheet / Cox regression model / multiple classification analysis / estimation for pricing lands / factors for pricing lands / evaluation of a property tax by pricing lands / 変数増減法 / データベース / 主要因分析 / 欠損値データ / Webアプリケーション / 表計算アプリケーション / Cox回帰分析 / 多変量解析 / 固定資産税路線皆式評価法 / system development / software reliability / on-line algorithms / preventive maintenance / recovery operation / checkpoint / software rejuvenation / highly reliable systems / システム開発 / オンラインアルゴリズム / 回復処理 / チェックポイント / 高信頼化システム / empirical analysis / maximum likelihood method / proportional hazard model / multiple regression analysis / estimation for pricing land / factors for pricing land / evaluation of a property tax by pricing land / ノンパラメトッリク法 / 2次計画法 / 数量化理論 / 土地価格批准表 / 標準宅地 / 固定資産路線価 / 宅地評価 / 実証分析 / 最尤推定 / Preventive Maintenance / Software Reliability / Evaluation Technology / Reliability Engineering / Communication Systems / Computer / ソフトウェアシステム / 評価技術 / 信頼性工学 / Switching Systems / Database Systems / Diffusion Approximations / Reliability / Performance Evaluation / 持ち行列 / 交換システム / データベースシステム / 拡散近似 / 擬似乱数生成 / ソフトウェア信頼性評価 / マルコフ連鎖モンテカルロ法 / ベイジアンネットワーク / 疑似乱数生成 / ソフトウェアテスト / 設計評価 / 超一様分布列 / ランダムテスト / COX比例ハザードモデル / マルコフ変調ポアソン過程 / ベイズ進定 / Java ツール / 非同次ポアソン過程 / 変分ベイズ / 非同次ポワソン過程 / Javaツール / ソフトウェア信頼性モデル / 統計解析 / 安全性 / インターネット / セキュリティモデル / プレデター / コンピュータネットワーク / ディペンダビリティ / マルコフモデル / ウィルス拡散現象 / マルコフ解析 / キルシグナル / 拡散・感染現象 / コンピュータセキュリティ / コンピュータウィルス 隠す
  • 研究課題

    (18件)
  • 研究成果

    (218件)
  • 共同研究者

    (10人)
  •  SAT/SMTソルバを用いたパーフェクトサンプリング手法の実用化研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60020:数理情報学関連
    • 研究機関
      広島大学
  •  SAT/SMTソルバを用いたパーフェクトサンプリング手法の開発研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60020:数理情報学関連
    • 研究機関
      広島大学
  •  非マルコフモデルに対する位相型近似の適用可能性の拡大研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2017 – 2019
    • 研究種目
      基盤研究(C)
    • 研究分野
      数理情報学
    • 研究機関
      広島大学
  •  MRSPN/MRGP解析の自動化に向けたスケーラブルアルゴリズムの開発研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      数理情報学
    • 研究機関
      広島大学
  •  組み込みOSの信頼性評価に関する研究研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      広島大学
  •  準ランダムテスト環境下でのソフトウェア信頼性評価

    • 研究代表者
      尾崎 俊治
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      基盤研究(C)
    • 研究分野
      社会システム工学・安全システム
    • 研究機関
      南山大学
  •  統計的トラッフィク解析モデルの開発と情報セキュリティへの応用研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2009 – 2010
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      広島大学
  •  インターネットワームに対する総合的セキュリティモデルの実装研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      広島大学
  •  ソフトウェア・イー・メインテナンスの最適設計・評価に関する研究

    • 研究代表者
      尾崎 俊治
    • 研究期間 (年度)
      2006 – 2008
    • 研究種目
      基盤研究(C)
    • 研究分野
      社会システム工学・安全システム
    • 研究機関
      南山大学
  •  脆弱性データを利用した高精度なインターネットワーム繁殖予測モデルの構築研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2006
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      広島大学
  •  高信頼化情報通信システムを実現するためのオンライン予防保守技術の開発と実装

    • 研究代表者
      土肥 正
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(B)
    • 研究分野
      社会システム工学・安全システム
    • 研究機関
      広島大学
  •  固定資産宅地評価の統計的解析とその応用に関する研究

    • 研究代表者
      尾崎 俊治 (尾さき 俊治)
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      社会システム工学・安全システム
    • 研究機関
      南山大学
  •  コンピュータウイルス撃退のためのセキュリティモデルの開発と性能評価

    • 研究代表者
      土肥 正
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      萌芽研究
    • 研究分野
      社会システム工学・安全システム
    • 研究機関
      広島大学
  •  情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      広島大学
  •  固定資産宅地評価の数理モデルによる解析とその実用化に関する研究

    • 研究代表者
      尾崎 俊治
    • 研究期間 (年度)
      2002 – 2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      社会システム工学
    • 研究機関
      南山大学
  •  情報通信システム高信頼化のための評価技術に関する研究

    • 研究代表者
      木村 俊一
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      社会システム工学
    • 研究機関
      北海道大学
  •  コンピュータネットワークにおけるPower Managementモデルの構築研究代表者

    • 研究代表者
      岡村 寛之
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      奨励研究(A)
    • 研究分野
      社会システム工学
    • 研究機関
      広島大学
  •  高信頼性情報通信システムに対する性能評価モデルの開発

    • 研究代表者
      木村 俊一
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      社会システム工学
    • 研究機関
      北海道大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Optimal test case generation for boundary value analysis2024

    • 著者名/発表者名
      Guo Xiujing、Okamura Hiroyuki、Dohi Tadashi
    • 雑誌名

      Software Quality Journal

      巻: Early access 号: 2 ページ: 543-566

    • DOI

      10.1007/s11219-023-09659-9

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K10998
  • [雑誌論文] Hierarchical Dependability Modeling with Multi-State Systems2023

    • 著者名/発表者名
      Zheng Junjun、Okamura Hiroyuki、Dohi Tadashi
    • 雑誌名

      Proc. IEEE Pacific Rim International Symposium on Dependable Computing

      巻: - ページ: 268-277

    • DOI

      10.1109/prdc59308.2023.00043

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K10998
  • [雑誌論文] Parameter Estimation of Markovian Arrivals with Utilization Data2022

    • 著者名/発表者名
      Chen Li, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • 雑誌名

      IEICE Transactions on Communications

      巻: E105.B 号: 1 ページ: 1-10

    • DOI

      10.1587/transcom.2021EBP3007

    • NAID

      130008138811

    • ISSN
      0916-8516, 1745-1345
    • 年月日
      2022-01-01
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K11694
  • [雑誌論文] Hierarchical Bayesian Parameter Estimation of Queueing Systems using Utilization Data2022

    • 著者名/発表者名
      Chen Li, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • 雑誌名

      Int. J. Perform. Eng.

      巻: 18 号: 5 ページ: 307-316

    • DOI

      10.23940/ijpe.22.05.p1.307316

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K11694
  • [雑誌論文] Availability importance measures of components in smart electric power grid systems2021

    • 著者名/発表者名
      Zheng Junjun、Okamura Hiroyuki、Pang Taoming、Dohi Tadashi
    • 雑誌名

      Reliability Engineering & System Safety

      巻: 205 ページ: 107164-107164

    • DOI

      10.1016/j.ress.2020.107164

    • データソース
      KAKENHI-PROJECT-20K11694
  • [雑誌論文] Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals2021

    • 著者名/発表者名
      Zheng Junjun、Okamura Hiroyuki、Dohi Tadashi、Trivedi Kishor S.
    • 雑誌名

      IEEE Transactions on Reliability

      巻: 70 号: 2 ページ: 547-562

    • DOI

      10.1109/tr.2020.3026570

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11694, KAKENHI-PROJECT-21K17742
  • [雑誌論文] Age replacement with Markovian opportunity process2021

    • 著者名/発表者名
      Zheng Junjun、Okamura Hiroyuki、Dohi Tadashi
    • 雑誌名

      Reliability Engineering & System Safety

      巻: 216 ページ: 107949-107949

    • DOI

      10.1016/j.ress.2021.107949

    • データソース
      KAKENHI-PROJECT-20K11694
  • [雑誌論文] A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing2020

    • 著者名/発表者名
      Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • 雑誌名

      Communications in Statistics - Theory and Methods

      巻: 49 号: 15 ページ: 3712-3729

    • DOI

      10.1080/03610926.2019.1708400

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K11694
  • [雑誌論文] An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets2020

    • 著者名/発表者名
      Hiroyuki Okamura, Kazuya Morihara Tadashi Dohi
    • 雑誌名

      Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools

      巻: - ページ: 104-111

    • DOI

      10.1145/3388831.3388844

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K11694
  • [雑誌論文] Parameter Estimation of Mt/M/1/K Queueing Systems With Utilization Data2019

    • 著者名/発表者名
      C. Li, H. Okamura, T. Dohi
    • 雑誌名

      IEEE Access

      巻: 7 ページ: 42664-42671

    • DOI

      10.1109/access.2019.2906796

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K00033
  • [雑誌論文] Reliability importance of components in a real-time computing system with standby redundancy schemes2018

    • 著者名/発表者名
      Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • 雑誌名

      International Journal of Mathematical, Engineering and Management Sciences

      巻: 3 号: 2 ページ: 64-89

    • DOI

      10.33889/ijmems.2018.3.2-007

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00033
  • [雑誌論文] Parametric Uncertainty Propagation through Dependability Models2018

    • 著者名/発表者名
      Hiroyuki Okamura, Tadashi Dohi, Kishor Trivedi
    • 雑誌名

      Proceedings of Latin-American Symposium on Dependable Computing

      巻: - ページ: 9-9

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00033
  • [雑誌論文] A generalized bivariate modeling framework of fault detection and correction processes2017

    • 著者名/発表者名
      H. Okamura, T. Dohi
    • 雑誌名

      Proceedings of the 26th International Symposium on Software Reliability Engineering

      巻: - ページ: 35-45

    • DOI

      10.1109/issre.2017.22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00033
  • [雑誌論文] A statistical framework on software aging modeling with continuous-time hidden Markov model2017

    • 著者名/発表者名
      H. Okamura, J. Zheng, T. Dohi
    • 雑誌名

      Proceedings of the 36th International Symposium on Reliable Distributed Systems

      巻: - ページ: 114-123

    • DOI

      10.1109/srds.2017.24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00033
  • [雑誌論文] A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian arrivals2017

    • 著者名/発表者名
      J. Zheng, H. Okamura, L. Li, T. Dohi
    • 雑誌名

      IEEE Transactions on Reliability

      巻: 66 号: 4 ページ: 1157-1177

    • DOI

      10.1109/tr.2017.2741526

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00033
  • [雑誌論文] Performance comparison of algorithms for computing parametric sensitivity functions in continuous-time Markov chains2016

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of the 7th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2016)

      巻: - ページ: 415-422

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] マルコフ再生確率ペトリネットによる信頼性評価事例2016

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 雑誌名

      日本信頼性学会誌

      巻: 38 ページ: 340-349

    • NAID

      130007686557

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] Performance evaluation of VM-Based intrusion tolerant systems with Poisson arrivals2016

    • 著者名/発表者名
      J. Zheng, H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of the 4th International Symposium on Computing and Networking (CANDAR 2016)

      巻: - ページ: 181-187

    • DOI

      10.1109/candar.2016.0041

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] PH FITTING ALGORITHM AND ITS APPLICATION TO RELIABILITY ENGINEERING2016

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      日本オペレーションズ・リサーチ学会論文誌

      巻: 59 号: 1 ページ: 72-109

    • DOI

      10.15807/jorsj.59.72

    • NAID

      130005124577

    • ISSN
      0453-4514, 2188-8299
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] Phase-type software reliability model: Parameter estimation algorithms with grouped data2016

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Annals of Operations Research

      巻: 244 号: 1 ページ: 177-208

    • DOI

      10.1007/s10479-015-1870-0

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] A phase expansion approach for transient analysis of software rejuvenation model2016

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of the 8th International Workshop on Software Aging and Rejuvenation (WoSAR 2016)

      巻: - ページ: 98-103

    • DOI

      10.1109/issrew.2016.53

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] Network survivability modeling and analysis for power-aware MANETs by Markov regenerative processes2015

    • 著者名/発表者名
      H. Okamura, Z. Yi and T. Dohi
    • 雑誌名

      Telecommunication Systems Journal

      巻: 60 号: 4 ページ: 471-484

    • DOI

      10.1007/s11235-015-9989-5

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] Quantifying Resiliency of Virtualized System with Software Rejuvenation2015

    • 著者名/発表者名
      H. Okamura, J. Guan, C. Luo and T. Dohi
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E98.A 号: 10 ページ: 2051-2059

    • DOI

      10.1587/transfun.E98.A.2051

    • NAID

      130005100660

    • ISSN
      0916-8508, 1745-1337
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] Transient analysis of software rejuvenation policies in virtualized system: phase-type expansion approach2014

    • 著者名/発表者名
      H. Okamura, K. Yamamoto and T. Dohi
    • 雑誌名

      Quality Technology and Quantitative Management Journal

      巻: 11 ページ: 335-352

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26330028
  • [雑誌論文] A novel framework of software reliability evaluation with software reliability growth models and software metrics2014

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)

      ページ: 97-104

    • DOI

      10.1109/hase.2014.22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Variational Bayes for phase-type distribution2014

    • 著者名/発表者名
      H. Okamura, R. Watanabe and T. Dohi
    • 雑誌名

      Communications in Statistics-Simulation and Computation

      巻: vol. 43, no. 8 号: 8 ページ: 2031-2044

    • DOI

      10.1080/03610918.2013.848895

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23510171, KAKENHI-PROJECT-26330028
  • [雑誌論文] SRATS: Software reliability assessment tool on spreadsheet (Experience report)2013

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)

      巻: なし ページ: 100-117

    • DOI

      10.1109/issre.2013.6698909

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Quantitative security evaluation for software system from vulnerability database2013

    • 著者名/発表者名
      H. Okamura, M. Tokuzane and T. Dohi
    • 雑誌名

      Journal of Software Engineering and Applications

      巻: vol.6(4A) 号: 04 ページ: 15-23

    • DOI

      10.4236/jsea.2013.64a003

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [雑誌論文] Improvement of expectation-maximization algorithm for phase-type distributions with grouped and truncated data2013

    • 著者名/発表者名
      H. Okamura, T. Dohi and K. S. Trivedi
    • 雑誌名

      Applied Stochastic Models in Business and Industry

      巻: vol.29 号: 2 ページ: 141-156

    • DOI

      10.1002/asmb.1919

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [雑誌論文] Application of deterministic annealing EM algorithm to MAP/PH parameter estimation2013

    • 著者名/発表者名
      H. Okamura, H. Kishikawa and T. Dohi
    • 雑誌名

      Telecommunication Systems Journal

      巻: vol.54(1) 号: 1 ページ: 79-90

    • DOI

      10.1007/s11235-013-9717-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Software reliability growth models with normal failure time distributions2013

    • 著者名/発表者名
      H. Okamura, T. Dohi and S. Osaki
    • 雑誌名

      Reliability Engineering and System Safety

      巻: vol.116 ページ: 135-141

    • DOI

      10.1016/j.ress.2012.02.002

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [雑誌論文] Enhancing performance of random testing through Markov chain Monte Carlo methods2013

    • 著者名/発表者名
      B. Zhou, H. Okamura and T. Dohi
    • 雑誌名

      IEEE Transactions on Computers

      巻: vol.62(1) 号: 1 ページ: 186-192

    • DOI

      10.1109/tc.2011.208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [雑誌論文] Security evaluation for software system with vulnerability life cycle and user profiles2012

    • 著者名/発表者名
      H. Okamura, M. Tokuzane and T. Dohi
    • 雑誌名

      Proceedings of 2012 Workshop on Dependable Transportation/Recent Advances in Software Dependability (WDTS-RASD 2012)

      ページ: 39-44

    • DOI

      10.1109/wdts-rasd.2012.17

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model2012

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      巻: なし ページ: 382-389

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Component importance analysis of virtualized system2012

    • 著者名/発表者名
      J. Zheng, H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of The 9th IEEE International Conference on Autonomic and Trusted Computing (ATC 2012)

      ページ: 462-469

    • DOI

      10.1109/uic-atc.2012.128

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model2012

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2012)

      ページ: 382-389

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing2012

    • 著者名/発表者名
      B. Zhou, H. Okamura and T. Dohi
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E95.D 号: 9 ページ: 2219-2226

    • DOI

      10.1587/transinf.E95.D.2219

    • NAID

      10031142837

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案2011

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 雑誌名

      ソフトウェアシンポジウム '11 論文集

      ページ: 10-10

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] On the effect of the order of test cases in the modified exponential software reliability growth model2011

    • 著者名/発表者名
      K.Okumura, H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 2011 Second International Conference on Networking and Computing (ICNC-2011)

      ページ: 294-296

    • DOI

      10.1109/icnc.2011.55

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167, KAKENHI-PROJECT-23500047
  • [雑誌論文] 変分ベイズによるパラメータ相関を考慮した事後分布の近似計算2011

    • 著者名/発表者名
      山口祐介, 岡村寛之, 土肥正
    • 雑誌名

      日本応用数理学会論文誌

      巻: 21 ページ: 73-88

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Unification of software reliability models using Markovian arrival processes2011

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-2011)

      ページ: 20-27

    • DOI

      10.1109/prdc.2011.12

    • NAID

      110007483139

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案2011

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 雑誌名

      ソフトウェアシンポジウム'11論文集

      ページ: 10-10

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] A refined EM algorithm for PH distributions2011

    • 著者名/発表者名
      H.Okamura, T.Dohi, K.S.Trivedi
    • 雑誌名

      Performance Evaluation

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Bayesian inference for credible intervals of optimal software release time2011

    • 著者名/発表者名
      H. Okamura, T. Dohi and S. Osaki, T.-H. Kim, H. Adeli, H.-K. Kim, H.-J. Kang, K. J. Kim, A. Kiumi and B.-H. Kang, eds
    • 雑誌名

      Advances in Software Engineering & Its Applications(ASEA 2011), Communications in Computer and Information Science

      巻: vol.257 ページ: 377-384

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案2011

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 雑誌名

      ソフトウェアシンポジウム' 11論文集(ソフトウェア技術者協会)

      ページ: 10-10

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Software reliability growth model with normal distribution and its parameter estimation2011

    • 著者名/発表者名
      H. Okamura, T. Dohi and S. Osaki
    • 雑誌名

      Proceedings of the International Conference on Quality, Reliability, Maintenance and Safety Engineering(ICQR2MSE 2011)

      ページ: 424-429

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Bayesian inference for credible intervals of optimal software release time2011

    • 著者名/発表者名
      H.Okamura, T.Dohi, S.Osaki
    • 雑誌名

      Advances in Software Engineering & Its Applications (ASEA 2011), Communications in Computer and Information Science

      ページ: 377-384

    • DOI

      10.1007/978-3-642-27207-3_41

    • ISBN
      9783642272066, 9783642272073
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • 著者名/発表者名
      H.Okamura, T.Hirata, T.Dohi
    • 雑誌名

      Proceedings of the 7th International Conference on Mathematical Methods in Reliability,-Theory, Methods and Applications-(MMR-2010)

      ページ: 390-296

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model2011

    • 著者名/発表者名
      H.Okamura, Y.Etani, T.Dohi
    • 雑誌名

      Proceedings of 2011 Joint Conference of the 21st International Workshop on Software Measurement (IWSM-2011) and the 6th International Conference on Software Process and Product Measurement (MENSURA-2011)

      ページ: 62-68

    • DOI

      10.1109/iwsm-mensura.2011.26

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167, KAKENHI-PROJECT-23500047
  • [雑誌論文] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model2011

    • 著者名/発表者名
      H. Okamura, Y. Etani and T. Dohi
    • 雑誌名

      Proceedings of 2011 Joint Conference of the 21st International Workshop on Software Measurement(IWSM-2011) and the 6th International Conference on Software Process and Product Measurement(MENSURA-2011)

      ページ: 62-68

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] 変分ベイ ズによるパラメータ相関を考慮した事後分布の近似計算2011

    • 著者名/発表者名
      山口祐介, 岡村寛之, 土肥正
    • 雑誌名

      日本応用数理学会論文 vol.21, no.1

      ページ: 73-88

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Software safety assessment based on a subordinated Markov chain2011

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      International Journal of Systems Assurance Engineering and Management

      巻: vol.1 ページ: 307-315

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500047
  • [雑誌論文] On the effect of the order of test cases in the modified exponential software reliability growth model2011

    • 著者名/発表者名
      K. Okumura, H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 2011 Second International Conference on Networking and Computing(ICNC-2011)

      ページ: 294-296

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Software reliability growth model with normal distribution and its parameter estimation2011

    • 著者名/発表者名
      H.Okamura, T.Dohi, S.Osaki
    • 雑誌名

      Proceedings of the International Conference on Quality, Reliability, Maintenance and Safety Engineering (ICQR2MSE 2011)

      ページ: 424-429

    • DOI

      10.1109/icqr2mse.2011.5976642

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167, KAKENHI-PROJECT-23500047
  • [雑誌論文] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • 著者名/発表者名
      H. Okamura, T. Hirata and T. Dohi
    • 雑誌名

      Proceedings of the 7th International Conference on Mathematical Methods in Reliability,-Theory, Methods and Applications-(MMR-2010)

      ページ: 390-396

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計2010

    • 著者名/発表者名
      岡村寛之, 周搏, 土肥正
    • 雑誌名

      ソフトウェアテストシンポジウム2010東京(JaSST' 10)論文集

      ページ: 54-59

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Transient analysis of software availability models with rejuvenation2010

    • 著者名/発表者名
      T. Dohi, H. Okamura and S. Osaki
    • 雑誌名

      Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      ページ: 169-176

    • NAID

      10016434586

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] A note on quasi-Monte Carlo simulation for non-homogeneous Markov chains2010

    • 著者名/発表者名
      K. Yamana, H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      ページ: 780-787

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Application of deterministic annealing EM algorithm to Markovian arrival parameter estimation2010

    • 著者名/発表者名
      H.Okamura, H.Kishikawa, T. Dohi
    • 雑誌名

      Proceedings of 2010 Symposia and Workshop on Ubiquitous, Autonomic and Trusted Computing

      ページ: 352-357

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] A note on quasi-Monte Carlo simulation for non-homogeneous Markov chains2010

    • 著者名/発表者名
      K.Yamada, H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      ページ: 780-787

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Transient analysis of software availability models with rejuvenation2010

    • 著者名/発表者名
      T.Dohi, H.Okamura, S.Osaki
    • 雑誌名

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      ページ: 169-176

    • NAID

      10016434586

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] A multi-factor software reliability model based on logistic regression2010

    • 著者名/発表者名
      H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 21^<st> IEEE International Symposium on Software Reliability Engineering

      ページ: 31-40

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Markov chain Monte Carlo random testing2010

    • 著者名/発表者名
      B.Zhou, H.Okamura, T.Dohi
    • 雑誌名

      Advanced Computer Science and Information Technology, LNCS6059

      ページ: 447-456

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Estimating computer virus propagation based on Markovian arrival processes2010

    • 著者名/発表者名
      H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-2010)

      ページ: 199-206

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計2010

    • 著者名/発表者名
      岡村寛之, 周搏, 土肥正
    • 雑誌名

      ソフトウェアテストシンポジウム2010東京(JaSST'10)論文集

      ページ: 54-59

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Application of deterministic annealing EM algorithm to Markovian arrival parameter estimation2010

    • 著者名/発表者名
      H.Okamura, H.Kishikawa, T.Dohi
    • 雑誌名

      Proceedings of 2010 Symposia and Workshop on Ubiquitous, Autonomic and Trusted Computing

      ページ: 352-357

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Variational Bayesian approach for estimating parameters of a mixture of Erlang distributions2010

    • 著者名/発表者名
      Y.Yamaaguthi, H.Okamura, T.Dohi
    • 雑誌名

      Communications in Statistics-Theory and Methods (掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Variational Bayesian approach for estimating parameters of a mixture of Erlang distributions2010

    • 著者名/発表者名
      Y.Yamaguchi, H.Okamura, T. Dohi
    • 雑誌名

      Communications in Statistics -Theory and Methods vol.39, no.3

      ページ: 2333-2350

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] A multi-factor software reliability model based on logistic regression2010

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 21st IEEE International Symposium on Software Reliability Engineering

      ページ: 31-40

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] Markov chain Monte Carlo random testing2010

    • 著者名/発表者名
      B. Zhou, H. Okamura and T. Dohi
    • 雑誌名

      Advanced Computer Science and Information Technology

      巻: 6059 ページ: 447-456

    • データソース
      KAKENHI-PROJECT-21510167
  • [雑誌論文] An improvement of EM algorithm for PH distributions with group data2010

    • 著者名/発表者名
      H.Okamura, T.Dohi, K.S.Trivedi
    • 雑誌名

      Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      ページ: 532-539

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] An improvement of EM algorithm for PH distyributions with group data2010

    • 著者名/発表者名
      H.Okamura, T.Dohi, K.S.Trivide
    • 雑誌名

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      ページ: 532-539

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Estimating computer virus propagation based on Markovian arrival processes2010

    • 著者名/発表者名
      H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 16th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC-2010)

      ページ: 199-206

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Software reliability modeling based on capture-recapture sampling2009

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A) E92-A(掲載決定)

    • NAID

      10026858250

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • 著者名/発表者名
      Koji Ohishi, Hiroyuki Okamura and Tadashi Dohi
    • 雑誌名

      Journal of Systems and Software 82

      ページ: 535-543

    • NAID

      120001700413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Software reliability modeling based on capture-recapture sampling, IEICE Transactions on Fundamentals of Electronics2009

    • 著者名/発表者名
      Hiroyuki Okamura and Tadashi Dohi
    • 雑誌名

      Communications and Computer Sciences (A) E92-A(掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Markovian arrival process parameter estimation with group data2009

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      IEEE/ACM Transactions on Networking 17(掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • 著者名/発表者名
      K. Ohishi, H. Okamura, T. Dohi
    • 雑誌名

      Journal of Systems and Software 82

      ページ: 535-543

    • NAID

      120001700413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Faster maximum likelihood estimation algorithms for Markovian arrival processes2009

    • 著者名/発表者名
      H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 6th International Conference on Quantitative Evaluation of Systems (QEST 2009)

      ページ: 73-82

    • データソース
      KAKENHI-PROJECT-21700060
  • [雑誌論文] Markovian arrival process parameter estimation with group data2009

    • 著者名/発表者名
      Hiroyuki Okamura, Tadashi Dohi and Kishor S. Trivedi
    • 雑誌名

      IEEE/ACM Transactions on Networking 17(掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • 著者名/発表者名
      K. Ohishi, H. Okamura and T. Dohi
    • 雑誌名

      Journal of Systems and Software 82

      ページ: 535-543

    • NAID

      120001700413

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Software reliability modeling based on capture-recapture sampling2009

    • 著者名/発表者名
      H. Okamura, T. Dohi
    • 雑誌名

      Software reliability modeling based on capture-recapture sampling E92-A(掲載確定)

    • NAID

      10026858250

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Markovian arrival process parameter estimation with group data2009

    • 著者名/発表者名
      H. Okamura, T. Dohi K. S. Trivedi
    • 雑誌名

      IEEE/ACM Transactions on Networking 17(掲載確定)(印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Software reliability modeling based on capture-recapture sampling, IEICE Trans on Fundamentals of Electronics2009

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Communications and Computer Sciences(A) E92-A(掲載決定)

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Markovian arrival process parameter estimation with group data2009

    • 著者名/発表者名
      H. Okamura, T. Dohi and K. S. Trivedi
    • 雑誌名

      IEEE/ACM Transactions on Networking 172(掲載決定)

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Software reliability modeling based on mixed Poisson distributions2008

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering 15(1)

      ページ: 9-32

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Estimating a mixture of Erlang distributions based on variational Bayes, Proc2008

    • 著者名/発表者名
      Y. Yamaguchi, H. Okamura and T. Dohi
    • 雑誌名

      2008 Asian Int. Workshop on Advanced Reliability Modeling

      ページ: 619-626

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Estimating a mixture of Erlang distributions based on variational Bayes2008

    • 著者名/発表者名
      Y. Yamaguchi, H. Okamura T. Dohi
    • 雑誌名

      Proc. 2008 Asian Int. Workshop on Advanced Reliability Modeling

      ページ: 619-626

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Hyper-Erlang software reliability model2008

    • 著者名/発表者名
      Hiroyuki Okamura and Tadashi Dohi
    • 雑誌名

      Proc. 14th Pacific Rim Int. Symp. Dependable Computing (PRDC'08)

      ページ: 232-239

    • NAID

      110006990453

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Hyper-Erlang software reliability model2008

    • 著者名/発表者名
      H. Okamura, T. Dohi
    • 雑誌名

      Proc. 14th Pacific Rim Int. Symp. Dependable Computing

      ページ: 232-239

    • NAID

      110006990453

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Hyper-Erlang software reliability model2008

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proc. 14th Pacific Rim Int. Symp. Dependable Computing

      ページ: 232-239

    • NAID

      110006990453

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Software reliability modeling based on mixed Poisson distributions2008

    • 著者名/発表者名
      H. Okamura, T. Dohi
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering 15(1)

      ページ: 9-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Hyper-Erlang software reliability model2008

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proc. 14th Pacific Rim Int. Symp. Dependable Computing

      ページ: 232-239

    • NAID

      110006990453

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Software reliability modeling based on mixed Poisson distributions2008

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering 15(1)

      ページ: 9-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Software reliability modeling based on mixed Poisson distributions, International Journal of Reliability2008

    • 著者名/発表者名
      Hiroyuki Okamura and Tadashi Dohi
    • 雑誌名

      Quality and Safety Engineering 15(1)

      ページ: 9-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Statistical inference of computer virus propagation using non-homogeneous Poisson processes2007

    • 著者名/発表者名
      H. Okamura
    • 雑誌名

      Proceedings of The 18th International Syxaposium on Software Reliability Engineering

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • 著者名/発表者名
      Hiroyuki Okamura, Michael Grottke, Tadashi Dohi and Kishor S. Trivedi
    • 雑誌名

      Proceedings of 2007 International Conference on Dependable Systems and Networks (DSN-2007)

      ページ: 698-707

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Variational Bayesian approach for interval estimation of NHPP-basedsoftware reliability models2007

    • 著者名/発表者名
      H. Okamura
    • 雑誌名

      Proceedings of 2007 International Conference onDependable Systems and Networks

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • 著者名/発表者名
      H. Okamura, M. Grottke, T. Dohi and K. S. Trivedi
    • 雑誌名

      Proc. of 2007 Int'l Conf. on Dependable Systems and Networks(DSN-2007)

      ページ: 698-707

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Estimating Markov-modulated compound Poisson process2007

    • 著者名/発表者名
      Hiroyuki Okamura, Yuya Kamahara and Tadashi Dohi
    • 雑誌名

      Proc. of the 2nd international conference on Performance evaluation methodologies and tools

      ページ: 1-8

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Statistical inference of computer virus propagation usingnon-homogeneous Poisson processes2007

    • 著者名/発表者名
      Hiroyuki Okamura, Kazuya Tateishi and Tadashi Dohi
    • 雑誌名

      Proceedings of The 18th International Symposium on Software Reliability Engineering (ISSRE'07)

      ページ: 149-158

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Quantifying software maintainability based on a fault-detection/correction model2007

    • 著者名/発表者名
      K. Shibata, K. Rinsaka, T. Dohi and H. Okamura
    • 雑誌名

      Proc. of 13th Pacific Rim Int'l Symp. On Dependable Computing (PRDC'07)

      ページ: 35-42

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Quantifying software maintainability based on a fault-detection/correction model2007

    • 著者名/発表者名
      Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi and Hiroyuki Okamura
    • 雑誌名

      Proc. of 13th Pacific Rim International Symposium on Dependable Computing (PRDC'07)

      ページ: 35-42

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Bivariate software fault-detection models2007

    • 著者名/発表者名
      Tomotaka Ishii, Tadashi Dohi and Hiroyuki Okamura
    • 雑誌名

      Proc. of 31st Annual International Computer Software and Applications Conference (COMPSAC2007)

      ページ: 535-538

    • NAID

      110006380784

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700065
  • [雑誌論文] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • 著者名/発表者名
      H. Okamura
    • 雑誌名

      Proc. of 2007 Int'l Conf. on Dependable Systems and Networks(DSN-2007)

      ページ: 698-707

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Parameter estimation for trend-curve-based software reliability models2006

    • 著者名/発表者名
      H.Okamura, H.Furumura, T.Dohi
    • 雑誌名

      Transactions of Information Processing Society of Japan 47 (3)

      ページ: 897-905

    • NAID

      110004708847

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] 傾向曲線に基づいたソフトウェア信頼性モデルに対するパラメータ推定2006

    • 著者名/発表者名
      岡村寛之, 古村仁志, 土肥正
    • 雑誌名

      情報処理学会論文誌 47・3

      ページ: 897-905

    • NAID

      110004708847

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] Statistical models for propagation of computer virus based on non-homogeneous Poisson processes2006

    • 著者名/発表者名
      H.Okamura, K.Tateishi, T.Dohi
    • 雑誌名

      Transactions of IEICE J89-D (8)

      ページ: 1729-1738

    • NAID

      110007380512

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] マルコフ決定過程によるWebページランキングアルゴリズムの提案2006

    • 著者名/発表者名
      岡村寛之, 宮内聡, 土肥正
    • 雑誌名

      電子情報通信学会論文誌(D-I) J89-D・2

      ページ: 210-219

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] On the effect of fault removal in software testing -Bayesian reliability estimation approach-2006

    • 著者名/発表者名
      H. Okamura, H. Furumura and T. Dohi
    • 雑誌名

      Proceedings of The 17th International Symposium on Software Reliability Engineering (ISSRE'06)

      ページ: 247-255

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Variational Bayesian approach for exponential software reliability model2006

    • 著者名/発表者名
      H. Okamura, T. Sakoh and T. Dohi
    • 雑誌名

      Proceedings of 10th IASTED International Conference on Software Engineering and Applications

      ページ: 82-87

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Variational Bayesian approach for exponential software reliability model2006

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of 10th IASTED International Conference on Software Engineering and Applications

      ページ: 82-87

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] 傾向曲線に基づいたソフトウェア信頼性モデルに対するパラメータ推定2006

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      情報処理学会論文誌 47・3

      ページ: 897-905

    • NAID

      110004708847

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] Distribution-free checkpoint placement algorithms based on min-max principle2006

    • 著者名/発表者名
      T.Ozaki, T.Dohi, H.Okamura, N.Kaio
    • 雑誌名

      IEEE Transactions on Dependable and Secure Computing 3-(2)

      ページ: 130-140

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] Distribution-free checkpoint placement algorithms based on min-max principle2006

    • 著者名/発表者名
      T.Ozaki, T.Dohi, H.Okamura, N.Kaio
    • 雑誌名

      IEEE Transactions on Dependable and Secure Computing 3・2

      ページ: 130-140

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] Software reliability modeling based on mixed Poisson distributions2006

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of 2006 Asian International Workshop on Advanced Reliability Modeling (AIWARM 2006)

      ページ: 427-434

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Software reliability modeling based on mixed Poisson distributions2006

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of 2006 Asian International Workshop on Advanced Reliability Modeling (AIWARM 2006)

      ページ: 427-434

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Building phase-type software reliability models2006

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of The 17th International Symposium on Software Reliability Engineering (ISSRE'06)

      ページ: 289-298

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Estimating Markov modulated software reliability models via EM algorithm2006

    • 著者名/発表者名
      T. Ando, H. Okamura and T. Dohi
    • 雑誌名

      Proceedings of The 2nd IEEE International Symposium on Dependable Autonomic and Secure Computing (DASC'06)

      ページ: 111-118

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] 傾向曲線に基づいたソフトウェア信頼性モデルに対するパラメータ推定2006

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      情報処理学会論文誌 47(3)

      ページ: 897-905

    • NAID

      110004708847

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] A unified parameter estimation algorithm for discrete software reliability models2006

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Opsearch 42(4)

      ページ: 355-377

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] On the effect of fault removal in software testing -Bayesian reliability estimation approach-2006

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of The 17th International Symposium on Software Reliability Engineering (ISRE'06)

      ページ: 247-255

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] A web page ranking algorithm based on a Markov decision process2006

    • 著者名/発表者名
      H.Okamura, S.Miyahara, T.Dohi
    • 雑誌名

      Transactions of IEICE (D-I) J89-D (2)

      ページ: 210-219

    • NAID

      110004669941

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] 非同次ポアソン過程によるコンピュータウィルス増殖の統計モデル2006

    • 著者名/発表者名
      岡村寛之, 立石和也, 土肥正
    • 雑誌名

      電子情報通信学会論文誌 (D-I) J89-D・8

      ページ: 1729-1738

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] A DP-based optimal checkpointing algorithm for real-time applications2006

    • 著者名/発表者名
      H.Okamura
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering 13・4

      ページ: 323-340

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] Building phase-type software reliability models2006

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of The 17th International Symposium on Software Reliability Engineering (ISSRE'06)

      ページ: 289-298

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] A unified parameter estimation algorithm for discrete software reliability models2006

    • 著者名/発表者名
      H. Okamura, A. Murayama and T. Dohi
    • 雑誌名

      Opsearch 42(4)

      ページ: 355-377

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] 傾向曲線に基づいたソフトウェア信頼性モデルに対するパラメータ推定2006

    • 著者名/発表者名
      岡村寛之, 古村仁志, 土肥正
    • 雑誌名

      情報処理学会論文誌 47(3)

      ページ: 897-905

    • NAID

      110004708847

    • データソース
      KAKENHI-PROJECT-18510138
  • [雑誌論文] Rejuvenating communication network system under burst arrival circumstances2005

    • 著者名/発表者名
      H.Okamura, S.Miyahara, T.Dohi
    • 雑誌名

      IEICE Transactions on.Communications (B) E88-B (12)

      ページ: 4498-4506

    • NAID

      110004019604

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] EM algorithms for fitting Markovian arrival processes to time-interval sampling data2005

    • 著者名/発表者名
      Hiroyuki Okamura・・・[et al.]
    • 雑誌名

      proceedings of International Workshop on Recent Advances in Stochastic Operations Research

      ページ: 203-210

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] A subordinated Markov chain model for assessing software safety2005

    • 著者名/発表者名
      Hiroyuki Okamura・・・[et al.]
    • 雑誌名

      Proceedings of International Conference on Reliability and Safety Engineering

      ページ: 363-373

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Development of a software reliability assessment tool on spreadsheet software (SRATS)2005

    • 著者名/発表者名
      H.Okamura, M.Ando, T.Dohi
    • 雑誌名

      Transaction of the Institute of Electronics, Information and Communication Engineers Vol.J88-D-I, no.2

      ページ: 205-214

    • NAID

      110003203313

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 強化学習に基づいた分散チェックポイントの最適生成2005

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      数理科学講究録1409-決定理論と最適化アルゴリズム

      ページ: 10-20

    • データソース
      KAKENHI-PROJECT-15700060
  • [雑誌論文] EM algorithms for fitting Markovian arrival processes to time-interval sampling data2005

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of International Workshop on Recent Advances in Stochastic Operations Research (RASOR 2005)

      ページ: 203-210

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] A subordinated Markov chain model for assessing software safety2005

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of International Conference on Reliability and Safety Engineering

      ページ: 363-373

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Development of fixed-assets evaluation system based on spreadsheet application,2005

    • 著者名/発表者名
      O.Yasuda, H.Okamura, T.Dohi, S.Osaki
    • 雑誌名

      Abstract of the 2005 Spring National Conference of Operation Research Society of Japan

      ページ: 8-9

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Rejuvenating communication network system under burst arrival circumstances2005

    • 著者名/発表者名
      H.Okamura, S.Miyahara, T.Dohi
    • 雑誌名

      IEICE Transactions on Communications (B) E88-B・12

      ページ: 4498-4506

    • NAID

      110004019604

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] EM algorithms for extreme-balue software reliability models2005

    • 著者名/発表者名
      Hiroyuki Okamura・・・[et al.]
    • 雑誌名

      Proc. of 4th Int' 1 Conf. on Mathematical Methods in Reliability-Methodology and Practice (CD-ROM)

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Markovian modeling and analysis of Internet worm propagation2005

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of 16th International Symposium on Software Reliability Engineering

      ページ: 149-158

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] A subordinated Markov chain model for assessing software safety,2005

    • 著者名/発表者名
      H.Okamura, M.Ito, T.Dohi
    • 雑誌名

      Proceedings of International Conference on Reliability and Safety Engineering (ICNCRESE 2005)

      ページ: 363-373

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Rejuvenating communication network system with burst arrival2005

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      IEICE Transactions on Communications (B) E88-B

      ページ: 4498-4506

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] Bayesian approach to estimate software reliability in fault-removal environment2005

    • 著者名/発表者名
      Hiroyuki Okamura・・・[et al.]
    • 雑誌名

      Supplementary Proceedings of 15th International Symposium on Software Reliability Engineering

      ページ: 53-54

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Rejuvenating communication network system with burst arrival2005

    • 著者名/発表者名
      H.Okamura
    • 雑誌名

      IEICE Transactions on Communications(B) E88-B

      ページ: 4498-4506

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2005

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      電子情報通信学会論文誌(D-I) J88-D-1

      ページ: 205-214

    • NAID

      110003203313

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] 一般化ガンマソフトウェア信頼性モデル2005

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      電子情報通信学会論文誌(D-I) J87-D-1

      ページ: 805-814

    • NAID

      110003171356

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2005

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      電子情報通信学会論文誌 J88-D-I(2)

      ページ: 205-214

    • NAID

      110003203313

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] EM algorithms for fitting Markovian arrival processes to time-interval sampling data,2005

    • 著者名/発表者名
      H.Okamura, H.Goto, T.Dohi
    • 雑誌名

      Proceedings of International Workshop on Recent Advances in Stochastic Operations Research (RASOR 2005)

      ページ: 203-210

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2005

    • 著者名/発表者名
      岡村寛之他
    • 雑誌名

      電子情報通信学会論文誌 J88-D-I(2)

      ページ: 205-214

    • NAID

      110003203313

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Bayesian statistical approach to design the optimal auto-sleep function in a computer system2004

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proc.47th IEEE Int'l Midwest Symposium on Circuits and Systems

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 確率モデルによるコンピュータウィルスの特徴分析2004

    • 著者名/発表者名
      小林尚志, 岡村寛之, 土肥正
    • 雑誌名

      情報処理学会論文誌 45・5

      ページ: 1432-1441

    • NAID

      110002712192

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] 一般化ガンマソフトウェア信頼性モデル2004

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      電子情報通信学会論文誌 J87-D-I(8)

      ページ: 805-814

    • NAID

      110003171356

    • データソース
      KAKENHI-PROJECT-15700060
  • [雑誌論文] An improved intrusion-detection model by profiling correlated access data2004

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of 2004 Asian International Workshop on Advanced Reliability Modeling

      ページ: 371-378

    • データソース
      KAKENHI-PROJECT-15700060
  • [雑誌論文] フォールト修正を行う環境下におけるSingle-Use信頼度のベイズ推定2004

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      日本オペレーションズ・リサーチ学会2004年春季研究発表会予稿集

      ページ: 272-273

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Generalized-gamma software reliability model,2004

    • 著者名/発表者名
      H.Okamura, M.Ando, T.Dohi
    • 雑誌名

      Transactions of the Institute of Electronics, Information and Communication Engineers Vol.J87-D-I, No.8

      ページ: 805-814

    • NAID

      110003171356

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] A note on probability of achievement of test coverage in random testing environment,2004

    • 著者名/発表者名
      H.Furumura, H.Okamura, T.Dohi
    • 雑誌名

      Abstract of the 55^<th> Chugoku-Branch Joint Conference of the Institutes Related with Electrical and Information Engineers

      ページ: 35-35

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 一般化ガンマソフトウェア信頼性モデル2004

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      電子情報通信学会論文誌 J87-D-I

      ページ: 805-814

    • NAID

      110003171356

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 統計モデルによるソフトウェアテスト手法の比較2004

    • 著者名/発表者名
      岡村寛之他
    • 雑誌名

      電子情報通信学会技術研究報告 R-104(72)

      ページ: 17-21

    • NAID

      110003301721

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2004

    • 著者名/発表者名
      岡村寛之, 安藤光昭, 土肥正
    • 雑誌名

      電子情報通信学会論文誌(D-I) J88-D-I・2

      ページ: 205-214

    • NAID

      110003203313

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] 確率モデルによるコンピュータウィルスの特徴分析2004

    • 著者名/発表者名
      小林尚志, 岡村寛之, 土肥正
    • 雑誌名

      情報処理学会論文誌 45・5

      ページ: 1432-1441

    • NAID

      110002712192

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] Development of fixed-assets system based on the pricing lands,2004

    • 著者名/発表者名
      O.Ysuda, H.Okamura, T.Dohi
    • 雑誌名

      Abstract of the 55^<th> Chugoku-Branch Joint Conference of the Institutes Related with Electrical and Information Engineers

      ページ: 121-121

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Bayesian approach to estimate software reliability in fault-removal environment (Fast Abstract)2004

    • 著者名/発表者名
      H.Okamura, H.Furumura, T.Dohi
    • 雑誌名

      Supplementary Proceedings of 15th International Symposium on Software Reliability Engineering (IEEE Computer Society Press)

      ページ: 53-54

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Bayesian estimation for single-use reliability in fault-removal environment,2004

    • 著者名/発表者名
      H.Okamura, H.Furumura, T.Dohi
    • 雑誌名

      Abstract of the 2004 Spring National Conference of Operation Research Society of Japan

      ページ: 272-273

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Bayesian statistical approach to design the optimal auto-sleep function in a computer system2004

    • 著者名/発表者名
      Hiroyuki Okamura・・・[et al.]
    • 雑誌名

      proceedings of 47th IEEE International Midwest Symposium on Circuits and Systems

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] フォールト修正を行う環境下におけるSingle-Use信頼度のベイズ推定2004

    • 著者名/発表者名
      岡村寛之他
    • 雑誌名

      日本オペレーションズ・リサーチ学会春季研究発表会アプストラクト集

      ページ: 272-273

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] 一般化ガンマソフトウェア信頼性モデル2004

    • 著者名/発表者名
      岡村寛之, 安藤光昭, 土肥正
    • 雑誌名

      電子情報通信学会論文誌(D-I) J87-D-I・8

      ページ: 805-814

    • NAID

      110003171356

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] 一般化ガンマソフトウェア信頼性モデル2004

    • 著者名/発表者名
      岡村寛之他
    • 雑誌名

      電子情報通信学会論文誌 J87-D-I(8)

      ページ: 805-814

    • NAID

      110003171356

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] An improved instrusion-detection model by profiling correlated access data2004

    • 著者名/発表者名
      H.Okamura, T.Fukuda, T.Dohi
    • 雑誌名

      Advanced Reliability Modeling (eds.By T.Dohi and W.Y.Yun), World Scientific.Inc.

      ページ: 371-378

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] Characteristic analysis of computer viruses by stochastic models2004

    • 著者名/発表者名
      N.Kobayashi, H.Okamura, T.Dohi
    • 雑誌名

      Transactions of Information Processing Society of Japan 45 (5)

      ページ: 1432-1441

    • NAID

      110002712192

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] EM algorithms for extreme-value software reliability models2004

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proc.4th Int'l Conf.on Mathematical Methods in Reliability - Methodology and Practice

      ページ: 21-25

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Dependence of computer virus prevalence on network structure - Stochastic modeling approach2004

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Proceedings of 2004 Asian International Workshop on Advanced Reliability Modeling

      ページ: 379-386

    • データソース
      KAKENHI-PROJECT-15700060
  • [雑誌論文] A dynamic checkpointing scheme based on reinforcement learning2004

    • 著者名/発表者名
      H.Okamura, Y.Nishimura, T.Dohi
    • 雑誌名

      Proceedings of The 10th International Symposium on Pacific Rim Dependable Computing

      ページ: 151-158

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] Min-max checkpoint placement under incomplete information2004

    • 著者名/発表者名
      T.Ozaki, T.Dohi, H.Okamura, N.Kaio
    • 雑誌名

      Proceedings The International Conference on Dependable Systems and Networks

      ページ: 721-730

    • データソース
      KAKENHI-PROJECT-16310116
  • [雑誌論文] EM algorithms for extreme-value software reliability models,2004

    • 著者名/発表者名
      H.Okamura, T.Dohi
    • 雑誌名

      Proceedings of 4th International Conference on Mathematical Methods in Reliability-Methodology and Practice (CD-ROM)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Bayesian statistical approach to design the optimal auto-sleep function in a computer system,2004

    • 著者名/発表者名
      H.Okamura, T.Sugihara, T.Dohi, S.Osaki
    • 雑誌名

      Proceedings of 47th IEEE International Midwest Symposium on Circuits and Systems

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Comparison of software testing methods based on statistical models,2004

    • 著者名/発表者名
      H.Okamura, T.Dohi
    • 雑誌名

      Technical Report of the Institute of Electronics, Information and Communication Engineers vol.R-104, no.72

      ページ: 17-21

    • NAID

      110003301721

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Bayesian approach to estimate software reliability in fault-removal environment2004

    • 著者名/発表者名
      Hiroyuki Okamura
    • 雑誌名

      Supplementary Proc.15th Int'l Symposium on Software Reliability Engineering

      ページ: 53-54

    • データソース
      KAKENHI-PROJECT-16510128
  • [雑誌論文] Dependence of computer virus prevalence on network structure --stochastic modeling approach--2004

    • 著者名/発表者名
      H.Okamura, N.Kobayashi, T.Dohi
    • 雑誌名

      Advanced Reliability Modeling (eds.By T.Dohi and W.Y.Yun), World Scientific.Inc.

      ページ: 379-388

    • データソース
      KAKENHI-PROJECT-15651076
  • [雑誌論文] 統計モデルによるソフトウェアテスト手法の比較2004

    • 著者名/発表者名
      岡村寛之
    • 雑誌名

      電子情報通信学会技術研究報告 R-104

      ページ: 17-21

    • NAID

      110003301721

    • データソース
      KAKENHI-PROJECT-16510128
  • [学会発表] 確率ペトリネットに対するパーフェクトサンプリングの高速化2024

    • 著者名/発表者名
      岡村寛之
    • 学会等名
      2023年度待ち行列シンポジウム
    • データソース
      KAKENHI-PROJECT-23K10998
  • [学会発表] パーフェクトサンプリングアルゴリズムの確率的モデルチェッキングへの応用に関する一考察2022

    • 著者名/発表者名
      安藤清佳,岡村寛之,土肥正
    • 学会等名
      日本オペレーションズリサーチ学会中国・四国支部SSOR
    • データソース
      KAKENHI-PROJECT-20K11694
  • [学会発表] On perfect sampling algorithm for generalized stochastic Petri nets2022

    • 著者名/発表者名
      Hiroyuki Okamura, Tadashi Dohi
    • 学会等名
      2021年度待ち行列シンポジウム
    • データソース
      KAKENHI-PROJECT-20K11694
  • [学会発表] パーフェクトサンプリングアルゴリズムの高速化に関する考察2022

    • 著者名/発表者名
      安藤清佳,岡村寛之,土肥正
    • 学会等名
      日本オペレーションズリサーチ学会「信頼性とOR」研究部会
    • データソース
      KAKENHI-PROJECT-20K11694
  • [学会発表] 階層型フォールトツリーの感度解析に関する考察2020

    • 著者名/発表者名
      張家豪,鄭俊俊,岡村寛之,土肥正
    • 学会等名
      日本オペレーションズ・リサーチ学会春季研究発表会
    • データソース
      KAKENHI-PROJECT-17K00033
  • [学会発表] SMTソルバを用いた確率ペトリネットのパーフェクトサンプリングアルゴリズム2019

    • 著者名/発表者名
      岡村寛之,森原和也,土肥正
    • 学会等名
      2018 年度待ち行列シンポジウム「確率モデルとその応用」
    • データソース
      KAKENHI-PROJECT-17K00033
  • [学会発表] A Moment-Based Approximation for Uncertainty Propagation in Fault Trees2019

    • 著者名/発表者名
      J. Zhang, J. Zheng, H. Okamura, T. Dohi
    • 学会等名
      24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00033
  • [学会発表] On Algorithm for High-Order Derivatives of Markov Reward Models2019

    • 著者名/発表者名
      H. Okamura, J. Zheng, T. Dohi
    • 学会等名
      11th International Conference on Mathematical Methods in Reliability
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00033
  • [学会発表] mapfit: An R-based tool for PH/MAP parameter estimation2015

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 学会等名
      The 14th International Conference on Quantitative Evaluation of Systems (QEST2015)
    • 発表場所
      Madrid, Spain
    • 年月日
      2015-09-01
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330028
  • [学会発表] A novel framework of software reliability evaluation with software reliability growth models and software metrics2014

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 学会等名
      The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
    • 発表場所
      Miami Beach, FL, USA
    • データソース
      KAKENHI-PROJECT-23500047
  • [学会発表] SRATS: Software reliability assessment tool on spreadsheet (Experience report)2013

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 学会等名
      The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
    • 発表場所
      Pasadena, CA, USA
    • データソース
      KAKENHI-PROJECT-23500047
  • [学会発表] SRATS : Software reliability assessment tool on spreadsheet (Experience report)2013

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 学会等名
      The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
    • 発表場所
      Pasadena, CA, USA
    • データソース
      KAKENHI-PROJECT-23500047
  • [学会発表] ソフトウェアメトリクスを考慮したソフトウェア信頼性評価の一般化2011

    • 著者名/発表者名
      恵谷勇介, 岡村寛之, 土肥正
    • 学会等名
      電子情報通信学会技術研究報告(信頼性研究会)
    • 発表場所
      東京都
    • 年月日
      2011-12-16
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • 著者名/発表者名
      H. Okamura, T. Hirata and T. Dohi
    • 学会等名
      7th International Conference on Mathematical Methods in Reliability, --Theory, Methods and Applications - (MMR-2010)
    • 発表場所
      Beijing, China
    • データソース
      KAKENHI-PROJECT-23500047
  • [学会発表] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • 著者名/発表者名
      H. Okamura, T. Hirata and T. Dohi
    • 学会等名
      The 7th International Conference on Mathematical Methods in Reliability, -Theory, Methods and Applications - (MMR-2010)
    • 発表場所
      Beijing, China
    • データソース
      KAKENHI-PROJECT-23500047
  • [学会発表] ソフトウェアテスト実行順序を考慮した指数修正形信頼性モデルを用いたパラメータ推定精度向上に関する考察2011

    • 著者名/発表者名
      奥村圭, 岡村寛之, 土肥正
    • 学会等名
      平成23年度電気・情報関連学会中国支部第62回連合大会
    • 発表場所
      広島市
    • 年月日
      2011-10-22
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] ソフトウェアメトリクスを考慮した統一的なソフトウェア信頼性モデルの提案2011

    • 著者名/発表者名
      恵谷勇介, 岡村寛之, 土肥正
    • 学会等名
      平成23年度電気・情報関連学会中国支部第62回連合大会
    • 発表場所
      広島市
    • 年月日
      2011-10-22
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] ソフトウェアメトリクスを考慮したソフトウェア信頼性評価2010

    • 著者名/発表者名
      岡村寛之, 岡野俊之, 土肥正
    • 学会等名
      日本OR学会春季研究発表会
    • 発表場所
      首都大学東京
    • 年月日
      2010-03-04
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] テスト環境要因を考慮したソフトウェア信頼性モデルの効率的推定法2010

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 学会等名
      日本OR学会春季研究発表会
    • 発表場所
      首都大学東京
    • 年月日
      2010-03-04
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] 動的なテスト環境要因を考慮したソフトウェア信頼性評価に関する一考察2010

    • 著者名/発表者名
      恵谷勇介, 岡村寛之, 土肥正
    • 学会等名
      電子情報通信学会技術研究報告(信頼性研究会)
    • 発表場所
      放送大学鳥取学習センター
    • 年月日
      2010-05-28
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] Random testing based on Markov chain Monte Carlo method2010

    • 著者名/発表者名
      B. Zhou, H. Okamura and T. Dohi
    • 学会等名
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • 発表場所
      広島市
    • 年月日
      2010-10-17
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] Enhancing performance of random testing through Markov chain Monte Carlo methods2010

    • 著者名/発表者名
      B. Zhou, H. Okamura and T. Dohi
    • 学会等名
      The 12th International Symposium on High Assurance Systems Engineering
    • 発表場所
      San Jose, CA, USA
    • 年月日
      2010-11-04
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] 単体テストデータを用いたソフトウェア信頼性評価に関する一考察2010

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 学会等名
      電子情報通信学会技術研究報告(信頼性研究会)
    • 発表場所
      東京都
    • 年月日
      2010-12-17
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] 一般化EM法による連続型隠れマルコフモデ ルの学習アルゴリズム2010

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      2010年度電気・情報関連学会中国支部第60回連合大会
    • 発表場所
      総社市
    • 年月日
      2010-10-23
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] 動的なテスト環境要因を考慮したソフトウェア信頼性評価に関する-考察2010

    • 著者名/発表者名
      恵谷勇介, 岡村寛之, 土肥正
    • 学会等名
      電子情報通信学会技術研究報告(信頼性研究会)
    • 発表場所
      鳥取市
    • 年月日
      2010-05-28
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] 単体テストデータを用いたソフトウェア信頼性評価に関する一考察2010

    • 著者名/発表者名
      岡村寛之, 土肥正
    • 学会等名
      電子情報通信学会技術研究報告(信頼性研究会)
    • 発表場所
      機械振興会館
    • 年月日
      2010-12-17
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] Enhancing performance of random testing through Markov chain Monte Carlo methods2010

    • 著者名/発表者名
      B.Zhou, H.Okamura, T.Dohi
    • 学会等名
      The 12^<th> International Symposium on High Assurance Systems Engineering
    • 発表場所
      CISCO campus, San Jose, CA, USA
    • 年月日
      2010-11-04
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] 一般化EM法による連続型隠れマルコフモデルの学習アルゴリズム2010

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      平成22年度電気・情報関連学会中国支部第60回連合大会
    • 発表場所
      総杜市
    • 年月日
      2010-10-23
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] 一般化 EMを用いたMAPパラメータ推定の並列化に関する一考察2010

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      2010年度待ち行列シンポジウム「確率モデルとその応用」
    • 発表場所
      京都市
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] 一般化EMを用いたMAPパラメータ推定の並列化に関する一考察2010

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      2010年度待ち行列シンポジウム「確率モデルとその応用」
    • 発表場所
      京都市
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] Random testing based on Markov chain Monte Carlo method2009

    • 著者名/発表者名
      B.Zhou, H.Okamura, T.Dohi
    • 学会等名
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • 発表場所
      広島市立大学
    • 年月日
      2009-10-17
    • データソース
      KAKENHI-PROJECT-21510167
  • [学会発表] HMMの学習アルゴリズムの並列化に関する一考察2009

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      京都大学数理解析研究所研究集会不確実・不確定性下での意思決定過程
    • 発表場所
      京都市
    • 年月日
      2009-11-12
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] 一般化EM法を用いた並列処理によるHMM学習の高速化2009

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      2009年度電気・情報関連学会中国支部第60回連合大会
    • 発表場所
      広島市
    • 年月日
      2009-10-17
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] 一般化EM法を用いた並列処理によるHMM学習の高速化2009

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • 発表場所
      広島市
    • 年月日
      2009-10-17
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] HMMの学習アルゴリズムの並列化に関する一考察2009

    • 著者名/発表者名
      河合理恵, 岡村寛之, 土肥正
    • 学会等名
      京都大学数理解析研究所研究集会 不確実・不確定性下での意思決定過程
    • 発表場所
      京都市
    • 年月日
      2009-11-12
    • データソース
      KAKENHI-PROJECT-21700060
  • [学会発表] Security evaluation of an intrusion tolerant system with MRSPNs2009

    • 著者名/発表者名
      Ryutaro Fujimoto, Hiroyuki Okamura and Tadashi Dohi
    • 学会等名
      4th International Conference on Availability, Reliability and Security
    • 発表場所
      福岡市
    • データソース
      KAKENHI-PROJECT-19700065
  • [学会発表] Estimating a mixture of Erlang distributions based on variational Bayes2008

    • 著者名/発表者名
      Yusuke Yamaguchi, Hiroyuki Okamura and Tadashi Dohi
    • 学会等名
      2008 Asian International Workshop on Advanced Reliability Modeling
    • 発表場所
      台湾
    • データソース
      KAKENHI-PROJECT-19700065
  • [学会発表] Confidence intervals of software release time based on Bayesian estimation2007

    • 著者名/発表者名
      H. Okamura
    • 学会等名
      5th International Conference on Mathematical Methods in Reliability, Methodology and Practice(MMR 2007)
    • 発表場所
      Glasgow, UK
    • データソース
      KAKENHI-PROJECT-18510138
  • [学会発表] Confidence intervals of software release time based on Bayesian estimation2007

    • 著者名/発表者名
      H. Okamura and T. Dohi
    • 学会等名
      5th International Conference on Mathematical Methods in Reliability, Methodology and Practice (MMR 2007)
    • 発表場所
      Glasgow, UK
    • データソース
      KAKENHI-PROJECT-18510138
  • [学会発表] Quantifying resiliency of virtualized system with software rejuvenation

    • 著者名/発表者名
      H. Okamura, J. Guan, C. Luo and T. Dohi
    • 学会等名
      The 2014 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE 2014)
    • 発表場所
      Dalian, China
    • 年月日
      2014-07-23 – 2014-07-25
    • データソース
      KAKENHI-PROJECT-26330028
  • 1.  土肥 正 (00243600)
    共同の研究課題数: 8件
    共同の研究成果数: 89件
  • 2.  尾崎 俊治 (10034399)
    共同の研究課題数: 7件
    共同の研究成果数: 8件
  • 3.  伏見 正則 (70008639)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 4.  海生 直人 (80148741)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 5.  木村 俊一 (50143649)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  青山 幹雄 (40278073)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  高橋 敬隆 (20329064)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  鈴木 敦夫 (70162922)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  長谷川 利治 (40025911)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  林坂 弘一郎 (20351794)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi