IEICE Trans

Tadashi DOHI

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(1.3MB)

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(1.8MB)

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(589.4KB)

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 reliability, non-homogeneous Poisson process, Burr XII distribution, Burr XII regression, software metrics, maximum likelihood estimation, goodness-of-fit performence,
	Summary \| Full Text:PDF(199.7KB)

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(1.5MB)

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 reliability, non-parametric maximum likelihood estimation, non-homogeneous Poisson process, software failure rate, software intensity function,
	Summary \| Full Text:PDF(1MB)

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 reliability, uncertainty, interval estimation, Haar wavelet, nonparametric bootstrapping, non-homogeneous Poisson process, software-fault count data, thinning, prediction,
	Summary \| Full Text:PDF(1.2MB)

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(400.1KB)

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 survivability, wireless ad hoc network, DoS attack, semi-Markov process, transient analysis,
	Summary \| Full Text:PDF(585.2KB)

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(232.4KB)

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 reliability, exponential regression, stochastic intensity processes, software metrics, pseudo maximum likelihood method, approximation,
	Summary \| Full Text:PDF(1.6MB)

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 rate, Daubechies wavelet, non-parametric estimation, NHPP, real data analysis,
	Summary \| Full Text:PDF(711.1KB)

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(64.2KB)

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(255.8KB)

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(794.4KB)

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(287.8KB)

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 security, cyber-attack, intrusion detection, quantification method, cluster analysis,
	Summary \| Full Text:PDF(345.1KB)

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: rejuvenation, software aging, periodic preventive maintenance, expected cost, discrete-time models, non-parametric algorithms,
	Summary \| Full Text:PDF(438.1KB)

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 tolerance, rejuvenation, software aging, bivariate failure mode, continuous-time Markov chain,
	Summary \| Full Text:PDF(376.6KB)

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(378KB)

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 rejuvenation, software aging, system availability, mean up rate, preventive maintenance, numerical optimization, fault management, design diversity,
	Summary \| Full Text:PDF(350.4KB)

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(316.6KB)

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(254.1KB)

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(912.5KB)

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(590.1KB)

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(622.2KB)

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 reliability, optimal release time, auto-regressive models, Bayesian estimation, statistical optimization,
	Summary \| Full Text:PDF(239.2KB)

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 models, checkpointing and rollback recovery, generalized stochastic Petri nets (GSPN), discrete-event simulation,
	Summary \| Full Text:PDF(970.6KB)

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 reliability, software release problem, neural network, cost optimization,
	Summary \| Full Text:PDF(776.7KB)

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 management, rollback recovery, checkpoint strategy, system failure, renewal function, approximation,
	Summary \| Full Text:PDF(761.6KB)

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 management, hybrid data backup system, economical data backup size, sensitivity analysis,
	Summary \| Full Text:PDF(596.9KB)