Hiroyuki OKAMURA


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 systembyzantine failurevirtualizationsurvivabilityMarkov 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 systemsoftware rejuvenationsystem resiliencycontinuous-time Markov chainPH 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 agingsoftware rejuvenationtime-triggered policyopportunity-based policyrenewal processMarkovian arrival processoptimization
 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 testingtest case prioritizationrandom testingMarkov 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 reliabilityequilibrium distributionEM algorithmNHPPreal 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 reliabilitycapture-recapture modelparameter estimationsampling schemeBayesian 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 dependabilityrejuvenationserver systemcommunication networkburst arrivalMMPP
 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 agingrejuvenationshock modelsavailabilityhigh assurance systems design
 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 rejuvenationtelecommunication billing applicationfault managementavailabilitydiscrete-time modelsnon-parametric estimationhigh 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: 
dependabilitysoftware systemrejuvenationpreventive maintenancemulti-server systemMarkovian 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 maintenancesoftware rejuvenationcost effectivenesstotal time on testnon-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 maintenancesoftware rejuvenationdependabilitysoftware agingworkload-based control
 Summary | Full Text:PDF