Tadashi Dohi

277 papers A* 1A 21B 9C 47Misc 5Journal 103Unranked 88
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Fine-grained parametric bootstrap approach for NHPP-based software reliability modeling.
J. Syst. Softw.
Jingchi Wu, Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura
2025 — conf
A Note on Software Reliability Modeling Based on Hawkes Processes with Gamma Type Base Intensity.
WSSE
Nanxiang Qiu, Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura
2025 — conf
A Probabilistic Least Squares Estimation For NHPP-based Software Reliability Models with Time-domain Data.
WSSE
Jingchi Wu, Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura
2025 J jnl
A novel lifetime analysis of repairable systems via Daubechies wavelets.
Ann. Oper. Res.
Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura
2025 — conf
Can Generative AI Enhance the Effectiveness of N-Version Programming?
SFPVV
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2025 J jnl
Improving test suite generation quality through machine learning-driven boundary value analysis.
Array
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi
2025 — conf
Message from the AISQ Co-Chairs ISSREW 2025.
ISSREW
Tadashi Dohi, Zheng Zheng
2025 C conf
Self-Exciting Software Reliability Models with Pareto Base Intensity Function and Their Applications.
QRS
Nanxiang Qiu, Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura
2024 — conf
A Web-based Tool for Predicting Software Development Effort.
ISSRE (Workshops)
Xiao Xiao, Tomoya Tanahashi, Tadashi Dohi
2024 C conf
An Alternative Boosting-based Software Reliability Prediction Method.
PRDC
Jingchi Wu, Junjun Zheng, Tadashi Dohi, Hiroyuki Okamura
2024 — conf
Automated Software Test Input Generation with Diffusion Models.
SFPVV
Yujin Zhu, Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi
2024 — conf
Comparison of Kernel-based Nonparametric and Parametric Regression Approaches for Software Reliability Prediction.
WSSE
Jiacheng Bai, Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura
2024 J jnl
Local polynomial software reliability models and their application.
Inf. Softw. Technol.
Tadashi Dohi, Siqiao Li, Hiroyuki Okamura
2024 J jnl
Long-term software fault prediction with wavelet shrinkage estimation.
J. Syst. Softw.
Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura
2024 C conf
Maximum Likelihood Prediction in Software Reliability Assessment.
DASC
Daigo Fujimura, Tadashi Dohi, Hiroyuki Okamura
2024 J jnl
On the sensitivity of stationary solutions of Markov regenerative processes.
Perform. Evaluation
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2024 J jnl
Optimal opportunity-based age replacement policies in discrete time.
Reliab. Eng. Syst. Saf.
Jing Wu, Cunhua Qian, Tadashi Dohi
2024 J jnl
Optimal test case generation for boundary value analysis.
Softw. Qual. J.
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi
2024 J jnl
Optimum maintenance units in multi-indenture systems.
Qual. Reliab. Eng. Int.
Qian Qian Zhao, Jae Yoon Yoo, Tadashi Dohi, Won Young Yun
2024 — conf
Performance Comparison of Bayesian Estimations on the Residual Number of Software Bugs.
DSN-W
Yuki Hagihara, Tadashi Dohi, Hiroyuki Okamura
2024 J jnl
Performance Comparison of Software Reliability Estimation Algorithms.
Computer
Hiromu Yano, Tadashi Dohi, Hiroyuki Okamura
2024 C conf
Refined Software Reliability Prediction: A Bagging Approacha.
PRDC
Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura
2024 J jnl
Reliability Computing Methods of Probabilistic Location Set Covering Problem Considering Wireless Network Applications.
IEEE Trans. Reliab.
ZiLong Feng, Hiroyuki Okamura, Tadashi Dohi, Won Young Yun
2023 — conf
A Note on Optimal Retraining Strategy for ML Systems.
DSA
Hisashi Kanda, Hiroyuki Okamura, Tadashi Dohi
2023 — conf
Another Look at Non-homogeneous Markovian Software Reliability Modeling.
DSA
Nanxiang Qiu, Siqiao Li, Tadashi Dohi, Hiroyuki Okamura
2023 C conf
Hierarchical Dependability Modeling with Multi-State Systems.
PRDC
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2023 J jnl
Nonhomogeneous Markov Process Modeling for Software Reliability Assessment.
IEEE Trans. Reliab.
Siqiao Li, Tadashi Dohi, Hiroyuki Okamura
2023 — conf
Software Reliability Modeling Based on Zero-truncated and/or Zero-inflated Compound Distributions.
DSA
Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura
2023 J jnl
Software reliability analysis via geometric de-eutrophication models with group data.
Int. J. Syst. Assur. Eng. Manag.
Siqiao Li, Tadashi Dohi, Hiroyuki Okamura
2023 — conf
Tool Development of Daubechies Wavelet Estimation for Stochastic Counting Processes.
DSA
Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura
2023 — conf
Towards High-Quality Test Suite Generation with ML-Based Boundary Value Analysis.
DSA
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi
2023 — conf
Towards Predicting Source Code Changes Based on Natural Language Processing Models: An Empirical Evaluation.
ISSREW
Yuto Kaibe, Hiroyuki Okamura, Tadashi Dohi
2022 J jnl
Are Infinite-Failure NHPP-Based Software Reliability Models Useful?
Softw.
Siqiao Li, Tadashi Dohi, Hiroyuki Okamura
2022 J jnl
Automated Software Test Data Generation With Generative Adversarial Networks.
IEEE Access
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi
2022 J jnl
Burr-type NHPP-based software reliability models and their applications with two type of fault count data.
J. Syst. Softw.
Siqiao Li, Tadashi Dohi, Hiroyuki Okamura
2022 J jnl
Hierarchical Bayesian Parameter Estimation of Queueing Systems using Utilization Data.
Int. J. Perform. Eng.
Chen Li, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2022 J jnl
Parameter Estimation of Markovian Arrivals with Utilization Data.
IEICE Trans. Commun.
Chen Li, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2022 J jnl
Variance-Based Sensitivity Analysis for Markov Models using Moment Approximation.
Int. J. Perform. Eng.
Jiahao Zhang, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2021 — conf
A Comprehensive Evaluation for Burr-Type NHPP-based Software Reliability Models.
DSA
Siqiao Li, Tadashi Dohi, Hiroyuki Okamura
2021 C conf
A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis.
QRS
Kenya Saiki, Shaoying Liu, Hiroyuki Okamura, Tadashi Dohi
2021 J jnl
Age replacement with Markovian opportunity process.
Reliab. Eng. Syst. Saf.
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2021 J jnl
Availability importance measures of components in smart electric power grid systems.
Reliab. Eng. Syst. Saf.
Junjun Zheng, Hiroyuki Okamura, Taoming Pang, Tadashi Dohi
2021 — conf
Interval Estimation for Non-Parametric NHPP-based Software Reliability Model via Simulation-based Bootstrap.
DSA
Xiao Xiao, Tadashi Dohi
2021 — conf
Investigating Trend/Cyclic/Clustering Decomposition in Software Fault Detection.
QRS Companion
Xuanqing Chen, Tadashi Dohi, Hiroyuki Okamura
2021 J jnl
Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals.
IEEE Trans. Reliab.
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2021 — conf
Sensitivity Analysis of Software Rejuvenation Model with Markov Regenerative Process.
ISSRE Workshops
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2021 C conf
W-SRAT: Wavelet-based Software Reliability Assessment Tool.
QRS
Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura
2020 J jnl
A Comprehensive Performance Evaluation on Iterative Algorithms for Sensitivity Analysis of Continuous-Time Markov Chains.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yepeng Cheng, Hiroyuki Okamura, Tadashi Dohi
2020 J jnl
A transient interval reliability analysis for software rejuvenation models with phase expansion.
Softw. Qual. J.
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2020 — conf
An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets.
VALUETOOLS
Hiroyuki Okamura, Kazuya Morihara, Tadashi Dohi
2020 — ch.
Analysis of Queueing Models for Rejuvenation.
Handbook of Software Aging and Rejuvenation
Hiroyuki Okamura, Tadashi Dohi
2020 — book
Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Handbook of Software Aging and Rejuvenation
Tadashi Dohi, Kishor S. Trivedi, Alberto Avritzer
2020 — conf
How Robust is the Optimal Software Rejuvenation Timing?
ISSRE Workshops
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2020 J jnl
Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing.
IEICE Trans. Inf. Syst.
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2019 C conf
A Point Process Approach of Bug Fixing Analysis in Open Source Software Projects.
QRS
Takahiro Ushiroda, Tadashi Dohi, Yasuhiro Saito, Hiroyuki Okamura
2019 C conf
Moment-Based Approximation for Uncertainty Propagation in Fault Trees.
PRDC
Jiahao Zhang, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2019 C conf
On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped Data.
QRS
Hiroyuki Okamura, Tadashi Dohi
2019 J jnl
Parameter Estimation of $M_{t}/M/1/K$ Queueing Systems With Utilization Data.
IEEE Access
Chen Li, Hiroyuki Okamura, Tadashi Dohi
2019 — conf
Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management.
HASE
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2018 — conf
A Pull-Type Security Patch Management of an Intrusion Tolerant System Under a Periodic Vulnerability Checking Strategy.
COMPSAC (1)
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2018 J jnl
Component Importance Analysis of Mobile Cloud Computing System in the Presence of Common-Cause Failures.
IEEE Access
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2018 — conf
How Do Software Metrics Affect Test Case Prioritization?
COMPSAC (1)
Masataka Ozawa, Tadashi Dohi, Hiroyuki Okamura
2018 J jnl
Optimal periodic software rejuvenation policies based on interval reliability criteria.
Reliab. Eng. Syst. Saf.
Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura, Kishor S. Trivedi
2018 — conf
Parametric Uncertainty Propagation through Dependability Models.
LADC
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2018 C conf
Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes.
PRDC
Yunlu Zhao, Tadashi Dohi, Hiroyuki Okamura
2017 J jnl
A Comprehensive Evaluation of Software Rejuvenation Policies for Transaction Systems With Markovian Arrivals.
IEEE Trans. Reliab.
Junjun Zheng, Hiroyuki Okamura, Lin Li, Tadashi Dohi
2017 C conf
A Comprehensive Evaluation of Software Reliability Modeling Based on Marshall-Olkin Type Fault-Detection Time Distribution.
APSEC
Miho Kawasaki, Hiroyuki Okamura, Tadashi Dohi
2017 A conf
A Generalized Bivariate Modeling Framework of Fault Detection and Correction Processes.
ISSRE
Hiroyuki Okamura, Tadashi Dohi
2017 B conf
A Statistical Framework on Software Aging Modeling with Continuous-Time Hidden Markov Model.
SRDS
Hiroyuki Okamura, Junjun Zheng, Tadashi Dohi
2017 J jnl
Dynamic Power Management With Optimal Time-Out Policies.
IEEE Syst. J.
Hiroyuki Okamura, Tadashi Dohi
2017 B conf
Software Reliability Modeling and Analysis via Kernel-Based Approach.
ICECCS
Kei Okumura, Hiroyuki Okamura, Tadashi Dohi
2016 — conf
A Phase Expansion Approach for Transient Analysis of Software Rejuvenation Model.
ISSRE Workshops
Hiroyuki Okamura, Tadashi Dohi
2016 — conf
Mean Time to Security Failure of VM-Based Intrusion Tolerant Systems.
ICDCS Workshops
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2016 — conf
NPI-Based Adaptive Software Rejuvenation Schedule under Random Censoring.
ISSRE Workshops
Koichiro Rinsaka, W. Eric Wong, Tadashi Dohi
2016 — conf
Performance Evaluation of VM-based Intrusion Tolerant Systems with Poisson Arrivals.
CANDAR
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2016 J jnl
Phase-type software reliability model: parameter estimation algorithms with grouped data.
Ann. Oper. Res.
Hiroyuki Okamura, Tadashi Dohi
2016 J jnl
Predicting software reliability via completely monotone nonparametric estimator with grouped data.
J. Syst. Softw.
Yasuhiro Saito, Tadashi Dohi
2016 J jnl
Special Section on Computational Reliability in Engineering and Science.
J. Comput. Sci.
Tadashi Dohi, Hisashi Yamamoto
2016 J jnl
Toward high assurance software systems with adaptive fault management.
Softw. Qual. J.
Koichiro Rinsaka, Tadashi Dohi
2015 J jnl
A Markov Decision Process Approach to Dynamic Power Management in a Cluster System.
IEEE Access
Hiroyuki Okamura, Satoshi Miyata, Tadashi Dohi
2015 — conf
A Simulation Approach to Quantify Network Survivability on MANETs.
COMPSAC Workshops
Zhipeng Yi, Tadashi Dohi
2015 C conf
Component Importance Measures for Real-Time Computing Systems in the Presence of Common-Cause Failures.
PRDC
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2015 C conf
Fine-Grained Software Reliability Estimation Using Software Testing Inputs.
QRS
Hiroyuki Okamura, Yuki Takekoshi, Tadashi Dohi
2015 J jnl
Network survivability modeling and analysis for power-aware MANETs by Markov regenerative processes.
Telecommun. Syst.
Hiroyuki Okamura, Zhipeng Yi, Tadashi Dohi
2015 — conf
Optimal Power-Aware Design in a Cluster System: Markov Decision Process Approach.
UIC/ATC/ScalCom
Hiroyuki Okamura, Satoshi Miyata, Tadashi Dohi
2015 J jnl
Quantifying Resiliency of Virtualized System with Software Rejuvenation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroyuki Okamura, Jungang Guan, Chao Luo, Tadashi Dohi
2015 C conf
Robustness of Non-homogeneous Gamma Process-Based Software Reliability Models.
QRS
Yasuhiro Saito, Tadashi Dohi
2015 J jnl
Software Reliability Assessment via Non-Parametric Maximum Likelihood Estimation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yasuhiro Saito, Tadashi Dohi
2015 J jnl
Software Reliability Modeling Based on Burr XII Distributions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takahiro Imanaka, Tadashi Dohi
2015 J jnl
Survivability Analysis of VM-Based Intrusion Tolerant Systems.
IEICE Trans. Inf. Syst.
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2015 — conf
Survivability Analysis with Border Effects for Power-Aware Mobile Ad Hoc Network.
UIC/ATC/ScalCom
Zhipeng Yi, Tadashi Dohi
2015 C conf
Survivability Quantification of Wireless Ad Hoc Network Taking Account of Border Effects.
PRDC
Zhipeng Yi, Tadashi Dohi, Hiroyuki Okamura
2015 J jnl
Toward Highly Dependable Power-Aware Mobile Ad Hoc Network-Survivability Evaluation Framework.
IEEE Access
Zhipeng Yi, Tadashi Dohi
2015 A conf
Towards comprehensive software reliability evaluation in open source software.
ISSRE
Hiroyuki Okamura, Tadashi Dohi
2015 — conf
mapfit: An R-Based Tool for PH/MAP Parameter Estimation.
QEST
Hiroyuki Okamura, Tadashi Dohi
2014 — conf
A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics.
HASE
Hiroyuki Okamura, Tadashi Dohi
2014 C conf
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains.
PRDC
Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi
2014 J jnl
Guest editorial - Special issue on autonomic and trusted computing.
Computing
Laurence T. Yang, Bernady O. Apduhan, Tadashi Dohi, Manish Parashar
2014 J jnl
Interval Estimation Method for Decision Making in Wavelet-Based Software Reliability Assessment.
IEICE Trans. Inf. Syst.
Xiao Xiao, Tadashi Dohi
2014 J jnl
Introduction to special issue on WoSAR 2011.
ACM J. Emerg. Technol. Comput. Syst.
Alberto Avritzer, Tadashi Dohi
2014 C conf
Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling.
PRDC
Toshitaka Koga, Tadashi Dohi, Hiroyuki Okamura
2014 J jnl
Performance evaluation of snapshot isolation in distributed database system under failure-prone environment.
J. Supercomput.
Chao Luo, Hiroyuki Okamura, Tadashi Dohi
2014 J jnl
Preface to The 5th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2012).
Commun. Stat. Simul. Comput.
Lirong Cui, Tadashi Dohi
2014 J jnl
Variational Bayes for Phase-Type Distribution.
Commun. Stat. Simul. Comput.
Hiroyuki Okamura, Ryo Watanabe, Tadashi Dohi
2013 C conf
A novel method based on VANET for alleviating traffic congestion in urban transportations.
ISADS
Mitsuhisa Kimura, Yousuke Taoda, Yoshiaki Kakuda, Shinji Inoue, Tadashi Dohi
2013 J jnl
Application of deterministic annealing EM algorithm to MAP/PH parameter estimation.
Telecommun. Syst.
Hiroyuki Okamura, Hidenari Kishikawa, Tadashi Dohi
2013 — conf
Characteristic analysis of quantitative definition of resiliency measure.
ISSRE (Supplemental Proceedings)
Chao Luo, Hiroyuki Okamura, Tadashi Dohi
2013 J jnl
Dynamic software rejuvenation policies in a transaction-based system under Markovian arrival processes.
Perform. Evaluation
Hiroyuki Okamura, Tadashi Dohi
2013 J jnl
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods.
IEEE Trans. Computers
Bo Zhou, Hiroyuki Okamura, Tadashi Dohi
2013 J jnl
Estimating Software Intensity Function Based on Translation-Invariant Poisson Smoothing Approach.
IEEE Trans. Reliab.
Xiao Xiao, Tadashi Dohi
2013 — conf
Estimating Software Reliability with Static Project Data in Incremental Development Processes.
IWSM/Mensura
Shinya Ikemoto, Tadashi Dohi, Hiroyuki Okamura
2013 — conf
Estimating response time distribution of server application in software aging phenomenon.
ISSRE (Supplemental Proceedings)
Hiroyuki Okamura, Chao Luo, Tadashi Dohi
2013 J jnl
Foreword - Special issue foreword: multi-disciplinarily inspired networks and systems.
Telecommun. Syst.
Tadashi Dohi, Kuan-Ching Li, Yufeng Wang
2013 C conf
Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics Data.
PRDC
Daisuke Kuwa, Tadashi Dohi, Hiroyuki Okamura
2013 B conf
Generalized Logit Regression-Based Software Reliability Modeling with Metrics Data.
COMPSAC
Daisuke Kuwa, Tadashi Dohi
2013 B conf
Modeling and Analysis of Multi-version Concurrent Control.
COMPSAC
Chao Luo, Hiroyuki Okamura, Tadashi Dohi
2013 J jnl
Optimal Trigger Time of Software Rejuvenation under Probabilistic Opportunities.
IEICE Trans. Inf. Syst.
Hiroyuki Okamura, Tadashi Dohi
2013 A conf
Quantifying software test process and product reliability simultaneously.
ISSRE
Shinya Ikemoto, Tadashi Dohi, Hiroyuki Okamura
2013 A conf
SRATS: Software reliability assessment tool on spreadsheet (Experience report).
ISSRE
Hiroyuki Okamura, Tadashi Dohi
2013 — conf
Software Reliability Modeling and Evaluation under Incomplete Knowledge on Fault Distribution.
SERE
Toshio Kaneishi, Tadashi Dohi
2013 J jnl
Software reliability growth models with normal failure time distributions.
Reliab. Eng. Syst. Saf.
Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki
2013 J jnl
Special issue on stochastic reliability and maintenance modeling with real applications.
Reliab. Eng. Syst. Saf.
Tadashi Dohi, Toshio Nakagawa
2013 J jnl
Wavelet Shrinkage Estimation for Non-Homogeneous Poisson Process Based Software Reliability Models.
IEEE Trans. Reliab.
Xiao Xiao, Tadashi Dohi
2012 — ed.
9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, UIC/ATC 2012, Fukuoka, Japan, September 4-7, 2012
UIC/ATC
Bernady O. Apduhan, Ching-Hsien Hsu, Tadashi Dohi, Kenji Ishida, Laurence Tianruo Yang, Jianhua Ma
2012 J jnl
A Comparative Study of Data Transformations for Wavelet Shrinkage Estimation with Application to Software Reliability Assessment.
Adv. Softw. Eng.
Xiao Xiao, Tadashi Dohi
2012 J jnl
An adaptive mode control algorithm of a scalable intrusion tolerant architecture.
J. Comput. Syst. Sci.
Tadashi Dohi, Toshikazu Uemura
2012 Misc conf
An efficient MCMC algorithm for continuous ph distributions.
WSC
Ryo Watanabe, Hiroyuki Okamura, Tadashi Dohi
2012 J jnl
Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing.
IEICE Trans. Inf. Syst.
Bo Zhou, Hiroyuki Okamura, Tadashi Dohi
2012 — conf
Comparing Checkpoint and Rollback Recovery Schemes in a Cluster System.
ICA3PP (1)
Noriaki Bessho, Tadashi Dohi
2012 — conf
Component Importance Analysis of Virtualized System.
UIC/ATC
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
2012 — conf
Dependability Modeling and Analysis of Random Port Hopping.
UIC/ATC
Kousaburo Hari, Tadashi Dohi
2012 Misc conf
Estimating software reliability via pseudo maximum likelihood method.
SAC
Shinya Ikemoto, Tadashi Dohi, Hiroyuki Okamura
2012 J jnl
Exponential Regression-Based Software Reliability Model and Its Computational Aspect.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shinya Ikemoto, Tadashi Dohi
2012 B conf
Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel.
SRDS
Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi
2012 J jnl
Foreword.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tadashi Dohi
2012 J jnl
Foreword.
IEICE Trans. Inf. Syst.
Tadashi Dohi
2012 — conf
Model-Based Performance Optimization of Generalized Snapshot Isolation in Database System.
UIC/ATC
Chao Luo, Hiroyuki Okamura, Tadashi Dohi
2012 J jnl
NHPP-Based Software Reliability Models Using Equilibrium Distribution.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Xiao Xiao, Hiroyuki Okamura, Tadashi Dohi
2012 — conf
Optimization of Opportunity-Based Software Rejuvenation Policy.
ISSRE Workshops
Hiroyuki Okamura, Tadashi Dohi
2012 — conf
Optimizing Software Rejuvenation Policies under Interval Reliability Criteria.
UIC/ATC
Tadashi Dohi, Hiroyuki Okamura, Kishor S. Trivedi
2012 — conf
Risk-Based Intelligent Software Release Planning.
UIC/ATC
Shunsuke Tokumoto, Tadashi Dohi
2012 — conf
Robust Wavelet Shrinkage Estimation without Data Transform for Software Reliability Assessment.
SERE
Xiao Xiao, Tadashi Dohi
2012 J jnl
Software Failure Time Data Analysis via Wavelet-Based Approach.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Xiao Xiao, Tadashi Dohi
2012 Misc conf
Software testing-resource allocation with operational profile.
SAC
Satoru Ukimoto, Tadashi Dohi, Hiroyuki Okamura
2012 J jnl
Survivability Analysis for a Wireless Ad Hoc Network Based on Semi-Markov Model.
IEICE Trans. Inf. Syst.
Zhipeng Yi, Tadashi Dohi
2012 — conf
Survivability modeling and analysis for a power-aware wireless ad hoc network.
ICUMT
Zhipeng Yi, Tadashi Dohi, Hiroyuki Okamura
2011 — conf
A POMDP Formulation of Multistep Failure Model with Software Rejuvenation.
WoSAR@ISSRE
Hiroyuki Okamura, Tadashi Dohi
2011 C conf
A Route Discovery Method for Alleviating Traffic Congestion Based on VANETs in Urban Transportations Considering a Relation between Vehicle Density and Average Velocity.
ISADS
Mitsuhisa Kimura, Shinji Inoue, Yoshiaki Kakuda, Tadashi Dohi
2011 J jnl
A refined EM algorithm for PH distributions.
Perform. Evaluation
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2011 C conf
Application of Reinforcement Learning to Software Rejuvenation.
ISADS
Hiroyuki Okamura, Tadashi Dohi
2011 — conf
Bayesian Inference for Credible Intervals of Optimal Software Release Time.
FGIT-ASEA/DRBC/EL
Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki
2011 — conf
Composite dependability modeling for in-vehicle networks.
DSN Workshops
Hiroyuki Okamura, Tadashi Dohi, Shin'ichi Shiraishi, Mutsumi Abe
2011 — conf
Environmental Diversity Techniques of Software Systems.
FGIT
Tadashi Dohi
2011 C conf
Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment.
PRDC
Xiao Xiao, Tadashi Dohi
2011 — conf
Estimating Software Reliability Using Extreme Value Distribution.
FGIT-ASEA/DRBC/EL
Xiao Xiao, Tadashi Dohi
2011 A ed.
IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011
ISSRE
Tadashi Dohi, Bojan Cukic
2011 Misc conf
On the Effect of the Order of Test Cases in the Modified Exponential Software Reliability Growth Model.
ICNC
Kei Okumura, Hiroyuki Okamura, Tadashi Dohi
2011 C conf
Parametric Bootstrapping for Assessing Software Reliability Measures.
PRDC
Toshio Kaneishi, Tadashi Dohi
2011 — conf
Quantifying the Effectiveness of Testing Efforts on Software Fault Detection with a Logit Software Reliability Growth Model.
IWSM/Mensura
Hiroyuki Okamura, Yusuke Etani, Tadashi Dohi
2011 Misc conf
Quantitative Comparison of Survivability Models for Wireless Ad Hoc Networks.
ICNC
Zhipeng Yi, Tadashi Dohi
2011 A* conf
Towards quantitative software reliability assessment in incremental development processes.
ICSE
Toshiya Fujii, Tadashi Dohi, Takaji Fujiwara
2011 C conf
Unification of Software Reliability Models Using Markovian Arrival Processes.
PRDC
Hiroyuki Okamura, Tadashi Dohi
2010 A conf
A Multi-factor Software Reliability Model Based on Logistic Regression.
ISSRE
Hiroyuki Okamura, Yusuke Etani, Tadashi Dohi
2010 C conf
A Software Accelerated Life Testing Model.
PRDC
Toshiya Fujii, Tadashi Dohi, Hiroyuki Okamura, Takaji Fujiwara
2010 — conf
Application of Deterministic Annealing EM Algorithm to Markovian Arrival Process Parameter Estimation.
UIC/ATC Workshops
Hiroyuki Okamura, Hidenari Kishikawa, Tadashi Dohi
2010 — conf
Availability Analysis of an IMS-Based VoIP Network System.
ICCSA (4)
Toshikazu Uemura, Tadashi Dohi, Naoto Kaio
2010 J jnl
Availability Analysis of an Intrusion Tolerant Distributed Server System With Preventive Maintenance.
IEEE Trans. Reliab.
Toshikazu Uemura, Tadashi Dohi, Naoto Kaio
2010 J jnl
Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system.
J. Syst. Softw.
Hiroyuki Okamura, Tadashi Dohi
2010 J jnl
Coordinated procurement/inspection and production model under inspection errors.
Comput. Ind. Eng.
Chih-Hsiung Wang, Tadashi Dohi, Wen-Chin Tsai
2010 C conf
Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures.
PRDC
Akikazu Izumi, Tadashi Dohi, Naoto Kaio
2010 — conf
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods.
HASE
Bo Zhou, Hiroyuki Okamura, Tadashi Dohi
2010 C conf
Estimating Computer Virus Propagation Based on Markovian Arrival Processes.
PRDC
Hiroyuki Okamura, Tadashi Dohi
2010 J jnl
Identifying statistical failure mechanism of web server systems: measurement and reliability analysis.
Int. J. Bus. Intell. Data Min.
Toshiya Fujii, Tadashi Dohi
2010 — conf
Markov Chain Monte Carlo Random Testing.
AST/UCMA/ISA/ACN
Bo Zhou, Hiroyuki Okamura, Tadashi Dohi
2010 C conf
On-Line Adaptive Algorithms in Autonomic Restart Control.
ATC
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2010 J jnl
Optimal Security Patch Management Policies Maximizing System Availability.
J. Commun.
Toshikazu Uemura, Tadashi Dohi
2010 — conf
Performance-aware software rejuvenation strategies in a queueing system.
WoSAR@ISSRE
Hiroyuki Okamura, Tadashi Dohi
2010 J jnl
Quantifying the risk in age and block replacement policies.
J. Oper. Res. Soc.
Bibhas Chandra Giri, Tadashi Dohi
2010 — conf
Sensitivity Analysis of Random Port Hopping.
UIC/ATC Workshops
Kousaburou Hari, Tadashi Dohi
2010 J jnl
Software safety assessment based on a subordinated Markov chain.
Int. J. Syst. Assur. Eng. Manag.
Hiroyuki Okamura, Tadashi Dohi
2010 C conf
Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture.
ATC
Tadashi Dohi, Toshikazu Uemura
2009 — conf
A Bayesian Inference Tool for NHPP-Based Software Reliability Assessment.
FGIT
Takumi Hirata, Hiroyuki Okamura, Tadashi Dohi
2009 J jnl
A Cyber-Attack Detection Model Based on Multivariate Analyses.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yuto Sakai, Koichiro Rinsaka, Tadashi Dohi
2009 — conf
A Refined Non-parametric Algorithm for Sequential Software Reliability Estimation.
FGIT-ASEA
Shintaro Mizoguchi, Tadashi Dohi
2009 — conf
An EM Algorithm for Record Value Statistics Models in Software Reliability Estimation.
FGIT-ASEA
Hiroyuki Okamura, Tadashi Dohi
2009 — conf
An Experimental Evaluation of Error Rate in a Web Server System.
FGIT-ASEA
Xiao Xiao, Tadashi Dohi
2009 C conf
Availability Analysis of a Scalable Intrusion Tolerant Architecture with Two Detection Modes.
CloudCom
Toshikazu Uemura, Tadashi Dohi, Naoto Kaio
2009 J jnl
Cost-effective ordering policies for inventory systems with emergency order.
Comput. Ind. Eng.
Bibhas Chandra Giri, Tadashi Dohi
2009 — conf
Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes.
QEST
Hiroyuki Okamura, Tadashi Dohi
2009 J jnl
Gompertz software reliability model: Estimation algorithm and empirical validation.
J. Syst. Softw.
Koji Ohishi, Hiroyuki Okamura, Tadashi Dohi
2009 J jnl
Markovian arrival process parameter estimation with group data.
IEEE/ACM Trans. Netw.
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2009 — conf
Non-homogeneous Inverse Gaussian Software Reliability Models.
QSIC
Lin-Zhu Jin, Tadashi Dohi
2009 J jnl
Numerical computation algorithms for sequential checkpoint placement.
Perform. Evaluation
Tatsuya Ozaki, Tadashi Dohi, Naoto Kaio
2009 B conf
On Equilibrium Distribution Properties in Software Reliability Modeling.
ARES
Xiao Xiao, Tadashi Dohi
2009 A conf
Optimal Security Patch Release Timing under Non-homogeneous Vulnerability-Discovery Processes.
ISSRE
Hiroyuki Okamura, Masataka Tokuzane, Tadashi Dohi
2009 B conf
Security Evaluation of an Intrusion Tolerant System with MRSPNs.
ARES
Ryutaro Fujimoto, Hiroyuki Okamura, Tadashi Dohi
2009 J jnl
Software Reliability Modeling Based on Capture-Recapture Sampling.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroyuki Okamura, Tadashi Dohi
2009 B conf
Statistical Failure Analysis of a Web Server System.
ARES
Toshiya Fujii, Tadashi Dohi
2009 A conf
Wavelet-Based Approach for Estimating Software Reliability.
ISSRE
Xiao Xiao, Tadashi Dohi
2008 C conf
A New Paradigm for Software Reliability Modeling - From NHPP to NHGP.
PRDC
Tomotaka Ishii, Tadashi Dohi
2008 — conf
Analysis of a Software System with Rejuvenation, Restoration and Checkpointing.
ISAS
Hiroyuki Okamura, Tadashi Dohi
2008 — conf
Availability optimization in operational software system with aperiodic time-based software rejuvenation scheme.
ISSRE Workshops
Hiroyuki Okamura, Tadashi Dohi
2008 J jnl
Discrete Repair-Cost Limit Replacement Policies with/without Imperfect Repair.
Asia Pac. J. Oper. Res.
Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio
2008 J jnl
Estimating Periodic Software Rejuvenation Schedules under Discrete-Time Operation Circumstance.
IEICE Trans. Inf. Syst.
Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio
2008 C conf
Hyper-Erlang Software Reliability Model.
PRDC
Hiroyuki Okamura, Tadashi Dohi
2008 — conf
Non-parametric predictive inference of adaptive software rejuvenation schedule.
ISSRE Workshops
Koichiro Rinsaka, Tadashi Dohi
2008 — conf
Optimizing Security Measures in an Intrusion Tolerant Database System.
ISAS
Toshikazu Uemura, Tadashi Dohi
2008 C conf
Simulation-Based Optimization Approach for Software Cost Model with Rejuvenation.
ATC
Hiroyuki Eto, Tadashi Dohi, Jianhua Ma
2007 — conf
A Faster Estimation Algorithm for Periodic Preventive Rejuvenation Schedule Maximizing System Availability.
ISAS
Koichiro Rinsaka, Tadashi Dohi
2007 J jnl
A generalized gamma software reliability model.
Syst. Comput. Jpn.
Hiroyuki Okamura, Mitsuaki Ando, Tadashi Dohi
2007 — conf
Bivariate Software Fault-Detection Models.
COMPSAC (1)
Tomotaka Ishii, Tadashi Dohi, Hiroyuki Okamura
2007 — conf
Estimating Markov-modulated compound Poisson processes.
VALUETOOLS
Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi
2007 J jnl
Inspection scheduling for imperfect production processes under free repair warranty contract.
Eur. J. Oper. Res.
Bibhas Chandra Giri, Tadashi Dohi
2007 A conf
Non-parametric Predictive Inference of Preventive Rejuvenation Schedule in Operational Software Systems.
ISSRE
Koichiro Rinsaka, Tadashi Dohi
2007 C conf
PISRAT: Proportional Intensity-Based Software Reliability Assessment Tool.
PRDC
Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi
2007 — conf
Performance Evaluation for Automatic Protection Switching in a CDMA-TDD Wireless Communication System.
HCI (4)
Li Zhang, Hiroyuki Okamura, Tadashi Dohi
2007 C conf
Quantifying Software Maintainability Based on a Fault-Detection/Correction Model.
PRDC
Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi, Hiroyuki Okamura
2007 — conf
Quantitative Evaluation of Intrusion Tolerant Systems Subject to DoS Attacks Via Semi-Markov Cost Models.
EUC Workshops
Toshikazu Uemura, Tadashi Dohi
2007 A conf
Statistical Inference of Computer Virus Propagation Using Non-Homogeneous Poisson Processes.
ISSRE
Hiroyuki Okamura, Kazuya Tateishi, Tadashi Dohi
2007 A conf
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models.
DSN
Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi
2006 — conf
Analysis of a Service Degradation Model with Preventive Rejuvenation.
ISAS
Hiroyuki Eto, Tadashi Dohi
2006 A conf
Building Phase-Type Software Reliability Models.
ISSRE
Hiroyuki Okamura, Tadashi Dohi
2006 J jnl
Discrete-time cost analysis for a telecommunication billing application with rejuvenation.
Comput. Math. Appl.
Kazuki Iwamoto, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio
2006 J jnl
Discrete-time spare ordering policy with randomized lead times and discounting.
Int. Trans. Oper. Res.
B. C. Giri, Tadashi Dohi, Naoto Kaio
2006 J jnl
Distribution-Free Checkpoint Placement Algorithms Based on Min-Max Principle.
IEEE Trans. Dependable Secur. Comput.
Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio
2006 C conf
Estimating Markov Modulated Software Reliability Models via EM Algorithm.
DASC
Takao Ando, Hiroyuki Okamura, Tadashi Dohi
2006 J jnl
Mathematical Finance and Risk Assessment.
Eur. J. Oper. Res.
Tadashi Dohi, Shunji Osaki, Nikolaos Limnios
2006 A conf
Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes.
ISSRE
Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi
2006 A conf
On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach.
ISSRE
Hiroyuki Okamura, Hitoshi Furumura, Tadashi Dohi
2006 C conf
Optimal Checkpoint Placement with Equality Constraints.
DASC
Tadashi Dohi, Tatsuya Ozaki, Naoto Kaio
2006 J jnl
Preface.
Comput. Math. Appl.
Tadashi Dohi, Nikolaos Limnios, Shunji Osaki
2006 — conf
Proportional Intensity-Based Software Reliability Modeling with Time-Dependent Metrics.
COMPSAC (1)
Koichiro Rinsaka, Kazuya Shibata, Tadashi Dohi
2006 J jnl
Statistical estimation algorithms for repairs-time limit replacement scheduling under earning rate criteria.
Comput. Math. Appl.
Tadashi Dohi, Akira Ashioka, Naoto Kaio, Shunji Osaki
2006 C conf
Two-Dimensional Software Reliability Models and Their Application.
PRDC
Tomotaka Ishii, Tadashi Dohi
2005 — conf
A Dynamic Programming Algorithm for Software Rejuvenation Scheduling under Distributed Computation Circumstance.
ICPADS (2)
Hiroyuki Okamura, Kazuki Iwamoto, Tadashi Dohi
2005 — conf
An Architecture-based Software Reliability Model with Finite Number of Faults.
IASTED Conf. on Software Engineering
Hiroyuki Okamura, Kei Tsuruta, Tadashi Dohi
2005 — conf
Bayesian Perspective of Optimal Checkpoint Placement.
HASE
Naoki Kobayashi, Tadashi Dohi
2005 J jnl
Behavioral Analysis of a Fault-Tolerant Software System with Rejuvenation.
IEICE Trans. Inf. Syst.
Koichiro Rinsaka, Tadashi Dohi
2005 C conf
Behavioral analysis of a fault-tolerant software system with rejuvenation.
ISADS
Koichiro Rinsaka, Tadashi Dohi
2005 J jnl
Computational aspects of an extended EMQ model with variable production rate.
Comput. Oper. Res.
Bibhas Chandra Giri, Tadashi Dohi
2005 C conf
Effect of preventive rejuvenation in communication network system with burst arrival.
ISADS
Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi
2005 J jnl
Exact formulation of stochastic EMQ model for an unreliable production system.
J. Oper. Res. Soc.
B. C. Giri, Tadashi Dohi
2005 — conf
Gompertz Software Reliability Model and Its Application.
COMPSAC (1)
Koji Ohishi, Hiroyuki Okamura, Tadashi Dohi
2005 A conf
Markovian Modeling and Analysis of Internet Worm Propagation.
ISSRE
Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi
2005 — conf
Monitoring the Health Condition of a Ubiquitous System: Rejuvenation vs. Recovery.
EUC Workshops
Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio
2005 J jnl
Optimal design of unreliable production-inventory systems with variable production rate.
Eur. J. Oper. Res.
Bibhas Chandra Giri, Won Young Yun, Tadashi Dohi
2005 J jnl
Optimal lot sizing in an unreliable two-stage serial production-inventory system.
Int. Trans. Oper. Res.
B. C. Giri, Won Young Yun, Tadashi Dohi
2005 — conf
Optimality of Control-Limit Type of Software Rejuvenation Policy.
ICPADS (2)
Hiroyuki Ito, Tadashi Dohi
2005 C conf
Performance Evaluation of Power-Aware Communication Network Devices.
EUC
Hiroyuki Okamura, Tadashi Dohi
2005 J jnl
Rejuvenating Communication Network System under Burst Arrival Circumstances.
IEICE Trans. Commun.
Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi
2004 C conf
A Dynamic Checkpointing Scheme Based on Reinforcement Learning.
PRDC
Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi
2004 — conf
A discrete software cost model with periodic rejuvenation for a telecommunication billing application.
IASTED Conf. on Software Engineering and Applications
Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio
2004 C conf
An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework.
APSEC
Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi
2004 J jnl
Comparing Software Rejuvenation Policies under Different Dependability Measures.
IEICE Trans. Inf. Syst.
Tadashi Dohi, Hiroaki Suzuki, Kishor S. Trivedi
2004 — conf
EM Algorithm for Discrete Software Reliability Models: A Unified Parameter Estimation Method.
HASE
Hiroyuki Okamura, Atsushi Murayama, Tadashi Dohi
2004 — conf
EM algorithms for logistic software reliability models.
IASTED Conf. on Software Engineering
Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki
2004 A conf
Min-Max Checkpoint Placement under Incomplete Failure Information.
DSN
Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio
2003 A conf
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling.
ISSRE
Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi
2003 J jnl
Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi
2003 A conf
Maximizing Interval Reliability in Operational Software System with Rejuvenation.
ISSRE
Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
2002 B conf
Availability Models with Age-Dependent Checkpointing.
SRDS
Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
2002 J jnl
Cost-Effective Analysis of Software Systems with Periodic Rejuvenation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroaki Suzuki, Tadashi Dohi, Hiroyuki Okamura
2002 A conf
Dependability Analysis of a Client/Server Software System with Rejuvenation.
ISSRE
Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi
2002 — conf
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application.
HASE
Tadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio
2002 — conf
Estimating Mixed Software Reliability Models Based on the EM Algorithm.
ISESE
Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi
2002 J jnl
Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation.
RAIRO Oper. Res.
Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi
2001 A conf
Analysis of Hypergeometric Distribution Software Reliability Model.
ISSRE
Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi
2001 J jnl
Estimating Software Rejuvenation Schedules in High-Assurance Systems.
Comput. J.
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
2001 C conf
Optimal Software Rejuvenation Policy with Discounting.
PRDC
Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura
2001 J jnl
The Lorenz Transform approach to the Optimal Repair-Cost limit remplacement Policy with Imperfect Repair.
RAIRO Oper. Res.
Tadashi Dohi, F. S. Othman, Naoto Kaio, Shunji Osaki
2000 — conf
Analysis of software cost models with rejuvenation.
HASE
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
2000 A conf
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications.
ISSRE
Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi
2000 — conf
Performance analysis of a transaction based software system with shutdown.
Workshop on Software and Performance
Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki
2000 C conf
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.
PRDC
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
1999 C conf
Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms.
PRDC
Tadashi Dohi, Shunji Osaki, Naoto Kaio
1999 J jnl
Optimal software release scheduling based on artificial neural networks.
Ann. Softw. Eng.
Tadashi Dohi, Yasuhiko Nishio, Shunji Osaki
1993 J jnl
A note on portfolio optimization with path-dependent utility.
Ann. Oper. Res.
Tadashi Dohi, Shunji Osaki
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling