Tadashi DOHI


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

Software Reliability Assessment via Non-Parametric Maximum Likelihood Estimation
Yasuhiro SAITO Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/10/01
Vol. E98-A  No. 10  pp. 2042-2050
Type of Manuscript:  Special Section PAPER (Special Section on Recent Developments on Reliability, Maintainability and Dependability)
Category: 
Keyword: 
software reliabilitynon-parametric maximum likelihood estimationnon-homogeneous Poisson processsoftware failure ratesoftware intensity function
 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

Software Reliability Modeling Based on Burr XII Distributions
Takahiro IMANAKA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/10/01
Vol. E98-A  No. 10  pp. 2091-2095
Type of Manuscript:  Special Section LETTER (Special Section on Recent Developments on Reliability, Maintainability and Dependability)
Category: 
Keyword: 
software reliabilitynon-homogeneous Poisson processBurr XII distributionBurr XII regressionsoftware metricsmaximum likelihood estimationgoodness-of-fit performence
 Summary | Full Text:PDF

Interval Estimation Method for Decision Making in Wavelet-Based Software Reliability Assessment
Xiao XIAO Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1058-1068
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
software reliabilityuncertaintyinterval estimationHaar waveletnonparametric bootstrappingnon-homogeneous Poisson processsoftware-fault count datathinningprediction
 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

Survivability Analysis for a Wireless Ad Hoc Network Based on Semi-Markov Model
Zhipeng YI Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/12/01
Vol. E95-D  No. 12  pp. 2844-2851
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Network and Communication
Keyword: 
network survivabilitywireless ad hoc networkDoS attacksemi-Markov processtransient analysis
 Summary | Full Text:PDF

Exponential Regression-Based Software Reliability Model and Its Computational Aspect
Shinya IKEMOTO Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9  pp. 1461-1468
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
software reliabilityexponential regressionstochastic intensity processessoftware metricspseudo maximum likelihood methodapproximation
 Summary | Full Text:PDF

FOREWORD
Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9  pp. 1449-1450
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF

Software Failure Time Data Analysis via Wavelet-Based Approach
Xiao XIAO Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9  pp. 1490-1497
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
software failure rateDaubechies waveletnon-parametric estimationNHPPreal data analysis
 Summary | Full Text:PDF

FOREWORD
Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9  pp. 2167-2168
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 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

A Cyber-Attack Detection Model Based on Multivariate Analyses
Yuto SAKAI Koichiro RINSAKA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/07/01
Vol. E92-A  No. 7  pp. 1585-1592
Type of Manuscript:  Special Section PAPER (Special Section on Recent Advances in Technologies for Assessing System Reliability)
Category: 
Keyword: 
information securitycyber-attackintrusion detectionquantification methodcluster analysis
 Summary | Full Text:PDF

Estimating Periodic Software Rejuvenation Schedules under Discrete-Time Operation Circumstance
Kazuki IWAMOTO Tadashi DOHI Naoto KAIO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/01/01
Vol. E91-D  No. 1  pp. 23-31
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
rejuvenationsoftware agingperiodic preventive maintenanceexpected costdiscrete-time modelsnon-parametric algorithms
 Summary | Full Text:PDF

Behavioral Analysis of a Fault-Tolerant Software System with Rejuvenation
Koichiro RINSAKA Tadashi DOHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/12/01
Vol. E88-D  No. 12  pp. 2681-2690
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems)
Category: 
Keyword: 
software fault tolerancerejuvenationsoftware agingbivariate failure modecontinuous-time Markov chain
 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

Comparing Software Rejuvenation Policies under Different Dependability Measures
Tadashi DOHI Hiroaki SUZUKI Kishor S. TRIVEDI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/08/01
Vol. E87-D  No. 8  pp. 2078-2085
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
software rejuvenationsoftware agingsystem availabilitymean up ratepreventive maintenancenumerical optimizationfault managementdesign diversity
 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

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

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

A Statistical Estimation Method of Optimal Software Release Timing Applying Auto-Regressive Models
Tadashi DOHI Hiromichi MORISHITA Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/01/01
Vol. E84-A  No. 1  pp. 331-338
Type of Manuscript:  PAPER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
software reliabilityoptimal release timeauto-regressive modelsBayesian estimationstatistical optimization
 Summary | Full Text:PDF

A Simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery
Tadashi DOHI Kouji NOMURA Naoto KAIO Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/05/25
Vol. E83-A  No. 5  pp. 804-811
Type of Manuscript:  Special Section PAPER (Special Section on Reliability Theory and Its Applications)
Category: 
Keyword: 
availability modelscheckpointing and rollback recoverygeneralized stochastic Petri nets (GSPN)discrete-event simulation
 Summary | Full Text:PDF

The Effective Smoothing Technique to Estimate the Optimal Software Release Schedule Based on Artificial Neural Network
Tadashi DOHI Yoshifumi YATSUNAMI Yasuhiko NISHIO Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/05/25
Vol. E83-A  No. 5  pp. 796-803
Type of Manuscript:  Special Section PAPER (Special Section on Reliability Theory and Its Applications)
Category: 
Keyword: 
software reliabilitysoftware release problemneural networkcost optimization
 Summary | Full Text:PDF

Computational Aspects of Optimal Checkpoint Strategy in Fault-Tolerant Database Management
Tadashi DOHI Takashi AOKI Naoto KAIO Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/10/25
Vol. E80-A  No. 10  pp. 2006-2015
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
database managementrollback recoverycheckpoint strategysystem failurerenewal functionapproximation
 Summary | Full Text:PDF

An Economical Analysis for a Hybrid Data Backup System
Masanori ODAGIRI Tadashi DOHI Naoto KAIO Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/01/25
Vol. E79-A  No. 1  pp. 118-125
Type of Manuscript:  PAPER
Category: Reliability and Fault Analysis
Keyword: 
file managementhybrid data backup systemeconomical data backup sizesensitivity analysis
 Summary | Full Text:PDF