Okamura Hiroyuki 岡村寛之

… Alternative Names

HIROYUKI Okamura 岡村寛之

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

Less

Researcher Number	10311812
Other IDs
External Links
Affiliation (Current)	2025: 広島大学, 先進理工系科学研究科(工), 教授
Affiliation (based on the past Project Information) *help	2020 – 2023: 広島大学, 先進理工系科学研究科(工), 教授 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 / Basic Section 60020:Mathematical informatics-related / Mathematical informatics / Software / 社会システム工学 Except Principal Investigator Social systems engineering/Safety system / 社会システム工学
Keywords	Principal Investigator シミュレーション / 確率モデル / SAT/SMTソルバ / パーフェクトサンプリング / モデル検査 / ペトリネット / 性能評価 / システム工学 / ソフトウェア信頼性 / モデル検証 … More / マルコフ連鎖 / 確率モデリング / MtMDD / ペトリネットモデル / マルコフ過程 / マルコフモデル / 位相型近似 / システムモデリング / 組み込みOS / 組み込み OS / ソフトウェアメトリクス / オープンソース / 組み込みソフトウェア / マルチコアCPU / 並列計算 / 変分近似 / 一般化EMアルゴリズム / EMアルゴリズム / トラッフィクモデル / マルコフ型到着過程 / 隠れマルコフモデル / 感染数:データ / マルコフ到着過程 / 非同次ポアソン過程 / フィッティング / 感染数データ / 確率過程 / セキュリティ / 繁殖予測モデル / インターネットワーム / 安全性・信頼性 / システム開発 / ソフトウェアシステム / パワーマネジメント / チェックポインティング / 強化学習 / 動的計画法 / ベイジアンネットワーク / マルコフ解析 / チェックポイント / 不正アクセス検知 / コンピュータウィルス / ディペンダビリティ / 位相型分布 / 拡散近似 / 待ち行列 / コンピュータネットワーク / 自動スリープ / 省電力 … More Except Principal Investigator ソフトウェア信頼性 / 確率モデル / 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ツール / ソフトウェア信頼性モデル / 統計解析 / 安全性 / インターネット / セキュリティモデル / プレデター / コンピュータネットワーク / ディペンダビリティ / マルコフモデル / ウィルス拡散現象 / マルコフ解析 / キルシグナル / 拡散・感染現象 / コンピュータセキュリティ / コンピュータウィルス Less

Application of perfect sampling with SAT/SMT solversPrincipal Investigator
- Principal Investigator
  
  岡村寛之
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60020:Mathematical informatics-related
- Research Institution
  Hiroshima University
A Development of Perfect Sampling with SAT/SMT SolversPrincipal Investigator
- Principal Investigator
  
  Okamura Hiroyuki
- 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

[Journal Article] Optimal test case generation for boundary value analysis2024
- Author(s)
  Guo Xiujing、Okamura Hiroyuki、Dohi Tadashi
- Journal Title
  
  Software Quality Journal
  
  Volume: Early access Issue: 2 Pages: 543-566
- DOI
  10.1007/s11219-023-09659-9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K10998
[Journal Article] Hierarchical Dependability Modeling with Multi-State Systems2023
- Author(s)
  Zheng Junjun、Okamura Hiroyuki、Dohi Tadashi
- Journal Title
  
  Proc. IEEE Pacific Rim International Symposium on Dependable Computing
  
  Volume: - Pages: 268-277
- DOI
  10.1109/prdc59308.2023.00043
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K10998
[Journal Article] Parameter Estimation of Markovian Arrivals with Utilization Data2022
- Author(s)
  Chen Li, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
- Journal Title
  
  IEICE Trans. Commun.
  
  Volume: E105.B Issue: 1 Pages: 1-10
- DOI
  10.1587/transcom.2021EBP3007
- NAID
  130008138811
- ISSN
  0916-8516, 1745-1345
- Year and Date
  2022-01-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11694
[Journal Article] Hierarchical Bayesian Parameter Estimation of Queueing Systems using Utilization Data2022
- Author(s)
  Chen Li, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
- Journal Title
  
  Int. J. Perform. Eng.
  
  Volume: 18 Issue: 5 Pages: 307-316
- DOI
  10.23940/ijpe.22.05.p1.307316
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11694
[Journal Article] Availability importance measures of components in smart electric power grid systems2021
- Author(s)
  Zheng Junjun、Okamura Hiroyuki、Pang Taoming、Dohi Tadashi
- Journal Title
  
  Reliability Engineering & System Safety
  
  Volume: 205 Pages: 107164-107164
- DOI
  10.1016/j.ress.2020.107164
- Data Source
  KAKENHI-PROJECT-20K11694
[Journal Article] Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals2021
- Author(s)
  Zheng Junjun、Okamura Hiroyuki、Dohi Tadashi、Trivedi Kishor S.
- Journal Title
  
  IEEE Transactions on Reliability
  
  Volume: 70 Issue: 2 Pages: 547-562
- DOI
  10.1109/tr.2020.3026570
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11694, KAKENHI-PROJECT-21K17742
[Journal Article] Age replacement with Markovian opportunity process2021
- Author(s)
  Zheng Junjun、Okamura Hiroyuki、Dohi Tadashi
- Journal Title
  
  Reliability Engineering & System Safety
  
  Volume: 216 Pages: 107949-107949
- DOI
  10.1016/j.ress.2021.107949
- Data Source
  KAKENHI-PROJECT-20K11694
[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 Issue: 15 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 Issue: 2 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 Issue: 4 Pages: 1157-1177
- DOI
  10.1109/tr.2017.2741526
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00033
[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: - Pages: 181-187
- DOI
  10.1109/candar.2016.0041
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330028
[Journal Article] PH FITTING ALGORITHM AND ITS APPLICATION TO RELIABILITY ENGINEERING2016
- Author(s)
  H. Okamura and T. Dohi
- Journal Title
  
  Journal of the Operations Research Society of Japan
  
  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] 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 Issue: 1 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: - Pages: 98-103
- 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 Issue: 4 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 Trans. Fundamentals
  
  Volume: E98.A Issue: 10 Pages: 2051-2059
- DOI
  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 Issue: 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)
  
  Volume: なし 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) Issue: 04 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 Issue: 2 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) Issue: 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) Issue: 1 Pages: 186-192
- DOI
  10.1109/tc.2011.208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500047, KAKENHI-PROJECT-23510171
[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] 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 Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 9 Pages: 2219-2226
- DOI
  10.1587/transinf.E95.D.2219
- NAID
  10031142837
- ISSN
  0916-8532, 1745-1361
- Language
  English
- 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
- ISBN
  9783642272066, 9783642272073
- 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] 確率ペトリネットに対するパーフェクトサンプリングの高速化2024
- Author(s)
  岡村寛之
- Organizer
  2023年度待ち行列シンポジウム
- Data Source
  KAKENHI-PROJECT-23K10998
[Presentation] パーフェクトサンプリングアルゴリズムの確率的モデルチェッキングへの応用に関する一考察2022
- Author(s)
  安藤清佳，岡村寛之，土肥正
- Organizer
  日本オペレーションズリサーチ学会中国・四国支部SSOR
- Data Source
  KAKENHI-PROJECT-20K11694
[Presentation] On perfect sampling algorithm for generalized stochastic Petri nets2022
- Author(s)
  Hiroyuki Okamura, Tadashi Dohi
- Organizer
  2021年度待ち行列シンポジウム
- Data Source
  KAKENHI-PROJECT-20K11694
[Presentation] パーフェクトサンプリングアルゴリズムの高速化に関する考察2022
- Author(s)
  安藤清佳，岡村寛之，土肥正
- Organizer
  日本オペレーションズリサーチ学会「信頼性とOR」研究部会
- Data Source
  KAKENHI-PROJECT-20K11694
[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: 89 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

Okamura Hiroyuki 岡村 寛之

HIROYUKI Okamura 岡村 寛之

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

Research Projects

Research Products

Co-Researchers

Application of perfect sampling with SAT/SMT solversPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Development of Perfect Sampling with SAT/SMT SolversPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Expansion of Applicability of Phase Approximation for Non-Markovian ModelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Scalable Algorithms of MRSPN/MRGP Analysis for the AutomationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Reliability Assessment for Embedded OSPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of statistical traffic models and their application to information securityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Imprementation of a comprehensive security model against Internet wormsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

脆弱性データを利用した高精度なインターネットワーム繁殖予測モデルの構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発Principal Investigator

Okamura Hiroyuki 岡村寛之

HIROYUKI Okamura 岡村寛之

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