| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiao Xiao, Hiroyuki Okamura, Tadashi Dohi |
NHPP-Based Software Reliability Models Using Equilibrium Distribution.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi |
A refined EM algorithm for PH distributions.  |
Perform. Eval.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Unification of Software Reliability Models Using Markovian Arrival Processes.  |
PRDC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Yusuke Etani, Tadashi Dohi |
Quantifying the Effectiveness of Testing Efforts on Software Fault Detection with a Logit Software Reliability Growth Model.  |
IWSM/Mensura  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki |
Bayesian Inference for Credible Intervals of Optimal Software Release Time.  |
FGIT-ASEA/DRBC/EL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kei Okumura, Hiroyuki Okamura, Tadashi Dohi |
On the Effect of the Order of Test Cases in the Modified Exponential Software Reliability Growth Model.  |
ICNC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Application of Reinforcement Learning to Software Rejuvenation.  |
ISADS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system.  |
Journal of Systems and Software  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Software safety assessment based on a subordinated Markov chain.  |
Int. J. Systems Assurance Engineering and Management  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Estimating Computer Virus Propagation Based on Markovian Arrival Processes.  |
PRDC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiya Fujii, Tadashi Dohi, Hiroyuki Okamura, Takaji Fujiwara |
A Software Accelerated Life Testing Model.  |
PRDC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Zhou, Hiroyuki Okamura, Tadashi Dohi |
Markov Chain Monte Carlo Random Testing.  |
AST/UCMA/ISA/ACN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Zhou, Hiroyuki Okamura, Tadashi Dohi |
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods.  |
HASE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi |
On-Line Adaptive Algorithms in Autonomic Restart Control.  |
ATC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Yusuke Etani, Tadashi Dohi |
A Multi-factor Software Reliability Model Based on Logistic Regression.  |
ISSRE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Software Reliability Modeling Based on Capture-Recapture Sampling.  |
IEICE Transactions  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Koji Ohishi, Hiroyuki Okamura, Tadashi Dohi |
Gompertz software reliability model: Estimation algorithm and empirical validation.  |
Journal of Systems and Software  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi |
Markovian arrival process parameter estimation with group data.  |
IEEE/ACM Trans. Netw.  |
2009 |
DBLP DOI BibTeX RDF |
group data, maximum-likelihood (ML) estimation, network traffic, Markovian arrival process (MAP), Markov-modulated Poisson process (MMPP), expectation-maximization (EM) algorithm |
| 1 | Takumi Hirata, Hiroyuki Okamura, Tadashi Dohi |
A Bayesian Inference Tool for NHPP-Based Software Reliability Assessment.  |
FGIT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes.  |
QEST  |
2009 |
DBLP DOI BibTeX RDF |
continuous hidden Markov model, EM algorithm, Maximum likelihood estimation, Markovian arrival process |
| 1 | Hiroyuki Okamura, Masataka Tokuzane, Tadashi Dohi |
Optimal Security Patch Release Timing under Non-homogeneous Vulnerability-Discovery Processes.  |
ISSRE  |
2009 |
DBLP DOI BibTeX RDF |
vulnerability-discovery process, non-homogeneous Poisson process, patch management |
| 1 | Ryutaro Fujimoto, Hiroyuki Okamura, Tadashi Dohi |
Security Evaluation of an Intrusion Tolerant System with MRSPNs.  |
ARES  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Hyper-Erlang Software Reliability Model.  |
PRDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Analysis of a Software System with Rejuvenation, Restoration and Checkpointing.  |
ISAS  |
2008 |
DBLP DOI BibTeX RDF |
software availability, optimization, checkpoint, restoration, dynamic programing algorithm, rejuvenation |
| 1 | Hiroyuki Okamura, Mitsuaki Ando, Tadashi Dohi |
A generalized gamma software reliability model.  |
Systems and Computers in Japan  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi, Hiroyuki Okamura |
Quantifying Software Maintainability Based on a Fault-Detection/Correction Model.  |
PRDC  |
2007 |
DBLP DOI BibTeX RDF |
fault correction process, Mt/M/ queueing model, software reliability, maximum likelihood estimation |
| 1 | Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi |
Estimating Markov-modulated compound Poisson processes.  |
VALUETOOLS  |
2007 |
DBLP DOI BibTeX RDF |
Markov-modulated compound Poisson process, compound Markovian arrival process, EM algorithm, maximum likelihood estimation, uniformization |
| 1 | Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi |
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models.  |
DSN  |
2007 |
DBLP DOI BibTeX RDF |
interval estimation, Software reliability, non-homogeneous Poisson process, variational Bayes |
| 1 | Tomotaka Ishii, Tadashi Dohi, Hiroyuki Okamura |
Bivariate Software Fault-Detection Models.  |
COMPSAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Zhang, Hiroyuki Okamura, Tadashi Dohi |
Performance Evaluation for Automatic Protection Switching in a CDMA-TDD Wireless Communication System.  |
HCI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Kazuya Tateishi, Tadashi Dohi |
Statistical Inference of Computer Virus Propagation Using Non-Homogeneous Poisson Processes.  |
ISSRE  |
2007 |
DBLP DOI BibTeX RDF |
mixed-type model, EM algorithm, computer virus, non-homogeneous Poisson process, goodness-of-fit test |
| 1 | Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio |
Distribution-Free Checkpoint Placement Algorithms Based on Min-Max Principle.  |
IEEE Trans. Dependable Sec. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
incomplete failure information, performance evaluation, fault-tolerance, maintenance, high availability, modeling and prediction, Checkpoint/restart |
| 1 | Kazuki Iwamoto, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio |
Discrete-time cost analysis for a telecommunication billing application with rejuvenation.  |
Computers & Mathematics with Applications  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Ando, Hiroyuki Okamura, Tadashi Dohi |
Estimating Markov Modulated Software Reliability Models via EM Algorithm.  |
DASC  |
2006 |
DBLP DOI BibTeX RDF |
Information criterion, EM algorithm, Software reliability models, Markov modulated processes |
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Building Phase-Type Software Reliability Models.  |
ISSRE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Hitoshi Furumura, Tadashi Dohi |
On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach.  |
ISSRE  |
2006 |
DBLP DOI BibTeX RDF |
input domain model, software testing, random testing, Bayesian approach, reliability estimation |
| 1 | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
Rejuvenating Communication Network System under Burst Arrival Circumstances.  |
IEICE Transactions  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Kei Tsuruta, Tadashi Dohi |
An Architecture-based Software Reliability Model with Finite Number of Faults.  |
IASTED Conf. on Software Engineering  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Koji Ohishi, Hiroyuki Okamura, Tadashi Dohi |
Gompertz Software Reliability Model and Its Application.  |
COMPSAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Kazuki Iwamoto, Tadashi Dohi |
A Dynamic Programming Algorithm for Software Rejuvenation Scheduling under Distributed Computation Circumstance.  |
ICPADS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
Effect of preventive rejuvenation in communication network system with burst arrival.  |
ISADS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi |
Performance Evaluation of Power-Aware Communication Network Devices.  |
EUC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi |
Markovian Modeling and Analysis of Internet Worm Propagation.  |
ISSRE  |
2005 |
DBLP DOI BibTeX RDF |
Internet worm propagation, epidemic SIS model, kill signal, matrix geometric analysis, Markov model, dependability measures |
| 1 | Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi |
A Dynamic Checkpointing Scheme Based on Reinforcement Learning.  |
PRDC  |
2004 |
DBLP DOI BibTeX RDF |
Dynamic checkpointing, Uniprocess application, Reinforcement learning, Q-learning, Semi-Markov decision process |
| 1 | Hiroyuki Okamura, Atsushi Murayama, Tadashi Dohi |
EM Algorithm for Discrete Software Reliability Models: A Unified Parameter Estimation Method.  |
HASE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki |
EM algorithms for logistic software reliability models.  |
IASTED Conf. on Software Engineering  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio |
Min-Max Checkpoint Placement under Incomplete Failure Information.  |
DSN  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi |
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling.  |
ISSRE  |
2003 |
DBLP DOI BibTeX RDF |
EM algorithm, maximum likelihood estimation, software reliability model, non-homogeneous Poisson process |
| 1 | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
Refined non-homogeneous markovian models for a single-server type of software system with rejuvenation.  |
RAIRO - Operations Research  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio |
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application.  |
HASE  |
2002 |
DBLP DOI BibTeX RDF |
availability, fault management, software rejuvenation, discrete-time model, non-parametric estimation |
| 1 | Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi |
Estimating Mixed Software Reliability Models Based on the EM Algorithm.  |
ISESE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
Dependability Analysis of a Client/Server Software System with Rejuvenation.  |
ISSRE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura |
Optimal Software Rejuvenation Policy with Discounting.  |
PRDC  |
2001 |
DBLP DOI BibTeX RDF |
semi-Mark v process, modified TTT statistics, estimation algorithm, cost model, software rejuvenation, preventive maintenance |
| 1 | Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki |
Performance analysis of a transaction based software system with shutdown.  |
Workshop on Software and Performance  |
2000 |
DBLP DOI BibTeX RDF |
|