Hiroyuki OKAMURA

A Comprehensive Performance Evaluation on Iterative Algorithms for Sensitivity Analysis of Continuous-Time Markov Chains
Yepeng CHENG Hiroyuki OKAMURA Tadashi DOHI 
Publication:   
Publication Date: 2020/11/01
Vol. E103-A  No. 11  pp. 1252-1259
Type of Manuscript:  PAPER
Category: Numerical Analysis and Optimization
Keyword: 
CTMC, steady-state probability, sensitivity function, algorithm, 
 Summary | Full Text:PDF
Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing
Junjun ZHENG Hiroyuki OKAMURA Tadashi DOHI 
Publication:   
Publication Date: 2020/10/01
Vol. E103-D  No. 10  pp. 2133-2142
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
software rejuvenation, checkpointing, optimal rejuvenation policy, non-Markovian process, phase expansion, steady-state availability, point-wise availability, 
 Summary | Full Text:PDF
Survivability Analysis of VM-Based Intrusion Tolerant Systems
Junjun ZHENG Hiroyuki OKAMURA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/12/01
Vol. E98-D  No. 12  pp. 2082-2090
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Network
Keyword: 
intrusion tolerant system, byzantine failure, virtualization, survivability, Markov model, 
 Summary | Full Text:PDF
Quantifying Resiliency of Virtualized System with Software Rejuvenation
Hiroyuki OKAMURA Jungang GUAN Chao LUO Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/10/01
Vol. E98-A  No. 10  pp. 2051-2059
Type of Manuscript:  Special Section PAPER (Special Section on Recent Developments on Reliability, Maintainability and Dependability)
Category: 
Keyword: 
virtualized system, software rejuvenation, system resiliency, continuous-time Markov chain, PH approximation, 
 Summary | Full Text:PDF
Optimal Trigger Time of Software Rejuvenation under Probabilistic Opportunities
Hiroyuki OKAMURA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/09/01
Vol. E96-D  No. 9  pp. 1933-1940
Type of Manuscript:  Special Section PAPER (Special Section on Dependable Computing)
Category: 
Keyword: 
software aging, software rejuvenation, time-triggered policy, opportunity-based policy, renewal process, Markovian arrival process, optimization, 
 Summary | Full Text:PDF
Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing
Bo ZHOU Hiroyuki OKAMURA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9  pp. 2219-2226
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
regression testing, test case prioritization, random testing, Markov chain Monte Carlo, 
 Summary | Full Text:PDF
NHPP-Based Software Reliability Models Using Equilibrium Distribution
Xiao XIAO Hiroyuki OKAMURA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/05/01
Vol. E95-A  No. 5  pp. 894-902
Type of Manuscript:  PAPER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
software reliability, equilibrium distribution, EM algorithm, NHPP, real data analysis, 
 Summary | Full Text:PDF
Software Reliability Modeling Based on Capture-Recapture Sampling
Hiroyuki OKAMURA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/07/01
Vol. E92-A  No. 7  pp. 1615-1622
Type of Manuscript:  Special Section PAPER (Special Section on Recent Advances in Technologies for Assessing System Reliability)
Category: 
Keyword: 
software reliability, capture-recapture model, parameter estimation, sampling scheme, Bayesian estimation, 
 Summary | Full Text:PDF
Rejuvenating Communication Network System under Burst Arrival Circumstances
Hiroyuki OKAMURA Satoshi MIYAHARA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/12/01
Vol. E88-B  No. 12  pp. 4498-4506
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems)
Category: Traffic Issues
Keyword: 
software dependability, rejuvenation, server system, communication network, burst arrival, MMPP, 
 Summary | Full Text:PDF
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application
Tadashi DOHI Kazuki IWAMOTO Hiroyuki OKAMURA Naoto KAIO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2003/10/01
Vol. E86-B  No. 10  pp. 2931-2939
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Network Systems and Applications
Keyword: 
software rejuvenation, telecommunication billing application, fault management, availability, discrete-time models, non-parametric estimation, high assurance systems design, 
 Summary | Full Text:PDF
Fine-Grained Shock Models to Rejuvenate Software Systems
Hiroki FUJIO Hiroyuki OKAMURA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D  No. 10  pp. 2165-2171
Type of Manuscript:  Special Section LETTER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: 
Keyword: 
software aging, rejuvenation, shock models, availability, high assurance systems design, 
 Summary | Full Text:PDF
Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation
Hiroyuki OKAMURA Satoshi MIYAHARA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/08/01
Vol. E86-A  No. 8  pp. 2081-2090
Type of Manuscript:  PAPER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
dependability, software system, rejuvenation, preventive maintenance, multi-server system, Markovian analysis, 
 Summary | Full Text:PDF
Cost-Effective Analysis of Software Systems with Periodic Rejuvenation
Hiroaki SUZUKI Tadashi DOHI Hiroyuki OKAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/12/01
Vol. E85-A  No. 12  pp. 2923-2932
Type of Manuscript:  PAPER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
preventive maintenance, software rejuvenation, cost effectiveness, total time on test, non-parametric estimation, 
 Summary | Full Text:PDF
Performance Evaluation of Workload-Based Software Rejuvenation Scheme
Hiroyuki OKAMURA Satoshi MIYAHARA Tadashi DOHI Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10  pp. 1368-1375
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Issues
Keyword: 
preventive maintenance, software rejuvenation, dependability, software aging, workload-based control, 
 Summary | Full Text:PDF