• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Okamura Hiroyuki  岡村 寛之

ORCIDConnect your ORCID iD *help
… Alternative Names

HIROYUKI Okamura  岡村 寛之

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

Less
Researcher Number 10311812
Other IDs
External Links
Affiliation (Current) 2022: 広島大学, 先進理工系科学研究科(工), 教授
Affiliation (based on the past Project Information) *help 2020: 広島大学, 先進理工系科学研究科(工), 教授
2018 – 2019: 広島大学, 工学研究科, 教授
2017: 広島大学, 工学研究科, 准教授
2016: 広島大学, 工学研究院, 准教授
2011 – 2015: 広島大学, 工学(系)研究科(研究院), 准教授 … More
2011: 広島大学, 大学院・工学研究科, 准教授
2010 – 2011: Hiroshima University, 大学院・工学研究院, 准教授
2007 – 2009: Hiroshima University, 大学院・工学研究科, 准教授
2006: 広島大, 工学(系)研究科(研究院), 助教授
2005 – 2006: 広島大学, 大学院工学研究科, 助教授
2003 – 2006: Hiroshima Univ., Grad.School of Eng., Associate Professor, 大学院・工学研究科, 助教授
2002: 広島大学, 大学院工学研究科, 助手
2001 – 2002: 広島大学, 大学院・工学研究科, 助手
1999 – 2000: 広島大学, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
Computer system/Network / Mathematical informatics / 社会システム工学 / Software / Basic Section 60020:Mathematical informatics-related
Except Principal Investigator
Social systems engineering/Safety system / 社会システム工学
Keywords
Principal Investigator
確率モデル / ソフトウェア信頼性 / システム工学 / 性能評価 / ペトリネット / モデル検査 / シミュレーション / 省電力 / 自動スリープ / コンピュータネットワーク … More / 待ち行列 / 拡散近似 / 位相型分布 / ディペンダビリティ / コンピュータウィルス / 不正アクセス検知 / チェックポイント / マルコフ解析 / ベイジアンネットワーク / 動的計画法 / 強化学習 / チェックポインティング / パワーマネジメント / ソフトウェアシステム / システム開発 / 安全性・信頼性 / インターネットワーム / 繁殖予測モデル / セキュリティ / 確率過程 / 感染数データ / フィッティング / 非同次ポアソン過程 / マルコフ到着過程 / 感染数:データ / 隠れマルコフモデル / マルコフ型到着過程 / トラッフィクモデル / EMアルゴリズム / 一般化EMアルゴリズム / 変分近似 / 並列計算 / マルチコアCPU / 組み込みソフトウェア / オープンソース / ソフトウェアメトリクス / 組み込み OS / 組み込みOS / システムモデリング / 位相型近似 / マルコフモデル / パーフェクトサンプリング / マルコフ過程 / SAT/SMTソルバ … More
Except Principal Investigator
ソフトウェア信頼性 / 確率モデル / ソフトウェア / 信頼性評価 / 性能評価 / ソフトウェア若化 / 比例ハザードモデル / ベイズ推定 / EMアルゴリズム / 信頼性 / 待ち行列 / 情報通信システム / Stochastic Models / Queues / 予防保全 / 固定資産税路線価式評価法 / 土地価格形成要因 / 土地価格推定 / 数量化理論I類 / 重回帰分析 / quantification method I / コンピュータウィルス / コンピュータセキュリティ / 拡散・感染現象 / キルシグナル / マルコフ解析 / ウィルス拡散現象 / マルコフモデル / ディペンダビリティ / コンピュータネットワーク / プレデター / セキュリティモデル / インターネット / 安全性 / 統計解析 / ソフトウェア信頼性モデル / Javaツール / 非同次ポワソン過程 / 変分ベイズ / 非同次ポアソン過程 / Java ツール / ベイズ進定 / マルコフ変調ポアソン過程 / COX比例ハザードモデル / ランダムテスト / 超一様分布列 / 設計評価 / ソフトウェアテスト / 疑似乱数生成 / ベイジアンネットワーク / マルコフ連鎖モンテカルロ法 / ソフトウェア信頼性評価 / 擬似乱数生成 / 拡散近似 / データベースシステム / 交換システム / 持ち行列 / Performance Evaluation / Reliability / Diffusion Approximations / Database Systems / Switching Systems / 信頼性工学 / 評価技術 / ソフトウェアシステム / Computer / Communication Systems / Reliability Engineering / Evaluation Technology / Software Reliability / Preventive Maintenance / 最尤推定 / 実証分析 / 宅地評価 / 固定資産路線価 / 標準宅地 / 土地価格批准表 / 数量化理論 / 2次計画法 / ノンパラメトッリク法 / evaluation of a property tax by pricing land / factors for pricing land / estimation for pricing land / multiple regression analysis / proportional hazard model / maximum likelihood method / empirical analysis / 高信頼化システム / チェックポイント / 回復処理 / オンラインアルゴリズム / システム開発 / highly reliable systems / software rejuvenation / checkpoint / recovery operation / preventive maintenance / on-line algorithms / software reliability / system development / 固定資産税路線皆式評価法 / 多変量解析 / Cox回帰分析 / 表計算アプリケーション / Webアプリケーション / 欠損値データ / 主要因分析 / データベース / 変数増減法 / evaluation of a property tax by pricing lands / factors for pricing lands / estimation for pricing lands / multiple classification analysis / Cox regression model / a plug-in tool in spreadsheet / Web-based application Less
  • Research Projects

    (17 results)
  • Research Products

    (207 results)
  • Co-Researchers

    (10 People)
  •  A Development of Perfect Sampling with SAT/SMT SolversPrincipal Investigator

    • Principal Investigator
      岡村 寛之
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60020:Mathematical informatics-related
    • Research Institution
      Hiroshima University
  •  Expansion of Applicability of Phase Approximation for Non-Markovian ModelsPrincipal Investigator

    • Principal Investigator
      Okamura Hiroyuki
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Mathematical informatics
    • Research Institution
      Hiroshima University
  •  Development of Scalable Algorithms of MRSPN/MRGP Analysis for the AutomationPrincipal Investigator

    • Principal Investigator
      Okamura Hiroyuki
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Mathematical informatics
    • Research Institution
      Hiroshima University
  •  A Study on Reliability Assessment for Embedded OSPrincipal Investigator

    • Principal Investigator
      OKAMURA Hiroyuki
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Hiroshima University
  •  Software Reliability Evaluation under Quasi-Random Testing

    • Principal Investigator
      OSAKI Shunji
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Social systems engineering/Safety system
    • Research Institution
      Nanzan University
  •  Development of statistical traffic models and their application to information securityPrincipal Investigator

    • Principal Investigator
      OKAMURA Hiroyuki
    • Project Period (FY)
      2009 – 2010
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Hiroshima University
  •  Imprementation of a comprehensive security model against Internet wormsPrincipal Investigator

    • Principal Investigator
      HIROYUKI Okamura
    • Project Period (FY)
      2007 – 2008
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Hiroshima University
  •  A Study on Optimal Design and Evaluation for Software e-Maintenance

    • Principal Investigator
      SHUNJI Osaki
    • Project Period (FY)
      2006 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Social systems engineering/Safety system
    • Research Institution
      Nanzan University
  •  脆弱性データを利用した高精度なインターネットワーム繁殖予測モデルの構築Principal Investigator

    • Principal Investigator
      岡村 寛之
    • Project Period (FY)
      2006
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Hiroshima University
  •  Development and Implementation of On-Line Preventive Maintenance Techniques to Realize Highly Reliable Information Communication Systems

    • Principal Investigator
      DOHI Tadashi
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Social systems engineering/Safety system
    • Research Institution
      Hiroshima University
  •  Research on statistical analysis of evaluating fixed-assets for housing and its application

    • Principal Investigator
      OSAKI Shunji
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Social systems engineering/Safety system
    • Research Institution
      Nanzan University
  •  コンピュータウイルス撃退のためのセキュリティモデルの開発と性能評価

    • Principal Investigator
      TADASHI Dohi
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Social systems engineering/Safety system
    • Research Institution
      Hiroshima University
  •  情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発Principal Investigator

    • Principal Investigator
      岡村 寛之
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Computer system/Network
    • Research Institution
      Hiroshima University
  •  Research on the analysis and its utilization of evaluating fixed-assets for housing by the mathematical model

    • Principal Investigator
      OSAKI Shunji
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      社会システム工学
    • Research Institution
      Nanzan University
  •  Studies on Evaluation Technologies for Highly JReliable Computer/Communication Systems

    • Principal Investigator
      KIMURA Toshikazu
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      社会システム工学
    • Research Institution
      Hokkaido University
  •  コンピュータネットワークにおけるPower Managementモデルの構築Principal Investigator

    • Principal Investigator
      岡村 寛之
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      社会システム工学
    • Research Institution
      Hiroshima University
  •  Exploring Performance Evaluation Models for Highly Reliable Computer/Communication Systems

    • Principal Investigator
      KIMURA Toshikazu
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      社会システム工学
    • Research Institution
      HOKKAIDO UNIVERSITY

All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation

  • [Journal Article] A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing2020

    • Author(s)
      Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • Journal Title

      Communications in Statistics - Theory and Methods

      Volume: 49 Pages: 3712-3729

    • DOI

      10.1080/03610926.2019.1708400

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K11694
  • [Journal Article] An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets2020

    • Author(s)
      Hiroyuki Okamura, Kazuya Morihara Tadashi Dohi
    • Journal Title

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

      Volume: - Pages: 104-111

    • DOI

      10.1145/3388831.3388844

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K11694
  • [Journal Article] Parameter Estimation of Mt/M/1/K Queueing Systems With Utilization Data2019

    • Author(s)
      C. Li, H. Okamura, T. Dohi
    • Journal Title

      IEEE Access

      Volume: 7 Pages: 42664-42671

    • DOI

      10.1109/access.2019.2906796

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Journal Article] Reliability importance of components in a real-time computing system with standby redundancy schemes2018

    • Author(s)
      Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • Journal Title

      International Journal of Mathematical, Engineering and Management Sciences

      Volume: 3 Pages: 64-89

    • DOI

      10.33889/ijmems.2018.3.2-007

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Journal Article] Parametric Uncertainty Propagation through Dependability Models2018

    • Author(s)
      Hiroyuki Okamura, Tadashi Dohi, Kishor Trivedi
    • Journal Title

      Proceedings of Latin-American Symposium on Dependable Computing

      Volume: - Pages: 9-9

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Journal Article] A generalized bivariate modeling framework of fault detection and correction processes2017

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

      Proceedings of the 26th International Symposium on Software Reliability Engineering

      Volume: - Pages: 35-45

    • DOI

      10.1109/issre.2017.22

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Journal Article] A statistical framework on software aging modeling with continuous-time hidden Markov model2017

    • Author(s)
      H. Okamura, J. Zheng, T. Dohi
    • Journal Title

      Proceedings of the 36th International Symposium on Reliable Distributed Systems

      Volume: - Pages: 114-123

    • DOI

      10.1109/srds.2017.24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Journal Article] A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian arrivals2017

    • Author(s)
      J. Zheng, H. Okamura, L. Li, T. Dohi
    • Journal Title

      IEEE Transactions on Reliability

      Volume: 66 Pages: 1157-1177

    • DOI

      10.1109/tr.2017.2741526

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Journal Article] PH FITTING ALGORITHM AND ITS APPLICATION TO RELIABILITY ENGINEERING2016

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

      JORSJ

      Volume: 59 Issue: 1 Pages: 72-109

    • DOI

      10.15807/jorsj.59.72

    • NAID

      130005124577

    • ISSN
      0453-4514, 2188-8299
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] Performance comparison of algorithms for computing parametric sensitivity functions in continuous-time Markov chains2016

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Volume: - Pages: 415-422

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] マルコフ再生確率ペトリネットによる信頼性評価事例2016

    • Author(s)
      岡村寛之, 土肥正
    • Journal Title

      日本信頼性学会誌

      Volume: 38 Pages: 340-349

    • NAID

      130007686557

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] Performance evaluation of VM-Based intrusion tolerant systems with Poisson arrivals2016

    • Author(s)
      J. Zheng, H. Okamura and T. Dohi
    • Journal Title

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

      Volume: -

    • DOI

      10.1109/candar.2016.0041

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] Phase-type software reliability model: Parameter estimation algorithms with grouped data2016

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

      Annals of Operations Research

      Volume: 244 Pages: 177-208

    • DOI

      10.1007/s10479-015-1870-0

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] A phase expansion approach for transient analysis of software rejuvenation model2016

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Volume: -

    • DOI

      10.1109/issrew.2016.53

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] Network survivability modeling and analysis for power-aware MANETs by Markov regenerative processes2015

    • Author(s)
      H. Okamura, Z. Yi and T. Dohi
    • Journal Title

      Telecommunication Systems Journal

      Volume: 60 Pages: 471-484

    • DOI

      10.1007/s11235-015-9989-5

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] Quantifying Resiliency of Virtualized System with Software Rejuvenation2015

    • Author(s)
      H. Okamura, J. Guan, C. Luo and T. Dohi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E98-A Issue: 10 Pages: 2051-2059

    • DOI

      10.1587/transfun.e98.a.2051

      10.1587/transfun.E98.A.2051

    • NAID

      130005100660

    • ISSN
      0916-8508, 1745-1337
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] Transient analysis of software rejuvenation policies in virtualized system: phase-type expansion approach2014

    • Author(s)
      H. Okamura, K. Yamamoto and T. Dohi
    • Journal Title

      Quality Technology and Quantitative Management Journal

      Volume: 11 Pages: 335-352

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Journal Article] A novel framework of software reliability evaluation with software reliability growth models and software metrics2014

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 97-104

    • DOI

      10.1109/hase.2014.22

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Variational Bayes for phase-type distribution2014

    • Author(s)
      H. Okamura, R. Watanabe and T. Dohi
    • Journal Title

      Communications in Statistics -Simulation and Computation

      Volume: vol. 43, no. 8 Pages: 2031-2044

    • DOI

      10.1080/03610918.2013.848895

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23510171, KAKENHI-PROJECT-26330028
  • [Journal Article] SRATS : Software reliability assessment tool on spreadsheet (Experience report)2013

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 100-117

    • DOI

      10.1109/issre.2013.6698909

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Quantitative security evaluation for software system from vulnerability database2013

    • Author(s)
      H. Okamura, M. Tokuzane and T. Dohi
    • Journal Title

      Journal of Software Engineering and Applications

      Volume: vol.6(4A) Pages: 15-23

    • DOI

      10.4236/jsea.2013.64a003

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [Journal Article] Improvement of expectation maximization algorithm for phase-type distributions with grouped and truncated data2013

    • Author(s)
      H. Okamura, T. Dohi and K. S. Trivedi
    • Journal Title

      Applied Stochastic Models in Business and Industry

      Volume: vol.29 Pages: 141-156

    • DOI

      10.1002/asmb.1919

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [Journal Article] Application of deterministic annealing EM algorithm to MAP/PH parameter estimation2013

    • Author(s)
      H. Okamura, H. Kishikawa and T. Dohi
    • Journal Title

      Telecommunication Systems Journal

      Volume: vol.54(1) Pages: 79-90

    • DOI

      10.1007/s11235-013-9717-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Software reliability growth models with normal failure time distributions2013

    • Author(s)
      H. Okamura, T. Dohi and S. Osaki
    • Journal Title

      Reliability Engineering and System Safety

      Volume: vol.116 Pages: 135-141

    • DOI

      10.1016/j.ress.2012.02.002

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [Journal Article] Enhancing performance of random testing through Markov chain Monte Carlo methods2013

    • Author(s)
      B. Zhou, H. Okamura and T. Dohi
    • Journal Title

      IEEE Transactions on Computers

      Volume: vol.62(1) Pages: 186-192

    • DOI

      10.1109/tc.2011.208

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
  • [Journal Article] Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing2012

    • Author(s)
      B. Zhou, H. Okamura and T. Dohi
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: vol.E95-D(9) Issue: 9 Pages: 2219-2226

    • DOI

      10.1587/transinf.e95.d.2219

      10.1587/transinf.E95.D.2219

    • NAID

      10031142837

    • ISSN
      0916-8532, 1745-1361
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Security evaluation for software system with vulnerability life cycle and user profiles2012

    • Author(s)
      H. Okamura, M. Tokuzane and T. Dohi
    • Journal Title

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

      Pages: 39-44

    • DOI

      10.1109/wdts-rasd.2012.17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model2012

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Volume: なし Pages: 382-389

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Component importance analysis of virtualized system2012

    • Author(s)
      J. Zheng, H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 462-469

    • DOI

      10.1109/uic-atc.2012.128

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model2012

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 382-389

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案2011

    • Author(s)
      岡村寛之, 土肥正
    • Journal Title

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

      Pages: 10-10

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] On the effect of the order of test cases in the modified exponential software reliability growth model2011

    • Author(s)
      K.Okumura, H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 294-296

    • DOI

      10.1109/icnc.2011.55

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167, KAKENHI-PROJECT-23500047
  • [Journal Article] 変分ベイズによるパラメータ相関を考慮した事後分布の近似計算2011

    • Author(s)
      山口祐介, 岡村寛之, 土肥正
    • Journal Title

      日本応用数理学会論文誌

      Volume: 21 Pages: 73-88

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Unification of software reliability models using Markovian arrival processes2011

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 20-27

    • DOI

      10.1109/prdc.2011.12

    • NAID

      110007483139

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案2011

    • Author(s)
      岡村寛之, 土肥正
    • Journal Title

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

      Pages: 10-10

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] A refined EM algorithm for PH distributions2011

    • Author(s)
      H.Okamura, T.Dohi, K.S.Trivedi
    • Journal Title

      Performance Evaluation

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Bayesian inference for credible intervals of optimal software release time2011

    • Author(s)
      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
    • Journal Title

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

      Volume: vol.257 Pages: 377-384

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案2011

    • Author(s)
      岡村寛之, 土肥正
    • Journal Title

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

      Pages: 10-10

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Software reliability growth model with normal distribution and its parameter estimation2011

    • Author(s)
      H. Okamura, T. Dohi and S. Osaki
    • Journal Title

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

      Pages: 424-429

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Bayesian inference for credible intervals of optimal software release time2011

    • Author(s)
      H.Okamura, T.Dohi, S.Osaki
    • Journal Title

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

      Pages: 377-384

    • DOI

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • Author(s)
      H.Okamura, T.Hirata, T.Dohi
    • Journal Title

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

      Pages: 390-296

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model2011

    • Author(s)
      H.Okamura, Y.Etani, T.Dohi
    • Journal Title

      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)

      Pages: 62-68

    • DOI

      10.1109/iwsm-mensura.2011.26

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167, KAKENHI-PROJECT-23500047
  • [Journal Article] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model2011

    • Author(s)
      H. Okamura, Y. Etani and T. Dohi
    • Journal Title

      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)

      Pages: 62-68

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] 変分ベイ ズによるパラメータ相関を考慮した事後分布の近似計算2011

    • Author(s)
      山口祐介, 岡村寛之, 土肥正
    • Journal Title

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

      Pages: 73-88

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Software safety assessment based on a subordinated Markov chain2011

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

      International Journal of Systems Assurance Engineering and Management

      Volume: vol.1 Pages: 307-315

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Journal Article] On the effect of the order of test cases in the modified exponential software reliability growth model2011

    • Author(s)
      K. Okumura, H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 294-296

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Software reliability growth model with normal distribution and its parameter estimation2011

    • Author(s)
      H.Okamura, T.Dohi, S.Osaki
    • Journal Title

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

      Pages: 424-429

    • DOI

      10.1109/icqr2mse.2011.5976642

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167, KAKENHI-PROJECT-23500047
  • [Journal Article] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • Author(s)
      H. Okamura, T. Hirata and T. Dohi
    • Journal Title

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

      Pages: 390-396

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計2010

    • Author(s)
      岡村寛之, 周搏, 土肥正
    • Journal Title

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

      Pages: 54-59

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Transient analysis of software availability models with rejuvenation2010

    • Author(s)
      T. Dohi, H. Okamura and S. Osaki
    • Journal Title

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

      Pages: 169-176

    • NAID

      10016434586

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] A note on quasi-Monte Carlo simulation for non-homogeneous Markov chains2010

    • Author(s)
      K. Yamana, H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 780-787

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Application of deterministic annealing EM algorithm to Markovian arrival parameter estimation2010

    • Author(s)
      H.Okamura, H.Kishikawa, T. Dohi
    • Journal Title

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

      Pages: 352-357

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] A note on quasi-Monte Carlo simulation for non-homogeneous Markov chains2010

    • Author(s)
      K.Yamada, H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 780-787

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Transient analysis of software availability models with rejuvenation2010

    • Author(s)
      T.Dohi, H.Okamura, S.Osaki
    • Journal Title

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

      Pages: 169-176

    • NAID

      10016434586

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] A multi-factor software reliability model based on logistic regression2010

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 31-40

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Markov chain Monte Carlo random testing2010

    • Author(s)
      B.Zhou, H.Okamura, T.Dohi
    • Journal Title

      Advanced Computer Science and Information Technology, LNCS6059

      Pages: 447-456

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Estimating computer virus propagation based on Markovian arrival processes2010

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 199-206

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計2010

    • Author(s)
      岡村寛之, 周搏, 土肥正
    • Journal Title

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

      Pages: 54-59

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Application of deterministic annealing EM algorithm to Markovian arrival parameter estimation2010

    • Author(s)
      H.Okamura, H.Kishikawa, T.Dohi
    • Journal Title

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

      Pages: 352-357

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Variational Bayesian approach for estimating parameters of a mixture of Erlang distributions2010

    • Author(s)
      Y.Yamaaguthi, H.Okamura, T.Dohi
    • Journal Title

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Variational Bayesian approach for estimating parameters of a mixture of Erlang distributions2010

    • Author(s)
      Y.Yamaguchi, H.Okamura, T. Dohi
    • Journal Title

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

      Pages: 2333-2350

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] A multi-factor software reliability model based on logistic regression2010

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

      Proceedings of 21st IEEE International Symposium on Software Reliability Engineering

      Pages: 31-40

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] Markov chain Monte Carlo random testing2010

    • Author(s)
      B. Zhou, H. Okamura and T. Dohi
    • Journal Title

      Advanced Computer Science and Information Technology

      Volume: 6059 Pages: 447-456

    • Data Source
      KAKENHI-PROJECT-21510167
  • [Journal Article] An improvement of EM algorithm for PH distributions with group data2010

    • Author(s)
      H.Okamura, T.Dohi, K.S.Trivedi
    • Journal Title

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

      Pages: 532-539

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] An improvement of EM algorithm for PH distyributions with group data2010

    • Author(s)
      H.Okamura, T.Dohi, K.S.Trivide
    • Journal Title

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

      Pages: 532-539

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Estimating computer virus propagation based on Markovian arrival processes2010

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 199-206

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Software reliability modeling based on capture-recapture sampling2009

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

    • NAID

      10026858250

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • Author(s)
      Koji Ohishi, Hiroyuki Okamura and Tadashi Dohi
    • Journal Title

      Journal of Systems and Software 82

      Pages: 535-543

    • NAID

      120001700413

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Software reliability modeling based on capture-recapture sampling, IEICE Transactions on Fundamentals of Electronics2009

    • Author(s)
      Hiroyuki Okamura and Tadashi Dohi
    • Journal Title

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Markovian arrival process parameter estimation with group data2009

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • Author(s)
      K. Ohishi, H. Okamura, T. Dohi
    • Journal Title

      Journal of Systems and Software 82

      Pages: 535-543

    • NAID

      120001700413

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Faster maximum likelihood estimation algorithms for Markovian arrival processes2009

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 73-82

    • Data Source
      KAKENHI-PROJECT-21700060
  • [Journal Article] Markovian arrival process parameter estimation with group data2009

    • Author(s)
      Hiroyuki Okamura, Tadashi Dohi and Kishor S. Trivedi
    • Journal Title

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Gompertz software reliability model : estimation algorithm and empirical validation2009

    • Author(s)
      K. Ohishi, H. Okamura and T. Dohi
    • Journal Title

      Journal of Systems and Software 82

      Pages: 535-543

    • NAID

      120001700413

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Software reliability modeling based on capture-recapture sampling2009

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

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

    • NAID

      10026858250

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Markovian arrival process parameter estimation with group data2009

    • Author(s)
      H. Okamura, T. Dohi K. S. Trivedi
    • Journal Title

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Software reliability modeling based on capture-recapture sampling, IEICE Trans on Fundamentals of Electronics2009

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Markovian arrival process parameter estimation with group data2009

    • Author(s)
      H. Okamura, T. Dohi and K. S. Trivedi
    • Journal Title

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

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Software reliability modeling based on mixed Poisson distributions2008

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 9-32

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Estimating a mixture of Erlang distributions based on variational Bayes, Proc2008

    • Author(s)
      Y. Yamaguchi, H. Okamura and T. Dohi
    • Journal Title

      2008 Asian Int. Workshop on Advanced Reliability Modeling

      Pages: 619-626

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Estimating a mixture of Erlang distributions based on variational Bayes2008

    • Author(s)
      Y. Yamaguchi, H. Okamura T. Dohi
    • Journal Title

      Proc. 2008 Asian Int. Workshop on Advanced Reliability Modeling

      Pages: 619-626

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Hyper-Erlang software reliability model2008

    • Author(s)
      Hiroyuki Okamura and Tadashi Dohi
    • Journal Title

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

      Pages: 232-239

    • NAID

      110006990453

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Hyper-Erlang software reliability model2008

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

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

      Pages: 232-239

    • NAID

      110006990453

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Hyper-Erlang software reliability model2008

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 232-239

    • NAID

      110006990453

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Software reliability modeling based on mixed Poisson distributions2008

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

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

      Pages: 9-32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Hyper-Erlang software reliability model2008

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 232-239

    • NAID

      110006990453

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Software reliability modeling based on mixed Poisson distributions2008

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 9-32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Software reliability modeling based on mixed Poisson distributions, International Journal of Reliability2008

    • Author(s)
      Hiroyuki Okamura and Tadashi Dohi
    • Journal Title

      Quality and Safety Engineering 15(1)

      Pages: 9-32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Statistical inference of computer virus propagation using non-homogeneous Poisson processes2007

    • Author(s)
      H. Okamura
    • Journal Title

      Proceedings of The 18th International Syxaposium on Software Reliability Engineering

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • Author(s)
      Hiroyuki Okamura, Michael Grottke, Tadashi Dohi and Kishor S. Trivedi
    • Journal Title

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

      Pages: 698-707

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Variational Bayesian approach for interval estimation of NHPP-basedsoftware reliability models2007

    • Author(s)
      H. Okamura
    • Journal Title

      Proceedings of 2007 International Conference onDependable Systems and Networks

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • Author(s)
      H. Okamura, M. Grottke, T. Dohi and K. S. Trivedi
    • Journal Title

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

      Pages: 698-707

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Estimating Markov-modulated compound Poisson process2007

    • Author(s)
      Hiroyuki Okamura, Yuya Kamahara and Tadashi Dohi
    • Journal Title

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

      Pages: 1-8

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Statistical inference of computer virus propagation usingnon-homogeneous Poisson processes2007

    • Author(s)
      Hiroyuki Okamura, Kazuya Tateishi and Tadashi Dohi
    • Journal Title

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

      Pages: 149-158

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Quantifying software maintainability based on a fault-detection/correction model2007

    • Author(s)
      K. Shibata, K. Rinsaka, T. Dohi and H. Okamura
    • Journal Title

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

      Pages: 35-42

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Quantifying software maintainability based on a fault-detection/correction model2007

    • Author(s)
      Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi and Hiroyuki Okamura
    • Journal Title

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

      Pages: 35-42

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Bivariate software fault-detection models2007

    • Author(s)
      Tomotaka Ishii, Tadashi Dohi and Hiroyuki Okamura
    • Journal Title

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

      Pages: 535-538

    • NAID

      110006380784

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Journal Article] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • Author(s)
      H. Okamura
    • Journal Title

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

      Pages: 698-707

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Parameter estimation for trend-curve-based software reliability models2006

    • Author(s)
      H.Okamura, H.Furumura, T.Dohi
    • Journal Title

      Transactions of Information Processing Society of Japan 47 (3)

      Pages: 897-905

    • NAID

      110004708847

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

    • Author(s)
      岡村寛之, 古村仁志, 土肥正
    • Journal Title

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

      Pages: 897-905

    • NAID

      110004708847

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] Statistical models for propagation of computer virus based on non-homogeneous Poisson processes2006

    • Author(s)
      H.Okamura, K.Tateishi, T.Dohi
    • Journal Title

      Transactions of IEICE J89-D (8)

      Pages: 1729-1738

    • NAID

      110007380512

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] マルコフ決定過程によるWebページランキングアルゴリズムの提案2006

    • Author(s)
      岡村寛之, 宮内聡, 土肥正
    • Journal Title

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

      Pages: 210-219

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] On the effect of fault removal in software testing -Bayesian reliability estimation approach-2006

    • Author(s)
      H. Okamura, H. Furumura and T. Dohi
    • Journal Title

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

      Pages: 247-255

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Variational Bayesian approach for exponential software reliability model2006

    • Author(s)
      H. Okamura, T. Sakoh and T. Dohi
    • Journal Title

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

      Pages: 82-87

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Variational Bayesian approach for exponential software reliability model2006

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 82-87

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

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 897-905

    • NAID

      110004708847

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] Distribution-free checkpoint placement algorithms based on min-max principle2006

    • Author(s)
      T.Ozaki, T.Dohi, H.Okamura, N.Kaio
    • Journal Title

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

      Pages: 130-140

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] Distribution-free checkpoint placement algorithms based on min-max principle2006

    • Author(s)
      T.Ozaki, T.Dohi, H.Okamura, N.Kaio
    • Journal Title

      IEEE Transactions on Dependable and Secure Computing 3・2

      Pages: 130-140

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] Software reliability modeling based on mixed Poisson distributions2006

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 427-434

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Software reliability modeling based on mixed Poisson distributions2006

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 427-434

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Building phase-type software reliability models2006

    • Author(s)
      H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 289-298

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Estimating Markov modulated software reliability models via EM algorithm2006

    • Author(s)
      T. Ando, H. Okamura and T. Dohi
    • Journal Title

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

      Pages: 111-118

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

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 897-905

    • NAID

      110004708847

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] A unified parameter estimation algorithm for discrete software reliability models2006

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

      Opsearch 42(4)

      Pages: 355-377

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] On the effect of fault removal in software testing -Bayesian reliability estimation approach-2006

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 247-255

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] A web page ranking algorithm based on a Markov decision process2006

    • Author(s)
      H.Okamura, S.Miyahara, T.Dohi
    • Journal Title

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

      Pages: 210-219

    • NAID

      110004669941

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

    • Author(s)
      岡村寛之, 立石和也, 土肥正
    • Journal Title

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

      Pages: 1729-1738

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] A DP-based optimal checkpointing algorithm for real-time applications2006

    • Author(s)
      H.Okamura
    • Journal Title

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

      Pages: 323-340

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] Building phase-type software reliability models2006

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 289-298

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] A unified parameter estimation algorithm for discrete software reliability models2006

    • Author(s)
      H. Okamura, A. Murayama and T. Dohi
    • Journal Title

      Opsearch 42(4)

      Pages: 355-377

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

    • Author(s)
      岡村寛之, 古村仁志, 土肥正
    • Journal Title

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

      Pages: 897-905

    • NAID

      110004708847

    • Data Source
      KAKENHI-PROJECT-18510138
  • [Journal Article] Rejuvenating communication network system under burst arrival circumstances2005

    • Author(s)
      H.Okamura, S.Miyahara, T.Dohi
    • Journal Title

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

      Pages: 4498-4506

    • NAID

      110004019604

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] EM algorithms for fitting Markovian arrival processes to time-interval sampling data2005

    • Author(s)
      Hiroyuki Okamura・・・[et al.]
    • Journal Title

      proceedings of International Workshop on Recent Advances in Stochastic Operations Research

      Pages: 203-210

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] A subordinated Markov chain model for assessing software safety2005

    • Author(s)
      Hiroyuki Okamura・・・[et al.]
    • Journal Title

      Proceedings of International Conference on Reliability and Safety Engineering

      Pages: 363-373

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Development of a software reliability assessment tool on spreadsheet software (SRATS)2005

    • Author(s)
      H.Okamura, M.Ando, T.Dohi
    • Journal Title

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

      Pages: 205-214

    • NAID

      110003203313

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 強化学習に基づいた分散チェックポイントの最適生成2005

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 10-20

    • Data Source
      KAKENHI-PROJECT-15700060
  • [Journal Article] EM algorithms for fitting Markovian arrival processes to time-interval sampling data2005

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 203-210

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] A subordinated Markov chain model for assessing software safety2005

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

      Proceedings of International Conference on Reliability and Safety Engineering

      Pages: 363-373

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Development of fixed-assets evaluation system based on spreadsheet application,2005

    • Author(s)
      O.Yasuda, H.Okamura, T.Dohi, S.Osaki
    • Journal Title

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

      Pages: 8-9

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Rejuvenating communication network system under burst arrival circumstances2005

    • Author(s)
      H.Okamura, S.Miyahara, T.Dohi
    • Journal Title

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

      Pages: 4498-4506

    • NAID

      110004019604

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] EM algorithms for extreme-balue software reliability models2005

    • Author(s)
      Hiroyuki Okamura・・・[et al.]
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Markovian modeling and analysis of Internet worm propagation2005

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

      Proceedings of 16th International Symposium on Software Reliability Engineering

      Pages: 149-158

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] A subordinated Markov chain model for assessing software safety,2005

    • Author(s)
      H.Okamura, M.Ito, T.Dohi
    • Journal Title

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

      Pages: 363-373

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Rejuvenating communication network system with burst arrival2005

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

      IEICE Transactions on Communications (B) E88-B

      Pages: 4498-4506

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] Bayesian approach to estimate software reliability in fault-removal environment2005

    • Author(s)
      Hiroyuki Okamura・・・[et al.]
    • Journal Title

      Supplementary Proceedings of 15th International Symposium on Software Reliability Engineering

      Pages: 53-54

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Rejuvenating communication network system with burst arrival2005

    • Author(s)
      H.Okamura
    • Journal Title

      IEICE Transactions on Communications(B) E88-B

      Pages: 4498-4506

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2005

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 205-214

    • NAID

      110003203313

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] 一般化ガンマソフトウェア信頼性モデル2005

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 805-814

    • NAID

      110003171356

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2005

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 205-214

    • NAID

      110003203313

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] EM algorithms for fitting Markovian arrival processes to time-interval sampling data,2005

    • Author(s)
      H.Okamura, H.Goto, T.Dohi
    • Journal Title

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

      Pages: 203-210

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2005

    • Author(s)
      岡村寛之他
    • Journal Title

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

      Pages: 205-214

    • NAID

      110003203313

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Bayesian statistical approach to design the optimal auto-sleep function in a computer system2004

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 確率モデルによるコンピュータウィルスの特徴分析2004

    • Author(s)
      小林尚志, 岡村寛之, 土肥正
    • Journal Title

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

      Pages: 1432-1441

    • NAID

      110002712192

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] 一般化ガンマソフトウェア信頼性モデル2004

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 805-814

    • NAID

      110003171356

    • Data Source
      KAKENHI-PROJECT-15700060
  • [Journal Article] An improved intrusion-detection model by profiling correlated access data2004

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

      Proceedings of 2004 Asian International Workshop on Advanced Reliability Modeling

      Pages: 371-378

    • Data Source
      KAKENHI-PROJECT-15700060
  • [Journal Article] フォールト修正を行う環境下におけるSingle-Use信頼度のベイズ推定2004

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 272-273

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Generalized-gamma software reliability model,2004

    • Author(s)
      H.Okamura, M.Ando, T.Dohi
    • Journal Title

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

      Pages: 805-814

    • NAID

      110003171356

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] A note on probability of achievement of test coverage in random testing environment,2004

    • Author(s)
      H.Furumura, H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 35-35

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 一般化ガンマソフトウェア信頼性モデル2004

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 805-814

    • NAID

      110003171356

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 統計モデルによるソフトウェアテスト手法の比較2004

    • Author(s)
      岡村寛之他
    • Journal Title

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

      Pages: 17-21

    • NAID

      110003301721

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発2004

    • Author(s)
      岡村寛之, 安藤光昭, 土肥正
    • Journal Title

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

      Pages: 205-214

    • NAID

      110003203313

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] 確率モデルによるコンピュータウィルスの特徴分析2004

    • Author(s)
      小林尚志, 岡村寛之, 土肥正
    • Journal Title

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

      Pages: 1432-1441

    • NAID

      110002712192

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] Development of fixed-assets system based on the pricing lands,2004

    • Author(s)
      O.Ysuda, H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 121-121

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Bayesian approach to estimate software reliability in fault-removal environment (Fast Abstract)2004

    • Author(s)
      H.Okamura, H.Furumura, T.Dohi
    • Journal Title

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

      Pages: 53-54

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Bayesian estimation for single-use reliability in fault-removal environment,2004

    • Author(s)
      H.Okamura, H.Furumura, T.Dohi
    • Journal Title

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

      Pages: 272-273

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Bayesian statistical approach to design the optimal auto-sleep function in a computer system2004

    • Author(s)
      Hiroyuki Okamura・・・[et al.]
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] フォールト修正を行う環境下におけるSingle-Use信頼度のベイズ推定2004

    • Author(s)
      岡村寛之他
    • Journal Title

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

      Pages: 272-273

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] 一般化ガンマソフトウェア信頼性モデル2004

    • Author(s)
      岡村寛之, 安藤光昭, 土肥正
    • Journal Title

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

      Pages: 805-814

    • NAID

      110003171356

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] 一般化ガンマソフトウェア信頼性モデル2004

    • Author(s)
      岡村寛之他
    • Journal Title

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

      Pages: 805-814

    • NAID

      110003171356

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] An improved instrusion-detection model by profiling correlated access data2004

    • Author(s)
      H.Okamura, T.Fukuda, T.Dohi
    • Journal Title

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

      Pages: 371-378

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] Characteristic analysis of computer viruses by stochastic models2004

    • Author(s)
      N.Kobayashi, H.Okamura, T.Dohi
    • Journal Title

      Transactions of Information Processing Society of Japan 45 (5)

      Pages: 1432-1441

    • NAID

      110002712192

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] EM algorithms for extreme-value software reliability models2004

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 21-25

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Dependence of computer virus prevalence on network structure - Stochastic modeling approach2004

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

      Proceedings of 2004 Asian International Workshop on Advanced Reliability Modeling

      Pages: 379-386

    • Data Source
      KAKENHI-PROJECT-15700060
  • [Journal Article] A dynamic checkpointing scheme based on reinforcement learning2004

    • Author(s)
      H.Okamura, Y.Nishimura, T.Dohi
    • Journal Title

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

      Pages: 151-158

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] Min-max checkpoint placement under incomplete information2004

    • Author(s)
      T.Ozaki, T.Dohi, H.Okamura, N.Kaio
    • Journal Title

      Proceedings The International Conference on Dependable Systems and Networks

      Pages: 721-730

    • Data Source
      KAKENHI-PROJECT-16310116
  • [Journal Article] EM algorithms for extreme-value software reliability models,2004

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Bayesian statistical approach to design the optimal auto-sleep function in a computer system,2004

    • Author(s)
      H.Okamura, T.Sugihara, T.Dohi, S.Osaki
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Comparison of software testing methods based on statistical models,2004

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

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

      Pages: 17-21

    • NAID

      110003301721

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Bayesian approach to estimate software reliability in fault-removal environment2004

    • Author(s)
      Hiroyuki Okamura
    • Journal Title

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

      Pages: 53-54

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Journal Article] Dependence of computer virus prevalence on network structure --stochastic modeling approach--2004

    • Author(s)
      H.Okamura, N.Kobayashi, T.Dohi
    • Journal Title

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

      Pages: 379-388

    • Data Source
      KAKENHI-PROJECT-15651076
  • [Journal Article] 統計モデルによるソフトウェアテスト手法の比較2004

    • Author(s)
      岡村寛之
    • Journal Title

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

      Pages: 17-21

    • NAID

      110003301721

    • Data Source
      KAKENHI-PROJECT-16510128
  • [Presentation] 階層型フォールトツリーの感度解析に関する考察2020

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

    • Author(s)
      岡村寛之,森原和也,土肥正
    • Organizer
      2018 年度待ち行列シンポジウム「確率モデルとその応用」
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Presentation] A Moment-Based Approximation for Uncertainty Propagation in Fault Trees2019

    • Author(s)
      J. Zhang, J. Zheng, H. Okamura, T. Dohi
    • Organizer
      24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Presentation] On Algorithm for High-Order Derivatives of Markov Reward Models2019

    • Author(s)
      H. Okamura, J. Zheng, T. Dohi
    • Organizer
      11th International Conference on Mathematical Methods in Reliability
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00033
  • [Presentation] mapfit: An R-based tool for PH/MAP parameter estimation2015

    • Author(s)
      H. Okamura and T. Dohi
    • Organizer
      The 14th International Conference on Quantitative Evaluation of Systems (QEST2015)
    • Place of Presentation
      Madrid, Spain
    • Year and Date
      2015-09-01
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330028
  • [Presentation] A novel framework of software reliability evaluation with software reliability growth models and software metrics2014

    • Author(s)
      H. Okamura and T. Dohi
    • Organizer
      The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
    • Place of Presentation
      Miami Beach, FL, USA
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Presentation] SRATS: Software reliability assessment tool on spreadsheet (Experience report)2013

    • Author(s)
      H. Okamura and T. Dohi
    • Organizer
      The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
    • Place of Presentation
      Pasadena, CA, USA
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Presentation] SRATS : Software reliability assessment tool on spreadsheet (Experience report)2013

    • Author(s)
      H. Okamura and T. Dohi
    • Organizer
      The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
    • Place of Presentation
      Pasadena, CA, USA
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Presentation] ソフトウェアメトリクスを考慮したソフトウェア信頼性評価の一般化2011

    • Author(s)
      恵谷勇介, 岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      東京都
    • Year and Date
      2011-12-16
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

    • Author(s)
      H. Okamura, T. Hirata and T. Dohi
    • Organizer
      7th International Conference on Mathematical Methods in Reliability, --Theory, Methods and Applications - (MMR-2010)
    • Place of Presentation
      Beijing, China
    • Data Source
      KAKENHI-PROJECT-23500047
  • [Presentation] Semi-parametric approach for software reliability evaluation using mixed gamma distributions2011

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

    • Author(s)
      奥村圭, 岡村寛之, 土肥正
    • Organizer
      平成23年度電気・情報関連学会中国支部第62回連合大会
    • Place of Presentation
      広島市
    • Year and Date
      2011-10-22
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] ソフトウェアメトリクスを考慮した統一的なソフトウェア信頼性モデルの提案2011

    • Author(s)
      恵谷勇介, 岡村寛之, 土肥正
    • Organizer
      平成23年度電気・情報関連学会中国支部第62回連合大会
    • Place of Presentation
      広島市
    • Year and Date
      2011-10-22
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] ソフトウェアメトリクスを考慮したソフトウェア信頼性評価2010

    • Author(s)
      岡村寛之, 岡野俊之, 土肥正
    • Organizer
      日本OR学会春季研究発表会
    • Place of Presentation
      首都大学東京
    • Year and Date
      2010-03-04
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] テスト環境要因を考慮したソフトウェア信頼性モデルの効率的推定法2010

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      日本OR学会春季研究発表会
    • Place of Presentation
      首都大学東京
    • Year and Date
      2010-03-04
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] 動的なテスト環境要因を考慮したソフトウェア信頼性評価に関する一考察2010

    • Author(s)
      恵谷勇介, 岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      放送大学鳥取学習センター
    • Year and Date
      2010-05-28
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] Random testing based on Markov chain Monte Carlo method2010

    • Author(s)
      B. Zhou, H. Okamura and T. Dohi
    • Organizer
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      広島市
    • Year and Date
      2010-10-17
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] Enhancing performance of random testing through Markov chain Monte Carlo methods2010

    • Author(s)
      B. Zhou, H. Okamura and T. Dohi
    • Organizer
      The 12th International Symposium on High Assurance Systems Engineering
    • Place of Presentation
      San Jose, CA, USA
    • Year and Date
      2010-11-04
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] 単体テストデータを用いたソフトウェア信頼性評価に関する一考察2010

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      東京都
    • Year and Date
      2010-12-17
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] 一般化EM法による連続型隠れマルコフモデ ルの学習アルゴリズム2010

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      2010年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      総社市
    • Year and Date
      2010-10-23
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] 動的なテスト環境要因を考慮したソフトウェア信頼性評価に関する-考察2010

    • Author(s)
      恵谷勇介, 岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      鳥取市
    • Year and Date
      2010-05-28
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] 単体テストデータを用いたソフトウェア信頼性評価に関する一考察2010

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      機械振興会館
    • Year and Date
      2010-12-17
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] Enhancing performance of random testing through Markov chain Monte Carlo methods2010

    • Author(s)
      B.Zhou, H.Okamura, T.Dohi
    • Organizer
      The 12^<th> International Symposium on High Assurance Systems Engineering
    • Place of Presentation
      CISCO campus, San Jose, CA, USA
    • Year and Date
      2010-11-04
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] 一般化EM法による連続型隠れマルコフモデルの学習アルゴリズム2010

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      平成22年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      総杜市
    • Year and Date
      2010-10-23
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] 一般化 EMを用いたMAPパラメータ推定の並列化に関する一考察2010

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      2010年度待ち行列シンポジウム「確率モデルとその応用」
    • Place of Presentation
      京都市
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] 一般化EMを用いたMAPパラメータ推定の並列化に関する一考察2010

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      2010年度待ち行列シンポジウム「確率モデルとその応用」
    • Place of Presentation
      京都市
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] Random testing based on Markov chain Monte Carlo method2009

    • Author(s)
      B.Zhou, H.Okamura, T.Dohi
    • Organizer
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      広島市立大学
    • Year and Date
      2009-10-17
    • Data Source
      KAKENHI-PROJECT-21510167
  • [Presentation] HMMの学習アルゴリズムの並列化に関する一考察2009

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      京都大学数理解析研究所研究集会不確実・不確定性下での意思決定過程
    • Place of Presentation
      京都市
    • Year and Date
      2009-11-12
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] 一般化EM法を用いた並列処理によるHMM学習の高速化2009

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      2009年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      広島市
    • Year and Date
      2009-10-17
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] 一般化EM法を用いた並列処理によるHMM学習の高速化2009

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      広島市
    • Year and Date
      2009-10-17
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] HMMの学習アルゴリズムの並列化に関する一考察2009

    • Author(s)
      河合理恵, 岡村寛之, 土肥正
    • Organizer
      京都大学数理解析研究所研究集会 不確実・不確定性下での意思決定過程
    • Place of Presentation
      京都市
    • Year and Date
      2009-11-12
    • Data Source
      KAKENHI-PROJECT-21700060
  • [Presentation] Security evaluation of an intrusion tolerant system with MRSPNs2009

    • Author(s)
      Ryutaro Fujimoto, Hiroyuki Okamura and Tadashi Dohi
    • Organizer
      4th International Conference on Availability, Reliability and Security
    • Place of Presentation
      福岡市
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Presentation] Estimating a mixture of Erlang distributions based on variational Bayes2008

    • Author(s)
      Yusuke Yamaguchi, Hiroyuki Okamura and Tadashi Dohi
    • Organizer
      2008 Asian International Workshop on Advanced Reliability Modeling
    • Place of Presentation
      台湾
    • Data Source
      KAKENHI-PROJECT-19700065
  • [Presentation] Confidence intervals of software release time based on Bayesian estimation2007

    • Author(s)
      H. Okamura
    • Organizer
      5th International Conference on Mathematical Methods in Reliability, Methodology and Practice(MMR 2007)
    • Place of Presentation
      Glasgow, UK
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Presentation] Confidence intervals of software release time based on Bayesian estimation2007

    • Author(s)
      H. Okamura and T. Dohi
    • Organizer
      5th International Conference on Mathematical Methods in Reliability, Methodology and Practice (MMR 2007)
    • Place of Presentation
      Glasgow, UK
    • Data Source
      KAKENHI-PROJECT-18510138
  • [Presentation] Quantifying resiliency of virtualized system with software rejuvenation

    • Author(s)
      H. Okamura, J. Guan, C. Luo and T. Dohi
    • Organizer
      The 2014 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE 2014)
    • Place of Presentation
      Dalian, China
    • Year and Date
      2014-07-23 – 2014-07-25
    • Data Source
      KAKENHI-PROJECT-26330028
  • 1.  TADASHI Dohi (00243600)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 93 results
  • 2.  SHUNJI Osaki (10034399)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 8 results
  • 3.  MASANORI Fishimi (70008639)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 4.  KAIO Naoto (80148741)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 5.  KIMURA Toshikazu (50143649)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  MIKIO Aoyama (40278073)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  TAKAHASHI Yoshitaka (20329064)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  SUZUKI Atsuo (70162922)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  TOSHIHARU Hasegawa (40025911)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  RINSAKA Kouichirou (20351794)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi