岡村 寛之Hiroyuki Okamura

Last Updated :2024/10/01

所属・職名
大学院先進理工系科学研究科　教授
ホームページ
http://www.rel.hiroshima-u.ac.jp/okamu/
メールアドレス
okamuhiroshima-u.ac.jp
自己紹介
信頼性工学，ソフトウェア信頼性，確率モデル

基本情報

主な職歴

  • 2007年04月01日, 2010年03月31日, 広島大学, 大学院工学研究科, 准教授
  • 2003年04月01日, 2018年03月31日, 広島大学, 大学院工学研究院, 准教授
  • 2003年04月01日, 2007年03月31日, 広島大学, 大学院工学研究科, 助教授
  • 2001年04月01日, 2003年03月31日, 広島大学, 大学院工学研究科, 助手
  • 1998年10月01日, 2001年03月31日, 広島大学, 工学部, 助手
  • 1997年04月01日, 1998年09月30日, 株式会社 CSK, 正社員
  • 2018年04月01日, 2020年03月31日, 広島大学, 大学院工学研究科, 教授

学歴

  • 広島大学, 工学部, 第二類, 日本, 1991年04月, 1995年03月
  • 広島大学, 工学研究科, システム工学, 日本, 1995年04月, 1997年03月

学位

  • 博士（工学）　(広島大学)
  • 修士（工学）　(広島大学)

研究分野

  • 情報学 / 情報学基礎 / 数理情報学
  • 複合領域 / 社会・安全システム科学 / 社会システム工学・安全システム

研究キーワード

  • 確率モデル
  • 性能解析
  • 信頼性工学
  • ソフトウェア信頼性工学
  • オペレーションズリサーチ

所属学会

教育活動

授業担当

  1. 2024年, 修士課程・博士課程前期, ２ターム, 情報科学概論I
  2. 2024年, 修士課程・博士課程前期, ４ターム, 情報科学概論II
  3. 2024年, 学部専門, 集中, データエンジニアリング基礎
  4. 2024年, 学部専門, ４ターム, 数値計算
  5. 2024年, 学部専門, ２ターム, ソフトウェア工学
  6. 2024年, 学部専門, ４ターム, 生物・医療統計
  7. 2024年, 学部専門, １ターム, インフォマティクスセミナーI
  8. 2024年, 学部専門, ２ターム, インフォマティクスセミナーII
  9. 2024年, 学部専門, 集中, 長期フィールドワークI
  10. 2024年, 学部専門, セメスター（後期）, 卒業論文
  11. 2024年, 修士課程・博士課程前期, １ターム, 情報科学特別演習A
  12. 2024年, 修士課程・博士課程前期, ２ターム, 情報科学特別演習A
  13. 2024年, 修士課程・博士課程前期, ３ターム, 情報科学特別演習B
  14. 2024年, 修士課程・博士課程前期, ４ターム, 情報科学特別演習B
  15. 2024年, 修士課程・博士課程前期, 年度, 情報科学特別研究
  16. 2024年, 修士課程・博士課程前期, 集中, AIOps演習B（システム開発系）
  17. 2024年, 修士課程・博士課程前期, 集中, 企業インターンシップ
  18. 2024年, 博士課程・博士課程後期, 年度, 情報科学特別研究

研究活動

学術論文（★は代表的な論文）

  1. Performance Evaluation of a Cloud Datacenter Using CPU Utilization Data, MATHEMATICS, 11巻, 3号, 202302
    DOIを用いた論文検索結果へのリンク
  2. Software reliability analysis via geometric de-eutrophication models with group data, INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 14巻, 1号, pp. 156-164, 202302
    DOIを用いた論文検索結果へのリンク
  3. Computation algorithms for workload-dependent optimal checkpoint placement, INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 13巻, SUPPL 2号, pp. 788-796, 202206
    DOIを用いた論文検索結果へのリンク
  4. A Comprehensive Analysis of Proportional Intensity-Based Software Reliability Models with Covariates, ELECTRONICS, 11巻, 15号, 202208
    DOIを用いた論文検索結果へのリンク
  5. Burr-type NHPP-based software reliability models and their applications with two type of fault count data, JOURNAL OF SYSTEMS AND SOFTWARE, 191巻, 202209
    DOIを用いた論文検索結果へのリンク
  6. Software Reliability Prediction through Encoder-Decoder Recurrent Neural Networks, INTERNATIONAL JOURNAL OF MATHEMATICAL ENGINEERING AND MANAGEMENT SCIENCES, 7巻, 3号, pp. 325-340, 202206
    DOIを用いた論文検索結果へのリンク
  7. Automated Software Test Data Generation With Generative Adversarial Networks, IEEE ACCESS, 10巻, pp. 20690-20700, 202202
    DOIを用いた論文検索結果へのリンク
  8. Optimal control of preventive maintenance schedule and safety stocks in an unreliable manufacturing environment, INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, 74巻, 1-3号, pp. 147-155, 20011201
    DOIを用いた論文検索結果へのリンク
  9. A structural approximation method to generate the optimal auto-sleep schedule for computer systems, COMPUTERS & MATHEMATICS WITH APPLICATIONS, 46巻, 7号, pp. 1103-1110, 200310
    DOIを用いた論文検索結果へのリンク
  10. Phase type approximation for optimal auto-sleep scheduling, MATHEMATICAL AND COMPUTER MODELLING, 38巻, 11-13号, pp. 1391-1398, 200312
    DOIを用いた論文検索結果へのリンク
  11. Rejuvenating communication network system under burst arrival circumstances, IEICE TRANSACTIONS ON COMMUNICATIONS, E88B巻, 12号, pp. 4498-4506, 200512
    DOIを用いた論文検索結果へのリンク
  12. Distribution-free checkpoint placement algorithms based on min-max principle, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 3巻, 2号, pp. 130-140, 2006
    DOIを用いた論文検索結果へのリンク
  13. Discrete-time cost analysis for a telecommunication billing application with rejuvenation, COMPUTERS & MATHEMATICS WITH APPLICATIONS, 51巻, 2号, pp. 335-344, 200601
    DOIを用いた論文検索結果へのリンク
  14. Gompertz software reliability model: Estimation algorithm and empirical validation, JOURNAL OF SYSTEMS AND SOFTWARE, 82巻, 3号, pp. 535-543, 200903
    DOIを用いた論文検索結果へのリンク
  15. Software Reliability Modeling Based on Capture-Recapture Sampling, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A巻, 7号, pp. 1615-1622, 200907
    DOIを用いた論文検索結果へのリンク
  16. Markovian Arrival Process Parameter Estimation With Group Data, IEEE-ACM TRANSACTIONS ON NETWORKING, 17巻, 4号, pp. 1326-1339, 200908
    DOIを用いた論文検索結果へのリンク
  17. A Variational Bayesian Approach for Estimating Parameters of a Mixture of Erlang Distribution, COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 39巻, 13号, pp. 2333-2350, 2010
    DOIを用いた論文検索結果へのリンク
  18. Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system, JOURNAL OF SYSTEMS AND SOFTWARE, 83巻, 9号, pp. 1591-1604, 201009
    DOIを用いた論文検索結果へのリンク
  19. A refined EM algorithm for PH distributions, PERFORMANCE EVALUATION, 68巻, 10号, pp. 938-954, 201110
    DOIを用いた論文検索結果へのリンク
  20. Software Reliability Prediction Based on Least Squares Estimation, QUALITY TECHNOLOGY AND QUANTITATIVE MANAGEMENT, 9巻, 3号, pp. 243-264, 201209
    DOIを用いた論文検索結果へのリンク
  21. Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D巻, 9号, pp. 2219-2226, 201209
    DOIを用いた論文検索結果へのリンク
  22. Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods, IEEE TRANSACTIONS ON COMPUTERS, 62巻, 1号, pp. 186-192, 201301
    DOIを用いた論文検索結果へのリンク
  23. Dynamic software rejuvenation policies in a transaction-based system under Markovian arrival processes, PERFORMANCE EVALUATION, 70巻, 3号, pp. 197-211, 201303
    DOIを用いた論文検索結果へのリンク
  24. Improvement of expectationmaximization algorithm for phase-type distributions with grouped and truncated data, APPLIED STOCHASTIC MODELS IN BUSINESS AND INDUSTRY, 29巻, 2号, pp. 141-156, 2013
    DOIを用いた論文検索結果へのリンク
  25. Performance evaluation of workload-based software rejuvenation scheme, IEICE Transactions on Information and Systems, E84D巻, 10号, pp. 1368-1375, 20011001
  26. コンピュータハードディスクに対する自動スリープモードの電力有効性最適設計, 36巻, 1号, pp. 108-115, 20000401
  27. 運用段階におけるソフトウェア製品の信頼性評価法 -- 加速寿命試験モデルの提案 --, J83--A巻, 3号, pp. 294-301, 20000401
  28. コンピュータシステムの自動スリープ機能における省電力効果 II -- 待ち行列モデル --, 40巻, 3号, pp. 1027-1040, 19990401
  29. 電力有効性に基づいたコンピュータシステムの自動スリープスケジューリング, J82-A巻, 12号, pp. 1808-1818, 19990401
  30. コンピュータシステムの自動スリープ機能における省電力効果 I -- 再生過程によるモデル化, 39巻, 6号, pp. 1858-1869, 19980401
  31. Discrete availability models to rejuvenate a telecommunication billing application, IEICETRANSACTIONSONCOMMUNICATIONS, E86B巻, 10号, pp. 2931-2939, 20031001
  32. Fine-Grained Shock Models to Rejuvenate Software Systems, IEICE Transactions on Information and Systems, E86D巻, 10号, pp. 2165-2171, 20031001
  33. Performance evaluation of power-aware communication network devices, EMBEDDEDANDUBIQUITOUSCOMPUTING-EUC2005, 3824巻, pp. 245-254, 20050101
  34. Cost-effective analysis of software systems with periodic rejuvenation, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E85A巻, 12号, pp. 2923-2932, 20021201
  35. Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E86A巻, 8号, pp. 2081-2090, 20030801
  36. Optimal policies for a controlled queueing system with removable server under a random vacation circumstance, COMPUTERS & MATHEMATICS WITH APPLICATIONS, 39巻, 1-2号, pp. 215-227, 200001
    DOIを用いた論文検索結果へのリンク
  37. Performance evaluation of workload-based software rejuvenation scheme, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E84D巻, 10号, pp. 1368-1375, 200110
    DOIを用いた論文検索結果へのリンク
  38. Cost-effective analysis of software systems with periodic rejuvenation, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E85A巻, 12号, pp. 2923-2932, 200212
    DOIを用いた論文検索結果へのリンク
  39. Dependability analysis of a transaction-based multi-server system with rejuvenation, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E86A巻, 8号, pp. 2081-2090, 200308
    DOIを用いた論文検索結果へのリンク
  40. Discrete availability models to rejuvenate a telecommunication billing application, IEICE TRANSACTIONS ON COMMUNICATIONS, E86B巻, 10号, pp. 2931-2939, 200310
    DOIを用いた論文検索結果へのリンク
  41. Fine-grained shock models to rejuvenate software systems, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E86D巻, 10号, pp. 2165-2171, 200310
    DOIを用いた論文検索結果へのリンク
  42. Performance evaluation of power-aware communication network devices, EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 3824巻, pp. 245-254, 2005
    DOIを用いた論文検索結果へのリンク
  43. NHPP-Based Software Reliability Models Using Equilibrium Distribution, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E95A巻, 5号, pp. 894-902, 201205
    DOIを用いた論文検索結果へのリンク
  44. Software reliability growth models with normal failure time distributions, RELIABILITY ENGINEERING & SYSTEM SAFETY, 116巻, pp. 135-141, 201308
    DOIを用いた論文検索結果へのリンク
  45. Optimal Trigger Time of Software Rejuvenation under Probabilistic Opportunities, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D巻, 9号, pp. 1933-1940, 201309
    DOIを用いた論文検索結果へのリンク
  46. Application of deterministic annealing EM algorithm to MAP/PH parameter estimation, TELECOMMUNICATION SYSTEMS, 54巻, 1号, pp. 79-90, 201309
    DOIを用いた論文検索結果へのリンク
  47. Variational Bayes for Phase-Type Distribution, COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, 43巻, 8号, pp. 2031-2044, 20140914
    DOIを用いた論文検索結果へのリンク
  48. Transient Analysis of Software Rejuvenation Policies in Virtualized System: Phase-Type Expansion Approach, QUALITY TECHNOLOGY AND QUANTITATIVE MANAGEMENT, 11巻, 3号, pp. 335-351, 201409
    DOIを用いた論文検索結果へのリンク
  49. Performance evaluation of snapshot isolation in distributed database system under failure-prone environment, JOURNAL OF SUPERCOMPUTING, 70巻, 3号, pp. 1156-1179, 201412
    DOIを用いた論文検索結果へのリンク
  50. A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure, Proceedings of 10th European Workshop on Performance Engineering (EPEW 2013), 8168号, pp. 119-133, 2013
  51. Aperiodic checkpoint placement algorithms -- survey and comparison --, Journal of Software Engineering and Applications, 6巻, 4A号, pp. 41-53, 2013
  52. Estimating response time distribution of server application in software aging phenomenon,, Proceedings of IEEE 5th International Workshop on Software Aging and Rejuvenation (WoSAR-2013), pp. 4, 2013
  53. Estimating software reliability with static project data in incremental development processes, Proceedings of 2013 Joint Conference of the 23rd International Workshop on Software Measurement (IWSM-2013) and the 8th International Conference on Software Process and Product Measurement (MENSURA-2013), pp. 219-224, 2013
  54. Generalized Cox proportional hazards regression-based software reliability modeling with metrics data, Proceedings of The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013),, pp. 328-337, 2013
  55. Modeling and analysis of multi-version concurrent control,, Proceedings of The 37th Annual International Computer Software and Applications Conference (COMPSAC 2013), pp. 53-58, 2013
  56. NHPP-based software reliability model with mixed gamma distribution,, Advanced Science and Technology Letters, 19巻, pp. 240-243, 2013
  57. Quantifying software test process and product reliability simultaneously,, Proceedings of The 24th International Symposium on Software Reliability Engineering (ISSRE 2013), pp. 108-117, 2013
  58. Quantitative security evaluation for software system from vulnerability database, Journal of Software Engineering and Applications, 6巻, 4A号, pp. 15-23, 2013
  59. Semi-parametric approach for software reliability evaluation using mixed gamma distributions, International Journal of Software Engineering and Its Applications, 7巻, 4号, pp. 401-414, 2013
  60. Sensitivity analysis of reliability function for virtualized system,, Proceedings of the 8th International Conference on Mathematical Methods in Reliability, --Theory, Methods and Applications -- (MMR-2013), pp. 229-232, 2013
  61. SRATS: Software reliability assessment tool on spreadsheet, Proceedings of The 24th International Symposium on Software Reliability Engineering (ISSRE 2013),, pp. 100-117, 2013
  62. A novel framework of software reliability evaluation with software reliability growth models and software metrics, Proceedings of The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), pp. 97-104, 20140109
    DOIを用いた論文検索結果へのリンク
  63. Quantifying resiliency of virtualized system with software rejuvenation, Proceedings of The 2014 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE 2014), pp. 6 pages, 20140723
  64. Optimized patch applying schedule within multiplex software architecture, Proceedings of The 6th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2014), pp. 311-318, 20140821
  65. Fine-grained software reliability estimation using software testing inputs, Proceedings of The 6th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2014), pp. 365-372, 20140821
  66. Maximum penalized likelihood estimation for phase-type software reliability growth model, Proceedings of The 6th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2014), pp. 373-380, 20140821
  67. Optimal reliability design for real-time systems with dynamic voltage and frequency scaling, Proceedings of The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), pp. 213-222, 20141118
  68. Coarse-grained parallel uniformization for continuous-time Markov chains, Proceedings of The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), pp. 116-124, 20141118
  69. Availability importance measures for virtualized system with live migration, Applied Mathematics, 6巻, pp. 359-372, 20150201
  70. Network survivability modeling and analysis for power-aware MANETs by Markov regenerative processes, Telecommunication Systems Journal, 60巻, pp. 471-484, 20150317
  71. Quantifying resiliency of virtualized system with software rejuvenation, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A), E98-A巻, 10号, pp. 2051-2059, 20151001
  72. Survivability analysis of VM-based intrusion tolerant systems, IEICE Transactions on Information and Systems (D), E98-D巻, 12号, pp. 2082-2090, 20151201
  73. A Markov decision process approach to dynamic power management in a cluster system, IEEE Access, 3巻, 1号, pp. 1-9, 20151217
  74. PH fitting algorithm and its application to reliability engineering, Journal of the Operations Research Society of Japan, 59巻, 1号, pp. 72-109, 20160202
  75. Optimal planning for open source software updates, Proceedings of the Institution of Mechanical Engineerings, Part O: Journal of Risk and Reliability, 230巻, 1号, pp. 44-53, 20160111
  76. Analysis of optimal restart policies for software systems, Journal of Japan Industrial Management Association, 66巻, 4E号, pp. 416-425, 20160305
  77. 次世代ソフトウェア信頼性評価技術の開発に向けて, SEC Journal, 10巻, 6号, pp. 28-35, 20150301
  78. A note on variational Bayes approach for software reliability growth model with normal distribution, Proceedings of the 9th International Conference on Mathematical Methods in Reliability, Theory, Methods and Applications (MMR-2015), pp. 41-48, 20150601
  79. A note on optimal allocation of testing-resources with architecture-based software reliability model, Proceedings of 2015 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE 2015), 1巻, pp. 8-13, 20150721
  80. Fine-grained software reliability estimation using software testing inputs, Proceedings of 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015), pp. 85-92, 20150803
  81. Optimal power-aware design in a cluster system: Markov decision process approach, Proceedings of the 12th IEEE International Conference on Advanced and Trusted Computing (ATC 2015), pp. 527-532, 20150810
  82. mapfit: An R-based tool for PH/MAP parameter estimation, The 14th International Conference on Quantitative Evaluation of Systems (QEST2015), Lecture Notes in Computer Science, 9295巻, pp. 105-112, 20150901
  83. Towards comprehensive software reliability evaluation in open source software, Proceedings of the 24th International Symposium on Software Reliability Engineering (ISSRE 2015), pp. 121-129, 20151102
  84. Survivability quantification of wireless ad hoc network taking account of border effects, Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), pp. 149-158, 20151118
  85. Component importance measures for real-time computing systems in the presence of common-cause failures, Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), pp. 301-310, 20151118
  86. ユーザ視点に基づいたソフトウェアアップデート計画に関する一考察, ソフトウェアシンポジウム '15 論文集, pp. 109-114, 20150615
  87. Phase-type software reliability model: parameter estimation algorithms with grouped data, ANNALS OF OPERATIONS RESEARCH, 244巻, 1号, pp. 177-208, 201609
    DOIを用いた論文検索結果へのリンク
  88. Dynamic software availability model with rejuvenation, Journal of the Operations Research Society of Japan, 59巻, 4号, pp. 270-290, 20161031
  89. Optimistic and pessimistic maintenance policies, Proceedings of the 2nd International Conference on Mathematical Techniques in Engineering Applications (ICMTEA 2016), 20160429
  90. Mean Time to Security Failure of VM-Based Intrusion Tolerant Systems, Proceedings of the 15th International Workshop on Assurance in Distributed Systems and Networks (ADSN2016), 20160627
  91. Failure-correlated opportunity-based age replacement policies, Proceedings of the 7th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2016), pp. 73-80, 20160824
  92. Performance comparison of algorithms for computing parametric sensitivity functions in continuous-time Markov chains, Proceedings of the 7th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2016), pp. 415-422, 20160824
  93. Markov-based component importance analysis of real-time computing systems in a warm standby configuration, Proceedings of the 7th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2016), pp. 613-620, 20160824
  94. Performance evaluation of VM-Based intrusion tolerant systems with Poisson arrivals, Proceedings of the 4th International Symposium on Computing and Networking (CANDAR 2016), 20161122
  95. A phase expansion approach for transient analysis of software rejuvenation model, Proceedings of the 8th International Workshop on Software Aging and Rejuvenation (WoSAR 2016), 20161023
  96. マルコフ再生確率ペトリネットによる信頼性評価事例, 日本信頼性学会誌（学会誌特集：情報通信システムにおける信頼性モデル研究の動向）, 38巻, 6号, pp. 340-349, 2016
  97. Dynamic Power Management With Optimal Time-Out Policies, IEEE SYSTEMS JOURNAL, 11巻, 2号, pp. 962-972, 201706
    DOIを用いた論文検索結果へのリンク
  98. A Comprehensive Evaluation of Software Rejuvenation Policies for Transaction Systems With Markovian Arrivals, IEEE TRANSACTIONS ON RELIABILITY, 66巻, 4号, pp. 1157-1177, 201712
    DOIを用いた論文検索結果へのリンク
  99. Moment-based approach for some age-based replacement problems, JOURNAL OF INDUSTRIAL AND PRODUCTION ENGINEERING, 34巻, 8号, pp. 558-567, 2017
    DOIを用いた論文検索結果へのリンク
  100. Component Importance Analysis of Mobile Cloud Computing Systemin the Presence of Common-Cause Failures, IEEE ACCESS, 6巻, pp. 18630-18642, 2018
    DOIを用いた論文検索結果へのリンク
  101. AI技術を用いたソフトウェアシステムの信頼性／安全性分析支援, 日本信頼性学会誌, 4巻, 2号, pp. 72-80, 201803
  102. 仮想型耐侵入システムの確率モデルによる性能評価, オペレーションズ・リサーチ, 63巻, 8号, pp. 452-459, 201808
  103. 定性的信頼性／安全性解析支援ツールの開発, SEC Journal, 13巻, 2号, pp. 28-35, 201709
  104. Reliability importance of components in a real-time computing system with standby redundancy schemes, International Journal of Mathematical, Engineering and Management Sciences, 3巻, 2号, pp. 64-89, 201806
  105. A pull-type security patch management of an intrusion tolerant system under a periodic vulnerability checking strategy, Proceedings of 42nd IEEE International Conference on Computers, Software and Applications, 201807
  106. A comprehensive evaluation of software reliability modeling based on Marshall-Olkin type fault-detection time distributions, Proceedings of the 24th Asia-Pacific Software Engineering Conference (APSEC 2017), pp. 486-494, 201712
  107. Software reliability modeling and analysis via kernel-based approach, Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017), pp. 154-157, 201711
  108. A generalized bivariate modeling framework of fault detection and correction processes, Proceedings of the 26th International Symposium on Software Reliability Engineering (ISSRE 2017), pp. 35-45, 201710
  109. A statistical framework on software aging modeling with continuous-time hidden Markov model, Proceedings of the 36th International Symposium on Reliable Distributed Systems (SRDS 2017), pp. 114-123, 201709
  110. A note on computation of quasi-stationary distribution in continuous-time Markov chains, Proceedings of the 10th International Conference on Mathematical Methods in Reliability, Theory, Methods and Applications (MMR-2017), 201707
  111. Optimizing Testing-Resource Allocation Using Architecture-Based Software Reliability Model, JOURNAL OF OPTIMIZATION, 2018
    DOIを用いた論文検索結果へのリンク
  112. Optimal periodic software rejuvenation policies based on interval reliability criteria, RELIABILITY ENGINEERING & SYSTEM SAFETY, 180巻, pp. 463-475, 201812
    DOIを用いた論文検索結果へのリンク
  113. Parameter Estimation of M-t/M/1/K Queueing Systems With Utilization Data, IEEE ACCESS, 7巻, pp. 42664-42671, 2019
    DOIを用いた論文検索結果へのリンク
  114. Optimal security patch application timing for an intrusion tolerant system, Proceedings of 8th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling, vol. II, pp. 855-859, 2018
  115. A note on availability importance measures of components in smart grid, Proceedings of 8th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling, vol. I, pp. 75-79, 2018
  116. Parametric Uncertainty Propagation through Dependability Models, Proceedings of Latin-American Symposium on Dependable Computing, pp. 10-18, 2018
  117. Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes, Proceedings of 23rd IEEE Pacific Rim International Symposium on Dependable Computing, pp. 145-154, 2018
  118. Failure-Correlated Opportunity-based Age Replacement Models, INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING, 27巻, 2号, 202004
    DOIを用いた論文検索結果へのリンク
  119. A transient interval reliability analysis for software rejuvenation models with phase expansion, SOFTWARE QUALITY JOURNAL, 28巻, 1号, pp. 173-194, 202003
    DOIを用いた論文検索結果へのリンク
  120. A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing, COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 49巻, 15号, pp. 3712-3729, 20200802
    DOIを用いた論文検索結果へのリンク
  121. Gompertz software reliability model: Estimation algorithm and empirical validation, JOURNAL OF SYSTEMS AND SOFTWARE, 82巻, 3号, pp. 535-543, 2009
  122. Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system, JOURNAL OF SYSTEMS AND SOFTWARE, 83巻, 9号, pp. 1591-1604, 2010
  123. Software Reliability Prediction Based on Least Squares Estimation, QUALITY TECHNOLOGY AND QUANTITATIVE MANAGEMENT, 9巻, 3号, pp. 243-264, 2012
  124. Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D巻, 9号, pp. 2219-2226, 2012
  125. Dynamic software rejuvenation policies in a transaction-based system under Markovian arrival processes, PERFORMANCE EVALUATION, 70巻, 3号, pp. 197-211, 2013
  126. Optimal Trigger Time of Software Rejuvenation under Probabilistic Opportunities, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D巻, 9号, pp. 1933-1940, 2013
  127. 一般化ガンマソフトウェア信頼性モデル, 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 103巻, 318号, pp. 9-14, 20030912
  128. A note on survivability model for security of an intrusion-tolerant system with non-identical virtual machines, Proceedings of the 11th International Conference on Mathematical Methods in Reliability, Theory, Methods and Applications (MMR2019), pp. 8 pages, 2019
  129. On Kolmogorov-Smirnov test for software reliability models with grouped data, Proceedings of IEEE 19th International Conference on Software Quality, Reliability and Security (QRS-2019), pp. 77-82, 2019
  130. A point process approach of bug fixing analysis in open source software projects, Proceedings of IEEE 19th International Conference on Software Quality, Reliability and Security (QRS-2019), pp. 83-88, 2019
  131. Moment-based approximation for uncertainty propagation in fault trees, Supplementary Proceedings of IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC 2019), pp. 120-121, 2019
  132. 車載組込みシステム技術者の育成～enPiT-Pro Embでの教育実践～, デジタルプラクティス, 11巻, 1号, pp. 99-118, 2020
  133. 空間統計モデルを用いたコード修正ホットスポットの検出に関する考察, ソフトウェアエンジニアリングシンポジウム2019論文集, pp. 224-229, 2019
  134. Data-driven software reliability evaluation under incomplete knowledge on fault count distribution, QUALITY ENGINEERING, 32巻, 3号, pp. 421-433, 20200702
    DOIを用いた論文検索結果へのリンク
  135. Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E103D巻, 10号, pp. 2133-2142, 202010
    DOIを用いた論文検索結果へのリンク
  136. A Comprehensive Performance Evaluation on Iterative Algorithms for Sensitivity Analysis of Continuous-Time Markov Chains, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E103A巻, 11号, pp. 1252-1259, 202011
    DOIを用いた論文検索結果へのリンク
  137. Availability importance measures of components in smart electric power grid systems, RELIABILITY ENGINEERING & SYSTEM SAFETY, 205巻, 202101
    DOIを用いた論文検索結果へのリンク
  138. A Note on the Time to Failure of a Two-Unit Parallel Redundant System with Deterioration on a Lattice, INTERNATIONAL JOURNAL OF MATHEMATICAL ENGINEERING AND MANAGEMENT SCIENCES, 6巻, 1号, pp. 3-14, 202102
    DOIを用いた論文検索結果へのリンク
  139. Statistical software fault management based on bootstrap confidence intervals, INTERNATIONAL JOURNAL OF QUALITY & RELIABILITY MANAGEMENT, 37巻, 6-7号, pp. 905-923, 20200601
    DOIを用いた論文検索結果へのリンク
  140. Availability Analysis of Software Systems with Rejuvenation and Checkpointing, MATHEMATICS, 9巻, 8号, 202104
    DOIを用いた論文検索結果へのリンク
  141. Application of EM Algorithm to NHPP-Based Software Reliability Assessment with Generalized Failure Count Data, MATHEMATICS, 9巻, 9号, 202105
    DOIを用いた論文検索結果へのリンク
  142. An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets, VALUETOOLS '20: Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, pp. 104-111, 20200518
    DOIを用いた論文検索結果へのリンク
  143. An efficient algorithm for computation of information matrix in phase-type fitting, INTERNATIONAL JOURNAL FOR COMPUTATIONAL METHODS IN ENGINEERING SCIENCE & MECHANICS, 22巻, 3号, pp. 193-199, 202104
    DOIを用いた論文検索結果へのリンク
  144. Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals, IEEE TRANSACTIONS ON RELIABILITY, 70巻, 2号, pp. 547-562, 202106
    DOIを用いた論文検索結果へのリンク
  145. Age replacement with Markovian opportunity process, RELIABILITY ENGINEERING & SYSTEM SAFETY, 216巻, 202112
    DOIを用いた論文検索結果へのリンク
  146. Parameter Estimation of Markovian Arrivals with Utilization Data, IEICE TRANSACTIONS ON COMMUNICATIONS, E105B巻, 1号, pp. 1-10, 202201
    DOIを用いた論文検索結果へのリンク

著書等出版物

  1. 2022年07月, System Dependability and Analytics, Effect of Epistemic Uncertainty in Markovian Reliability Models, Springer, 2022年, 7, 単行本（学術書）, 分担執筆, English, Okamura, H., Zheng, J., Dohi, T., Trivedi, K.S., 371–392
  2. 2016年04月14日, Principles of Performance and Reliability Modeling and Evaluation, Fitting phase-type distributions and Markovian arrival processes: Algorithms and tools, Springer, 2016年, 4, 単行本（学術書）, 共著, 英語, H. Okamura and T. Dohi, 49-75, Chapter 3
  3. 2016年12月, Advances in Reliability and System Engineering, Connectivity-based survivability analysis with border effects for wireless ad hoc network, Springer, 2016年, 12, 単行本（学術書）, 共著, 英語, Z. Yi, T. Dohi and H. Okamura, 53-86
  4. 2017年05月, 2017年, 5, 単行本（学術書）, 共著, 21-54
  5. 2017年08月, 2017年, 8, 単行本（学術書）, 共著, 79-99

受賞

  1. 2004年02月, IEEE Reliability Society Japan Chapter 学術奨励賞, IEEE Reliability Society Japan Chapter
  2. 2018年06月18日, IEEE Reliability Society Japan Joint Chapter 論文賞, IEEE Reliability Society Japan Joint Chapter
  3. 2018年06月08日, ソフトウェア技術者協会ソフトウェア・シンポジウム2018 最優秀論文賞, ソフトウェア・シンポジウム2018プログラム委員長