default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tadashi Dohi
@article{DBLP:journals/computer/YanoDO24,
author = {Hiromu Yano and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Performance Comparison of Software Reliability Estimation Algorithms},
journal = {Computer},
volume = {57},
number = {4},
pages = {26--36},
year = {2024},
url = {https://doi.org/10.1109/MC.2023.3334163},
doi = {10.1109/MC.2023.3334163},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/YanoDO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/DohiLO24,
author = {Tadashi Dohi and
Siqiao Li and
Hiroyuki Okamura},
title = {Local polynomial software reliability models and their application},
journal = {Inf. Softw. Technol.},
volume = {166},
pages = {107366},
year = {2024},
url = {https://doi.org/10.1016/j.infsof.2023.107366},
doi = {10.1016/J.INFSOF.2023.107366},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/DohiLO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WuDO24,
author = {Jingchi Wu and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Long-term software fault prediction with wavelet shrinkage estimation},
journal = {J. Syst. Softw.},
volume = {216},
pages = {112123},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2024.112123},
doi = {10.1016/J.JSS.2024.112123},
timestamp = {Sun, 14 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/WuDO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/ZhengOD24,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {On the sensitivity of stationary solutions of Markov regenerative
processes},
journal = {Perform. Evaluation},
volume = {164},
pages = {102397},
year = {2024},
url = {https://doi.org/10.1016/j.peva.2024.102397},
doi = {10.1016/J.PEVA.2024.102397},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/ZhengOD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qre/ZhaoYDY24,
author = {Qian Qian Zhao and
Jae Yoon Yoo and
Tadashi Dohi and
Won Young Yun},
title = {Optimum maintenance units in multi-indenture systems},
journal = {Qual. Reliab. Eng. Int.},
volume = {40},
number = {5},
pages = {2792--2821},
year = {2024},
url = {https://doi.org/10.1002/qre.3549},
doi = {10.1002/QRE.3549},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qre/ZhaoYDY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/WuQD24,
author = {Jing Wu and
Cunhua Qian and
Tadashi Dohi},
title = {Optimal opportunity-based age replacement policies in discrete time},
journal = {Reliab. Eng. Syst. Saf.},
volume = {241},
pages = {109587},
year = {2024},
url = {https://doi.org/10.1016/j.ress.2023.109587},
doi = {10.1016/J.RESS.2023.109587},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/WuQD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/GuoOD24,
author = {Xiujing Guo and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Optimal test case generation for boundary value analysis},
journal = {Softw. Qual. J.},
volume = {32},
number = {2},
pages = {543--566},
year = {2024},
url = {https://doi.org/10.1007/s11219-023-09659-9},
doi = {10.1007/S11219-023-09659-9},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/GuoOD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/FengODY24,
author = {Zilong Feng and
Hiroyuki Okamura and
Tadashi Dohi and
Won Young Yun},
title = {Reliability Computing Methods of Probabilistic Location Set Covering
Problem Considering Wireless Network Applications},
journal = {{IEEE} Trans. Reliab.},
volume = {73},
number = {1},
pages = {290--303},
year = {2024},
url = {https://doi.org/10.1109/TR.2023.3301929},
doi = {10.1109/TR.2023.3301929},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/FengODY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HagiharaDO24,
author = {Yuki Hagihara and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Performance Comparison of Bayesian Estimations on the Residual Number
of Software Bugs},
booktitle = {54th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2024 - Workshops, Brisbane, Australia, June 24-27,
2024},
pages = {9--16},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/DSN-W60302.2024.00015},
doi = {10.1109/DSN-W60302.2024.00015},
timestamp = {Thu, 19 Sep 2024 11:22:29 +0200},
biburl = {https://dblp.org/rec/conf/dsn/HagiharaDO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saem/LiDO23,
author = {Siqiao Li and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Software reliability analysis via geometric de-eutrophication models
with group data},
journal = {Int. J. Syst. Assur. Eng. Manag.},
volume = {14},
number = {1},
pages = {156--164},
year = {2023},
url = {https://doi.org/10.1007/s13198-021-01381-8},
doi = {10.1007/S13198-021-01381-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/saem/LiDO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/LiDO23,
author = {Siqiao Li and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Nonhomogeneous Markov Process Modeling for Software Reliability Assessment},
journal = {{IEEE} Trans. Reliab.},
volume = {72},
number = {4},
pages = {1540--1555},
year = {2023},
url = {https://doi.org/10.1109/TR.2023.3316891},
doi = {10.1109/TR.2023.3316891},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/LiDO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/GuoOD23,
author = {Xiujing Guo and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Towards High-Quality Test Suite Generation with ML-Based Boundary
Value Analysis},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {75--85},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00020},
doi = {10.1109/DSA59317.2023.00020},
timestamp = {Fri, 24 Nov 2023 19:56:37 +0100},
biburl = {https://dblp.org/rec/conf/dsa/GuoOD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/QiuLDO23,
author = {Nanxiang Qiu and
Siqiao Li and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Another Look at Non-homogeneous Markovian Software Reliability Modeling},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {190--199},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00032},
doi = {10.1109/DSA59317.2023.00032},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsa/QiuLDO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/WuDO23,
author = {Jingchi Wu and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Software Reliability Modeling Based on Zero-truncated and/or Zero-inflated
Compound Distributions},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {668--679},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00098},
doi = {10.1109/DSA59317.2023.00098},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsa/WuDO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/KandaOD23,
author = {Hisashi Kanda and
Hiroyuki Okamura and
Tadashi Dohi},
title = {A Note on Optimal Retraining Strategy for {ML} Systems},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {730--733},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00104},
doi = {10.1109/DSA59317.2023.00104},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsa/KandaOD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/WuDO23a,
author = {Jingchi Wu and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Tool Development of Daubechies Wavelet Estimation for Stochastic Counting
Processes},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {870--879},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00123},
doi = {10.1109/DSA59317.2023.00123},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsa/WuDO23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KaibeOD23,
author = {Yuto Kaibe and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Towards Predicting Source Code Changes Based on Natural Language Processing
Models: An Empirical Evaluation},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {108--111},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00056},
doi = {10.1109/ISSREW60843.2023.00056},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/KaibeOD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ZhengOD23,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Hierarchical Dependability Modeling with Multi-State Systems},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {268--277},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00043},
doi = {10.1109/PRDC59308.2023.00043},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ZhengOD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GuoOD22,
author = {Xiujing Guo and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Automated Software Test Data Generation With Generative Adversarial
Networks},
journal = {{IEEE} Access},
volume = {10},
pages = {20690--20700},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3153347},
doi = {10.1109/ACCESS.2022.3153347},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GuoOD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetb/LiZOD22,
author = {Chen Li and
Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Parameter Estimation of Markovian Arrivals with Utilization Data},
journal = {{IEICE} Trans. Commun.},
volume = {105-B},
number = {1},
pages = {1--10},
year = {2022},
url = {https://doi.org/10.1587/transcom.2021ebp3007},
doi = {10.1587/TRANSCOM.2021EBP3007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetb/LiZOD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpe/LiZOD22,
author = {Chen Li and
Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Hierarchical Bayesian Parameter Estimation of Queueing Systems using
Utilization Data},
journal = {Int. J. Perform. Eng.},
volume = {18},
number = {5},
pages = {307},
year = {2022},
url = {https://doi.org/10.23940/ijpe.22.05.p1.307316},
doi = {10.23940/IJPE.22.05.P1.307316},
timestamp = {Thu, 30 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpe/LiZOD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpe/ZhangZOD22,
author = {Jiahao Zhang and
Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Variance-Based Sensitivity Analysis for Markov Models using Moment
Approximation},
journal = {Int. J. Perform. Eng.},
volume = {18},
number = {5},
pages = {329},
year = {2022},
url = {https://doi.org/10.23940/ijpe.22.05.p3.329337},
doi = {10.23940/IJPE.22.05.P3.329337},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpe/ZhangZOD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LiDO22,
author = {Siqiao Li and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Burr-type NHPP-based software reliability models and their applications
with two type of fault count data},
journal = {J. Syst. Softw.},
volume = {191},
pages = {111367},
year = {2022},
url = {https://doi.org/10.1016/j.jss.2022.111367},
doi = {10.1016/J.JSS.2022.111367},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/LiDO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZhengOPD21,
author = {Junjun Zheng and
Hiroyuki Okamura and
Taoming Pang and
Tadashi Dohi},
title = {Availability importance measures of components in smart electric power
grid systems},
journal = {Reliab. Eng. Syst. Saf.},
volume = {205},
pages = {107164},
year = {2021},
url = {https://doi.org/10.1016/j.ress.2020.107164},
doi = {10.1016/J.RESS.2020.107164},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/ZhengOPD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZhengOD21,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Age replacement with Markovian opportunity process},
journal = {Reliab. Eng. Syst. Saf.},
volume = {216},
pages = {107949},
year = {2021},
url = {https://doi.org/10.1016/j.ress.2021.107949},
doi = {10.1016/J.RESS.2021.107949},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/ZhengOD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/ZhengODT21,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi and
Kishor S. Trivedi},
title = {Quantitative Security Evaluation of Intrusion Tolerant Systems With
Markovian Arrivals},
journal = {{IEEE} Trans. Reliab.},
volume = {70},
number = {2},
pages = {547--562},
year = {2021},
url = {https://doi.org/10.1109/TR.2020.3026570},
doi = {10.1109/TR.2020.3026570},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/ZhengODT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiDO21,
author = {Siqiao Li and
Tadashi Dohi and
Hiroyuki Okamura},
title = {A Comprehensive Evaluation for Burr-Type NHPP-based Software Reliability
Models},
booktitle = {8th International Conference on Dependable Systems and Their Applications,
{DSA} 2021, Yinchuan, China, August 5-6, 2021},
pages = {1--11},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSA52907.2021.00010},
doi = {10.1109/DSA52907.2021.00010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsa/LiDO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/0002D21,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Interval Estimation for Non-Parametric NHPP-based Software Reliability
Model via Simulation-based Bootstrap},
booktitle = {8th International Conference on Dependable Systems and Their Applications,
{DSA} 2021, Yinchuan, China, August 5-6, 2021},
pages = {265--270},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSA52907.2021.00040},
doi = {10.1109/DSA52907.2021.00040},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsa/0002D21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhengOD21,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Sensitivity Analysis of Software Rejuvenation Model with Markov Regenerative
Process},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2021 - Workshops, Wuhan, China, October 25-28, 2021},
pages = {9--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSREW53611.2021.00038},
doi = {10.1109/ISSREW53611.2021.00038},
timestamp = {Thu, 17 Feb 2022 11:45:39 +0100},
biburl = {https://dblp.org/rec/conf/issre/ZhengOD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/SaikiLOD21,
author = {Kenya Saiki and
Shaoying Liu and
Hiroyuki Okamura and
Tadashi Dohi},
title = {A Tool to Support Vibration Testing Method for Automatic Test Case
Generation and Test Result Analysis},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {149--156},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00026},
doi = {10.1109/QRS54544.2021.00026},
timestamp = {Wed, 16 Mar 2022 22:32:21 +0100},
biburl = {https://dblp.org/rec/conf/qrs/SaikiLOD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ChenDO21,
author = {Xuanqing Chen and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Investigating Trend/Cyclic/Clustering Decomposition in Software Fault
Detection},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021 - Companion, Hainan, China, December 6-10,
2021},
pages = {343--349},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS-C55045.2021.00058},
doi = {10.1109/QRS-C55045.2021.00058},
timestamp = {Tue, 12 Apr 2022 17:57:49 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ChenDO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/WuDO21,
author = {Jingchi Wu and
Tadashi Dohi and
Hiroyuki Okamura},
title = {{W-SRAT:} Wavelet-based Software Reliability Assessment Tool},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {564--573},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00067},
doi = {10.1109/QRS54544.2021.00067},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/WuDO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/ChengOD20,
author = {Yepeng Cheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {A Comprehensive Performance Evaluation on Iterative Algorithms for
Sensitivity Analysis of Continuous-Time Markov Chains},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {103-A},
number = {11},
pages = {1252--1259},
year = {2020},
url = {https://doi.org/10.1587/transfun.2019EAP1171},
doi = {10.1587/TRANSFUN.2019EAP1171},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieiceta/ChengOD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/ZhengOD20,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Optimal Rejuvenation Policies for Non-Markovian Availability Models
with Aperiodic Checkpointing},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {103-D},
number = {10},
pages = {2133--2142},
year = {2020},
url = {https://doi.org/10.1587/transinf.2019EDP7321},
doi = {10.1587/TRANSINF.2019EDP7321},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/ZhengOD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/ZhengOD20,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {A transient interval reliability analysis for software rejuvenation
models with phase expansion},
journal = {Softw. Qual. J.},
volume = {28},
number = {1},
pages = {173--194},
year = {2020},
url = {https://doi.org/10.1007/s11219-019-09458-1},
doi = {10.1007/S11219-019-09458-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/ZhengOD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhengOD20,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {How Robust is the Optimal Software Rejuvenation Timing?},
booktitle = {2020 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
pages = {336--341},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSREW51248.2020.00098},
doi = {10.1109/ISSREW51248.2020.00098},
timestamp = {Thu, 14 Jan 2021 08:55:20 +0100},
biburl = {https://dblp.org/rec/conf/issre/ZhengOD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/OkamuraMD20,
author = {Hiroyuki Okamura and
Kazuya Morihara and
Tadashi Dohi},
title = {An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets},
booktitle = {{VALUETOOLS} 2020: 13th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020},
pages = {104--111},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3388831.3388844},
doi = {10.1145/3388831.3388844},
timestamp = {Mon, 01 Jun 2020 19:30:16 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/OkamuraMD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/20/OkamuraD20,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Tadashi Dohi and
Kishor S. Trivedi and
Alberto Avritzer},
title = {Analysis of Queueing Models for Rejuvenation},
booktitle = {Handbook of Software Aging and Rejuvenation - Fundamentals, Methods,
Applications, and Future Directions},
pages = {127--154},
publisher = {WorldScientific},
year = {2020},
url = {https://doi.org/10.1142/9789811214578\_0006},
doi = {10.1142/9789811214578\_0006},
timestamp = {Thu, 27 Oct 2022 17:13:06 +0200},
biburl = {https://dblp.org/rec/books/ws/20/OkamuraD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ws/20/DTA2020,
editor = {Tadashi Dohi and
Kishor S. Trivedi and
Alberto Avritzer},
title = {Handbook of Software Aging and Rejuvenation - Fundamentals, Methods,
Applications, and Future Directions},
publisher = {WorldScientific},
year = {2020},
url = {https://doi.org/10.1142/11673},
doi = {10.1142/11673},
isbn = {9789811214561},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/20/DTA2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LiOD19,
author = {Chen Li and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Parameter Estimation of {\textdollar}M{\_}\{t\}/M/1/K{\textdollar}
Queueing Systems With Utilization Data},
journal = {{IEEE} Access},
volume = {7},
pages = {42664--42671},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2906796},
doi = {10.1109/ACCESS.2019.2906796},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LiOD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhengOD19,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type
Patch Management},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {156--163},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00032},
doi = {10.1109/HASE.2019.00032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/ZhengOD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ZhangZOD19,
author = {Jiahao Zhang and
Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Moment-Based Approximation for Uncertainty Propagation in Fault Trees},
booktitle = {24th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2019, Kyoto, Japan, December 1-3, 2019},
pages = {120--121},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PRDC47002.2019.00040},
doi = {10.1109/PRDC47002.2019.00040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/ZhangZOD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/OkamuraD19,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped
Data},
booktitle = {19th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019},
pages = {77--82},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/QRS.2019.00023},
doi = {10.1109/QRS.2019.00023},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/OkamuraD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/UshirodaDSO19,
author = {Takahiro Ushiroda and
Tadashi Dohi and
Yasuhiro Saito and
Hiroyuki Okamura},
title = {A Point Process Approach of Bug Fixing Analysis in Open Source Software
Projects},
booktitle = {19th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019},
pages = {83--88},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/QRS.2019.00024},
doi = {10.1109/QRS.2019.00024},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/UshirodaDSO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhengOD18,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Component Importance Analysis of Mobile Cloud Computing System in
the Presence of Common-Cause Failures},
journal = {{IEEE} Access},
volume = {6},
pages = {18630--18642},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2822338},
doi = {10.1109/ACCESS.2018.2822338},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ZhengOD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/DohiZOT18,
author = {Tadashi Dohi and
Junjun Zheng and
Hiroyuki Okamura and
Kishor S. Trivedi},
title = {Optimal periodic software rejuvenation policies based on interval
reliability criteria},
journal = {Reliab. Eng. Syst. Saf.},
volume = {180},
pages = {463--475},
year = {2018},
url = {https://doi.org/10.1016/j.ress.2018.08.009},
doi = {10.1016/J.RESS.2018.08.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/DohiZOT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OzawaDO18,
author = {Masataka Ozawa and
Tadashi Dohi and
Hiroyuki Okamura},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {How Do Software Metrics Affect Test Case Prioritization?},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {245--250},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00038},
doi = {10.1109/COMPSAC.2018.00038},
timestamp = {Mon, 02 Sep 2024 08:02:21 +0200},
biburl = {https://dblp.org/rec/conf/compsac/OzawaDO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhengOD18,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {A Pull-Type Security Patch Management of an Intrusion Tolerant System
Under a Periodic Vulnerability Checking Strategy},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {630--635},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00095},
doi = {10.1109/COMPSAC.2018.00095},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/ZhengOD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/OkamuraDT18,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Kishor S. Trivedi},
title = {Parametric Uncertainty Propagation through Dependability Models},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {10--18},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00011},
doi = {10.1109/LADC.2018.00011},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ladc/OkamuraDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ZhaoDO18,
author = {Yunlu Zhao and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Software Test-Run Reliability Modeling with Non-homogeneous Binomial
Processes},
booktitle = {23rd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2018, Taipei, Taiwan, December 4-7, 2018},
pages = {145--154},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PRDC.2018.00025},
doi = {10.1109/PRDC.2018.00025},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/prdc/ZhaoDO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/OkamuraD17,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Dynamic Power Management With Optimal Time-Out Policies},
journal = {{IEEE} Syst. J.},
volume = {11},
number = {2},
pages = {962--972},
year = {2017},
url = {https://doi.org/10.1109/JSYST.2015.2450935},
doi = {10.1109/JSYST.2015.2450935},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/OkamuraD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/ZhengOLD17,
author = {Junjun Zheng and
Hiroyuki Okamura and
Lin Li and
Tadashi Dohi},
title = {A Comprehensive Evaluation of Software Rejuvenation Policies for Transaction
Systems With Markovian Arrivals},
journal = {{IEEE} Trans. Reliab.},
volume = {66},
number = {4},
pages = {1157--1177},
year = {2017},
url = {https://doi.org/10.1109/TR.2017.2741526},
doi = {10.1109/TR.2017.2741526},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/ZhengOLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KawasakiOD17,
author = {Miho Kawasaki and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {A Comprehensive Evaluation of Software Reliability Modeling Based
on Marshall-Olkin Type Fault-Detection Time Distribution},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {486--494},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.55},
doi = {10.1109/APSEC.2017.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KawasakiOD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/OkumuraOD17,
author = {Kei Okumura and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Software Reliability Modeling and Analysis via Kernel-Based Approach},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {154--157},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.16},
doi = {10.1109/ICECCS.2017.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/OkumuraOD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD17,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {A Generalized Bivariate Modeling Framework of Fault Detection and
Correction Processes},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {35--45},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.22},
doi = {10.1109/ISSRE.2017.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/OkamuraZD17,
author = {Hiroyuki Okamura and
Junjun Zheng and
Tadashi Dohi},
title = {A Statistical Framework on Software Aging Modeling with Continuous-Time
Hidden Markov Model},
booktitle = {36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017,
Hong Kong, Hong Kong, September 26-29, 2017},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SRDS.2017.24},
doi = {10.1109/SRDS.2017.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/srds/OkamuraZD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/OkamuraD16,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Phase-type software reliability model: parameter estimation algorithms
with grouped data},
journal = {Ann. Oper. Res.},
volume = {244},
number = {1},
pages = {177--208},
year = {2016},
url = {https://doi.org/10.1007/s10479-015-1870-0},
doi = {10.1007/S10479-015-1870-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/OkamuraD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/DohiY16,
author = {Tadashi Dohi and
Hisashi Yamamoto},
title = {Special Section on Computational Reliability in Engineering and Science},
journal = {J. Comput. Sci.},
volume = {17},
pages = {115--116},
year = {2016},
url = {https://doi.org/10.1016/j.jocs.2016.11.004},
doi = {10.1016/J.JOCS.2016.11.004},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocs/DohiY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SaitoD16,
author = {Yasuhiro Saito and
Tadashi Dohi},
title = {Predicting software reliability via completely monotone nonparametric
estimator with grouped data},
journal = {J. Syst. Softw.},
volume = {117},
pages = {296--306},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.03.047},
doi = {10.1016/J.JSS.2016.03.047},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/SaitoD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/RinsakaD16,
author = {Koichiro Rinsaka and
Tadashi Dohi},
title = {Toward high assurance software systems with adaptive fault management},
journal = {Softw. Qual. J.},
volume = {24},
number = {1},
pages = {65--85},
year = {2016},
url = {https://doi.org/10.1007/s11219-014-9264-0},
doi = {10.1007/S11219-014-9264-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/RinsakaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/ZhengOD16,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Performance Evaluation of VM-based Intrusion Tolerant Systems with
Poisson Arrivals},
booktitle = {Fourth International Symposium on Computing and Networking, {CANDAR}
2016, Hiroshima, Japan, November 22-25, 2016},
pages = {181--187},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CANDAR.2016.0041},
doi = {10.1109/CANDAR.2016.0041},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/ZhengOD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/ZhengOD16,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Mean Time to Security Failure of VM-Based Intrusion Tolerant Systems},
booktitle = {36th {IEEE} International Conference on Distributed Computing Systems
Workshops, {ICDCS} Workshops, Nara, Japan, June 27-30, 2016},
pages = {128--133},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICDCSW.2016.30},
doi = {10.1109/ICDCSW.2016.30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcsw/ZhengOD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/RinsakaWD16,
author = {Koichiro Rinsaka and
W. Eric Wong and
Tadashi Dohi},
title = {NPI-Based Adaptive Software Rejuvenation Schedule under Random Censoring},
booktitle = {2016 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2016, Ottawa, ON, Canada, October 23-27,
2016},
pages = {91--97},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSREW.2016.34},
doi = {10.1109/ISSREW.2016.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/RinsakaWD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD16,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {A Phase Expansion Approach for Transient Analysis of Software Rejuvenation
Model},
booktitle = {2016 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2016, Ottawa, ON, Canada, October 23-27,
2016},
pages = {98--103},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSREW.2016.53},
doi = {10.1109/ISSREW.2016.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YiD15,
author = {Zhipeng Yi and
Tadashi Dohi},
title = {Toward Highly Dependable Power-Aware Mobile Ad Hoc Network-Survivability
Evaluation Framework},
journal = {{IEEE} Access},
volume = {3},
pages = {2665--2676},
year = {2015},
url = {https://doi.org/10.1109/ACCESS.2015.2507201},
doi = {10.1109/ACCESS.2015.2507201},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/OkamuraMD15,
author = {Hiroyuki Okamura and
Satoshi Miyata and
Tadashi Dohi},
title = {A Markov Decision Process Approach to Dynamic Power Management in
a Cluster System},
journal = {{IEEE} Access},
volume = {3},
pages = {3039--3047},
year = {2015},
url = {https://doi.org/10.1109/ACCESS.2015.2508601},
doi = {10.1109/ACCESS.2015.2508601},
timestamp = {Wed, 15 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/OkamuraMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SaitoD15,
author = {Yasuhiro Saito and
Tadashi Dohi},
title = {Software Reliability Assessment via Non-Parametric Maximum Likelihood
Estimation},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {98-A},
number = {10},
pages = {2042--2050},
year = {2015},
url = {https://doi.org/10.1587/transfun.E98.A.2042},
doi = {10.1587/TRANSFUN.E98.A.2042},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SaitoD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/OkamuraGLD15,
author = {Hiroyuki Okamura and
Jungang Guan and
Chao Luo and
Tadashi Dohi},
title = {Quantifying Resiliency of Virtualized System with Software Rejuvenation},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {98-A},
number = {10},
pages = {2051--2059},
year = {2015},
url = {https://doi.org/10.1587/transfun.E98.A.2051},
doi = {10.1587/TRANSFUN.E98.A.2051},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/OkamuraGLD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ImanakaD15,
author = {Takahiro Imanaka and
Tadashi Dohi},
title = {Software Reliability Modeling Based on Burr {XII} Distributions},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {98-A},
number = {10},
pages = {2091--2095},
year = {2015},
url = {https://doi.org/10.1587/transfun.E98.A.2091},
doi = {10.1587/TRANSFUN.E98.A.2091},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ImanakaD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ZhengOD15,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Survivability Analysis of VM-Based Intrusion Tolerant Systems},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {98-D},
number = {12},
pages = {2082--2090},
year = {2015},
url = {https://doi.org/10.1587/transinf.2015PAP0007},
doi = {10.1587/TRANSINF.2015PAP0007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ZhengOD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/OkamuraYD15,
author = {Hiroyuki Okamura and
Zhipeng Yi and
Tadashi Dohi},
title = {Network survivability modeling and analysis for power-aware MANETs
by Markov regenerative processes},
journal = {Telecommun. Syst.},
volume = {60},
number = {4},
pages = {471--484},
year = {2015},
url = {https://doi.org/10.1007/s11235-015-9989-5},
doi = {10.1007/S11235-015-9989-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/OkamuraYD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YiD15,
author = {Zhipeng Yi and
Tadashi Dohi},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {A Simulation Approach to Quantify Network Survivability on MANETs},
booktitle = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
pages = {268--273},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.238},
doi = {10.1109/COMPSAC.2015.238},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD15,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Towards comprehensive software reliability evaluation in open source
software},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {121--129},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381806},
doi = {10.1109/ISSRE.2015.7381806},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/YiDO15,
author = {Zhipeng Yi and
Tadashi Dohi and
Hiroyuki Okamura},
editor = {Guojun Wang and
Tatsuhiro Tsuchiya and
Dong Xiang},
title = {Survivability Quantification of Wireless Ad Hoc Network Taking Account
of Border Effects},
booktitle = {21st {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2015, Zhangjiajie, China, November 18-20, 2015},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PRDC.2015.35},
doi = {10.1109/PRDC.2015.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/YiDO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ZhengOD15,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Guojun Wang and
Tatsuhiro Tsuchiya and
Dong Xiang},
title = {Component Importance Measures for Real-Time Computing Systems in the
Presence of Common-Cause Failures},
booktitle = {21st {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2015, Zhangjiajie, China, November 18-20, 2015},
pages = {301--310},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PRDC.2015.30},
doi = {10.1109/PRDC.2015.30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/ZhengOD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/OkamuraD15,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {mapfit: An R-Based Tool for {PH/MAP} Parameter Estimation},
booktitle = {Quantitative Evaluation of Systems, 12th International Conference,
{QEST} 2015, Madrid, Spain, September 1-3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9259},
pages = {105--112},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_7},
doi = {10.1007/978-3-319-22264-6\_7},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/OkamuraD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/SaitoD15,
author = {Yasuhiro Saito and
Tadashi Dohi},
title = {Robustness of Non-homogeneous Gamma Process-Based Software Reliability
Models},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015},
pages = {75--84},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS.2015.21},
doi = {10.1109/QRS.2015.21},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/SaitoD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/OkamuraTD15,
author = {Hiroyuki Okamura and
Yuki Takekoshi and
Tadashi Dohi},
title = {Fine-Grained Software Reliability Estimation Using Software Testing
Inputs},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015},
pages = {85--92},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS.2015.22},
doi = {10.1109/QRS.2015.22},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/OkamuraTD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/YiD15,
author = {Zhipeng Yi and
Tadashi Dohi},
title = {Survivability Analysis with Border Effects for Power-Aware Mobile
Ad Hoc Network},
booktitle = {2015 {IEEE} 12th Intl Conf on Ubiquitous Intelligence and Computing
and 2015 {IEEE} 12th Intl Conf on Autonomic and Trusted Computing
and 2015 {IEEE} 15th Intl Conf on Scalable Computing and Communications
and Its Associated Workshops (UIC-ATC-ScalCom), Beijing, China, August
10-14, 2015},
pages = {476--483},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.99},
doi = {10.1109/UIC-ATC-SCALCOM-CBDCOM-IOP.2015.99},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/YiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/OkamuraMD15,
author = {Hiroyuki Okamura and
Satoshi Miyata and
Tadashi Dohi},
title = {Optimal Power-Aware Design in a Cluster System: Markov Decision Process
Approach},
booktitle = {2015 {IEEE} 12th Intl Conf on Ubiquitous Intelligence and Computing
and 2015 {IEEE} 12th Intl Conf on Autonomic and Trusted Computing
and 2015 {IEEE} 15th Intl Conf on Scalable Computing and Communications
and Its Associated Workshops (UIC-ATC-ScalCom), Beijing, China, August
10-14, 2015},
pages = {527--532},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.107},
doi = {10.1109/UIC-ATC-SCALCOM-CBDCOM-IOP.2015.107},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/OkamuraMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/YangADP14,
author = {Laurence T. Yang and
Bernady O. Apduhan and
Tadashi Dohi and
Manish Parashar},
title = {Guest editorial - Special issue on autonomic and trusted computing},
journal = {Computing},
volume = {96},
number = {10},
pages = {923--924},
year = {2014},
url = {https://doi.org/10.1007/s00607-014-0425-6},
doi = {10.1007/S00607-014-0425-6},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/YangADP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/CuiD14,
author = {Lirong Cui and
Tadashi Dohi},
title = {Preface to The 5th Asia-Pacific International Symposium on Advanced
Reliability and Maintenance Modeling {(APARM} 2012)},
journal = {Commun. Stat. Simul. Comput.},
volume = {43},
number = {8},
pages = {1837},
year = {2014},
url = {https://doi.org/10.1080/03610918.2014.897587},
doi = {10.1080/03610918.2014.897587},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cssc/CuiD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/OkamuraWD14,
author = {Hiroyuki Okamura and
Ryo Watanabe and
Tadashi Dohi},
title = {Variational Bayes for Phase-Type Distribution},
journal = {Commun. Stat. Simul. Comput.},
volume = {43},
number = {8},
pages = {2031--2044},
year = {2014},
url = {https://doi.org/10.1080/03610918.2013.848895},
doi = {10.1080/03610918.2013.848895},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/OkamuraWD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/XiaoD14,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Interval Estimation Method for Decision Making in Wavelet-Based Software
Reliability Assessment},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {97-D},
number = {5},
pages = {1058--1068},
year = {2014},
url = {https://doi.org/10.1587/transinf.E97.D.1058},
doi = {10.1587/TRANSINF.E97.D.1058},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/XiaoD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/AvritzerD14,
author = {Alberto Avritzer and
Tadashi Dohi},
title = {Introduction to special issue on WoSAR 2011},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {10},
number = {1},
pages = {7:1--7:2},
year = {2014},
url = {https://doi.org/10.1145/2543749.2543752},
doi = {10.1145/2543749.2543752},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/AvritzerD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/LuoOD14,
author = {Chao Luo and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Performance evaluation of snapshot isolation in distributed database
system under failure-prone environment},
journal = {J. Supercomput.},
volume = {70},
number = {3},
pages = {1156--1179},
year = {2014},
url = {https://doi.org/10.1007/s11227-014-1162-5},
doi = {10.1007/S11227-014-1162-5},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/LuoOD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/OkamuraD14,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {A Novel Framework of Software Reliability Evaluation with Software
Reliability Growth Models and Software Metrics},
booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014},
pages = {97--104},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HASE.2014.22},
doi = {10.1109/HASE.2014.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/OkamuraD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OkamuraKD14,
author = {Hiroyuki Okamura and
Yusuke Kunimoto and
Tadashi Dohi},
title = {Coarse-Grained Parallel Uniformization for Continuous-Time Markov
Chains},
booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2014, Singapore, November 18-21, 2014},
pages = {116--124},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PRDC.2014.22},
doi = {10.1109/PRDC.2014.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/OkamuraKD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KogaDO14,
author = {Toshitaka Koga and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Optimal Reliability Design for Real-Time Systems with Dynamic Voltage
and Frequency Scaling},
booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2014, Singapore, November 18-21, 2014},
pages = {213--222},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PRDC.2014.35},
doi = {10.1109/PRDC.2014.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KogaDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/OkamuraD13,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Optimal Trigger Time of Software Rejuvenation under Probabilistic
Opportunities},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {96-D},
number = {9},
pages = {1933--1940},
year = {2013},
url = {https://doi.org/10.1587/transinf.E96.D.1933},
doi = {10.1587/TRANSINF.E96.D.1933},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/OkamuraD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/OkamuraD13,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Dynamic software rejuvenation policies in a transaction-based system
under Markovian arrival processes},
journal = {Perform. Evaluation},
volume = {70},
number = {3},
pages = {197--211},
year = {2013},
url = {https://doi.org/10.1016/j.peva.2012.07.004},
doi = {10.1016/J.PEVA.2012.07.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/OkamuraD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/DohiN13,
author = {Tadashi Dohi and
Toshio Nakagawa},
title = {Special issue on stochastic reliability and maintenance modeling with
real applications},
journal = {Reliab. Eng. Syst. Saf.},
volume = {116},
pages = {84--85},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.04.001},
doi = {10.1016/J.RESS.2013.04.001},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/DohiN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/OkamuraDO13,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Shunji Osaki},
title = {Software reliability growth models with normal failure time distributions},
journal = {Reliab. Eng. Syst. Saf.},
volume = {116},
pages = {135--141},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2012.02.002},
doi = {10.1016/J.RESS.2012.02.002},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/OkamuraDO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZhouOD13,
author = {Bo Zhou and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Enhancing Performance of Random Testing through Markov Chain Monte
Carlo Methods},
journal = {{IEEE} Trans. Computers},
volume = {62},
number = {1},
pages = {186--192},
year = {2013},
url = {https://doi.org/10.1109/TC.2011.208},
doi = {10.1109/TC.2011.208},
timestamp = {Sun, 26 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/ZhouOD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/DohiLW13,
author = {Tadashi Dohi and
Kuan{-}Ching Li and
Yufeng Wang},
title = {Foreword - Special issue foreword: multi-disciplinarily inspired networks
and systems},
journal = {Telecommun. Syst.},
volume = {54},
number = {1},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1007/s11235-013-9719-9},
doi = {10.1007/S11235-013-9719-9},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/telsys/DohiLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/OkamuraKD13,
author = {Hiroyuki Okamura and
Hidenari Kishikawa and
Tadashi Dohi},
title = {Application of deterministic annealing {EM} algorithm to {MAP/PH}
parameter estimation},
journal = {Telecommun. Syst.},
volume = {54},
number = {1},
pages = {79--90},
year = {2013},
url = {https://doi.org/10.1007/s11235-013-9717-y},
doi = {10.1007/S11235-013-9717-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/OkamuraKD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/XiaoD13,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Wavelet Shrinkage Estimation for Non-Homogeneous Poisson Process Based
Software Reliability Models},
journal = {{IEEE} Trans. Reliab.},
volume = {62},
number = {1},
pages = {211--225},
year = {2013},
url = {https://doi.org/10.1109/TR.2013.2240897},
doi = {10.1109/TR.2013.2240897},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/XiaoD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/XiaoD13a,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Estimating Software Intensity Function Based on Translation-Invariant
Poisson Smoothing Approach},
journal = {{IEEE} Trans. Reliab.},
volume = {62},
number = {4},
pages = {930--945},
year = {2013},
url = {https://doi.org/10.1109/TR.2013.2285055},
doi = {10.1109/TR.2013.2285055},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/XiaoD13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuoOD13,
author = {Chao Luo and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Modeling and Analysis of Multi-version Concurrent Control},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {53--58},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.11},
doi = {10.1109/COMPSAC.2013.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LuoOD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KuwaD13,
author = {Daisuke Kuwa and
Tadashi Dohi},
title = {Generalized Logit Regression-Based Software Reliability Modeling with
Metrics Data},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {246--255},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.41},
doi = {10.1109/COMPSAC.2013.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KuwaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/KimuraTKID13,
author = {Mitsuhisa Kimura and
Yousuke Taoda and
Yoshiaki Kakuda and
Shinji Inoue and
Tadashi Dohi},
title = {A novel method based on {VANET} for alleviating traffic congestion
in urban transportations},
booktitle = {11th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2013, Mexico City, Mexico, 6-8 March 2013},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISADS.2013.6513408},
doi = {10.1109/ISADS.2013.6513408},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/KimuraTKID13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LuoOD13,
author = {Chao Luo and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Characteristic analysis of quantitative definition of resiliency measure},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental
Proceedings},
pages = {11--12},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSREW.2013.6688852},
doi = {10.1109/ISSREW.2013.6688852},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/LuoOD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD13,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {{SRATS:} Software reliability assessment tool on spreadsheet (Experience
report)},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {100--107},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698909},
doi = {10.1109/ISSRE.2013.6698909},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/IkemotoDO13,
author = {Shinya Ikemoto and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Quantifying software test process and product reliability simultaneously},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {108--117},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698910},
doi = {10.1109/ISSRE.2013.6698910},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/IkemotoDO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraLD13,
author = {Hiroyuki Okamura and
Chao Luo and
Tadashi Dohi},
title = {Estimating response time distribution of server application in software
aging phenomenon},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental
Proceedings},
pages = {281--284},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSREW.2013.6688907},
doi = {10.1109/ISSREW.2013.6688907},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraLD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsm/IkemotoDO13,
author = {Shinya Ikemoto and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Estimating Software Reliability with Static Project Data in Incremental
Development Processes},
booktitle = {2013 Joint Conference of the 23rd International Workshop on Software
Measurement and the 8th International Conference on Software Process
and Product Measurement, Ankara, Turkey, October 23-26, 2013},
pages = {219--224},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IWSM-Mensura.2013.38},
doi = {10.1109/IWSM-MENSURA.2013.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsm/IkemotoDO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KuwaDO13,
author = {Daisuke Kuwa and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Generalized Cox Proportional Hazards Regression-Based Software Reliability
Modeling with Metrics Data},
booktitle = {{IEEE} 19th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2013, Vancouver, BC, Canada, December 2-4, 2013},
pages = {328--337},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/PRDC.2013.55},
doi = {10.1109/PRDC.2013.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KuwaDO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KaneishiD13,
author = {Toshio Kaneishi and
Tadashi Dohi},
title = {Software Reliability Modeling and Evaluation under Incomplete Knowledge
on Fault Distribution},
booktitle = {{IEEE} 7th International Conference on Software Security and Reliability,
{SERE} 2013, Gaithersburg, MD, USA, June 18-20, 2013},
pages = {3--12},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SERE.2013.28},
doi = {10.1109/SERE.2013.28},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/KaneishiD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advse/XiaoD12,
author = {Xiao Xiao and
Tadashi Dohi},
title = {A Comparative Study of Data Transformations for Wavelet Shrinkage
Estimation with Application to Software Reliability Assessment},
journal = {Adv. Softw. Eng.},
volume = {2012},
pages = {524636:1--524636:9},
year = {2012},
url = {https://doi.org/10.1155/2012/524636},
doi = {10.1155/2012/524636},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/advse/XiaoD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/XiaoOD12,
author = {Xiao Xiao and
Hiroyuki Okamura and
Tadashi Dohi},
title = {NHPP-Based Software Reliability Models Using Equilibrium Distribution},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {5},
pages = {894--902},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.894},
doi = {10.1587/TRANSFUN.E95.A.894},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/XiaoOD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Dohi12,
author = {Tadashi Dohi},
title = {Foreword},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {9},
pages = {1449--1450},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1449},
doi = {10.1587/TRANSFUN.E95.A.1449},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/Dohi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/IkemotoD12,
author = {Shinya Ikemoto and
Tadashi Dohi},
title = {Exponential Regression-Based Software Reliability Model and Its Computational
Aspect},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {9},
pages = {1461--1468},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1461},
doi = {10.1587/TRANSFUN.E95.A.1461},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/IkemotoD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/XiaoD12,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Software Failure Time Data Analysis via Wavelet-Based Approach},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {9},
pages = {1490--1497},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1490},
doi = {10.1587/TRANSFUN.E95.A.1490},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/XiaoD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Dohi12a,
author = {Tadashi Dohi},
title = {Foreword},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {95-D},
number = {9},
pages = {2167--2168},
year = {2012},
url = {https://doi.org/10.1587/transinf.E95.D.2167},
doi = {10.1587/TRANSINF.E95.D.2167},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/Dohi12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ZhouOD12,
author = {Bo Zhou and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Application of Markov Chain Monte Carlo Random Testing to Test Case
Prioritization in Regression Testing},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {95-D},
number = {9},
pages = {2219--2226},
year = {2012},
url = {https://doi.org/10.1587/transinf.E95.D.2219},
doi = {10.1587/TRANSINF.E95.D.2219},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ZhouOD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/YiD12,
author = {Zhipeng Yi and
Tadashi Dohi},
title = {Survivability Analysis for a Wireless Ad Hoc Network Based on Semi-Markov
Model},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {95-D},
number = {12},
pages = {2844--2851},
year = {2012},
url = {https://doi.org/10.1587/transinf.E95.D.2844},
doi = {10.1587/TRANSINF.E95.D.2844},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/YiD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DohiU12,
author = {Tadashi Dohi and
Toshikazu Uemura},
title = {An adaptive mode control algorithm of a scalable intrusion tolerant
architecture},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1751--1774},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.022},
doi = {10.1016/J.JCSS.2011.10.022},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DohiU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/BesshoD12,
author = {Noriaki Bessho and
Tadashi Dohi},
editor = {Yang Xiang and
Ivan Stojmenovic and
Bernady O. Apduhan and
Guojun Wang and
Koji Nakano and
Albert Y. Zomaya},
title = {Comparing Checkpoint and Rollback Recovery Schemes in a Cluster System},
booktitle = {Algorithms and Architectures for Parallel Processing - 12th International
Conference, {ICA3PP} 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7439},
pages = {531--545},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33078-0\_38},
doi = {10.1007/978-3-642-33078-0\_38},
timestamp = {Fri, 31 Jul 2020 08:38:49 +0200},
biburl = {https://dblp.org/rec/conf/ica3pp/BesshoD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/YiDO12,
author = {Zhipeng Yi and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Survivability modeling and analysis for a power-aware wireless ad
hoc network},
booktitle = {4th International Congress on Ultra Modern Telecommunications and
Control Systems, {ICUMT} 2012, St. Petersburg, Russia, October 3-5,
2012},
pages = {813--819},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICUMT.2012.6459775},
doi = {10.1109/ICUMT.2012.6459775},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icumt/YiDO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD12,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Optimization of Opportunity-Based Software Rejuvenation Policy},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
pages = {283--286},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSREW.2012.93},
doi = {10.1109/ISSREW.2012.93},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/IkemotoDO12,
author = {Shinya Ikemoto and
Tadashi Dohi and
Hiroyuki Okamura},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Estimating software reliability via pseudo maximum likelihood method},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1171--1176},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231960},
doi = {10.1145/2245276.2231960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/IkemotoDO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/UkimotoDO12,
author = {Satoru Ukimoto and
Tadashi Dohi and
Hiroyuki Okamura},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Software testing-resource allocation with operational profile},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1203--1208},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231965},
doi = {10.1145/2245276.2231965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/UkimotoDO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HariDT12,
author = {Kousaburo Hari and
Tadashi Dohi and
Kishor S. Trivedi},
title = {Fast Optimization Algorithms for Designing Cellular Networks with
Guard Channel},
booktitle = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
Irvine, CA, USA, October 8-11, 2012},
pages = {249--254},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SRDS.2012.29},
doi = {10.1109/SRDS.2012.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HariDT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/XiaoD12,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Robust Wavelet Shrinkage Estimation without Data Transform for Software
Reliability Assessment},
booktitle = {Sixth International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012},
pages = {215--224},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SERE.2012.34},
doi = {10.1109/SERE.2012.34},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/XiaoD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/TokumotoD12,
author = {Shunsuke Tokumoto and
Tadashi Dohi},
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Risk-Based Intelligent Software Release Planning},
booktitle = {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},
pages = {240--247},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/UIC-ATC.2012.109},
doi = {10.1109/UIC-ATC.2012.109},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/uic/TokumotoD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/ZhengOD12,
author = {Junjun Zheng and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Component Importance Analysis of Virtualized System},
booktitle = {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},
pages = {462--469},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/UIC-ATC.2012.128},
doi = {10.1109/UIC-ATC.2012.128},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uic/ZhengOD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/DohiOT12,
author = {Tadashi Dohi and
Hiroyuki Okamura and
Kishor S. Trivedi},
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Optimizing Software Rejuvenation Policies under Interval Reliability
Criteria},
booktitle = {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},
pages = {478--485},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/UIC-ATC.2012.111},
doi = {10.1109/UIC-ATC.2012.111},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/DohiOT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/LuoOD12,
author = {Chao Luo and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Model-Based Performance Optimization of Generalized Snapshot Isolation
in Database System},
booktitle = {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},
pages = {494--500},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/UIC-ATC.2012.129},
doi = {10.1109/UIC-ATC.2012.129},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/LuoOD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/HariD12,
author = {Kousaburo Hari and
Tadashi Dohi},
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Dependability Modeling and Analysis of Random Port Hopping},
booktitle = {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},
pages = {586--593},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/UIC-ATC.2012.113},
doi = {10.1109/UIC-ATC.2012.113},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/HariD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/WatanabeOD12,
author = {Ryo Watanabe and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Oliver Rose and
Adelinde M. Uhrmacher},
title = {An efficient {MCMC} algorithm for continuous ph distributions},
booktitle = {Winter Simulation Conference, {WSC} '12, Berlin, Germany, December
9-12, 2012},
pages = {426:1--426:12},
publisher = {{WSC}},
year = {2012},
url = {https://doi.org/10.1109/WSC.2012.6465313},
doi = {10.1109/WSC.2012.6465313},
timestamp = {Thu, 10 Jun 2021 22:19:08 +0200},
biburl = {https://dblp.org/rec/conf/wsc/WatanabeOD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uic/2012,
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {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},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6331798/proceeding},
isbn = {978-1-4673-3084-8},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/OkamuraDT11,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Kishor S. Trivedi},
title = {A refined {EM} algorithm for {PH} distributions},
journal = {Perform. Evaluation},
volume = {68},
number = {10},
pages = {938--954},
year = {2011},
url = {https://doi.org/10.1016/j.peva.2011.04.001},
doi = {10.1016/J.PEVA.2011.04.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/OkamuraDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OkamuraDSA11,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Shin'ichi Shiraishi and
Mutsumi Abe},
title = {Composite dependability modeling for in-vehicle networks},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops {(DSN-W} 2011), Hong Kong, China, June 27-30, 2011},
pages = {240--245},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSNW.2011.5958848},
doi = {10.1109/DSNW.2011.5958848},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OkamuraDSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/Dohi11,
author = {Tadashi Dohi},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Dominik Slezak and
Frode Eika Sandnes and
Xiaofeng Song and
Kyo{-}Il Chung and
Kirk P. Arnett},
title = {Environmental Diversity Techniques of Software Systems},
booktitle = {Future Generation Information Technology - Third International Conference,
{FGIT} 2011 in Conjunction with {GDC} 2011, Jeju Island, Korea, December
8-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7105},
pages = {37--38},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27142-7\_5},
doi = {10.1007/978-3-642-27142-7\_5},
timestamp = {Fri, 27 Dec 2019 21:27:24 +0100},
biburl = {https://dblp.org/rec/conf/fgit/Dohi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/OkamuraDO11,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Shunji Osaki},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Haeng{-}Kon Kim and
Heau{-}Jo Kang and
Kyung Jung Kim and
Kiumi Akingbehin and
Byeong Ho Kang},
title = {Bayesian Inference for Credible Intervals of Optimal Software Release
Time},
booktitle = {Software Engineering, Business Continuity, and Education - International
Conferences ASEA, {DRBC} and {EL} 2011, Held as Part of the Future
Generation Information Technology Conference, {FGIT} 2011, in Conjunction
with {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
series = {Communications in Computer and Information Science},
volume = {257},
pages = {377--384},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27207-3\_41},
doi = {10.1007/978-3-642-27207-3\_41},
timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
biburl = {https://dblp.org/rec/conf/fgit/OkamuraDO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/XiaoD11,
author = {Xiao Xiao and
Tadashi Dohi},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Haeng{-}Kon Kim and
Heau{-}Jo Kang and
Kyung Jung Kim and
Kiumi Akingbehin and
Byeong Ho Kang},
title = {Estimating Software Reliability Using Extreme Value Distribution},
booktitle = {Software Engineering, Business Continuity, and Education - International
Conferences ASEA, {DRBC} and {EL} 2011, Held as Part of the Future
Generation Information Technology Conference, {FGIT} 2011, in Conjunction
with {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
series = {Communications in Computer and Information Science},
volume = {257},
pages = {399--406},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27207-3\_44},
doi = {10.1007/978-3-642-27207-3\_44},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgit/XiaoD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/YiD11,
author = {Zhipeng Yi and
Tadashi Dohi},
title = {Quantitative Comparison of Survivability Models for Wireless Ad Hoc
Networks},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {284--287},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.52},
doi = {10.1109/ICNC.2011.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/YiD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/OkumuraOD11,
author = {Kei Okumura and
Hiroyuki Okamura and
Tadashi Dohi},
title = {On the Effect of the Order of Test Cases in the Modified Exponential
Software Reliability Growth Model},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {294--296},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.55},
doi = {10.1109/ICNC.2011.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/OkumuraOD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FujiiDF11,
author = {Toshiya Fujii and
Tadashi Dohi and
Takaji Fujiwara},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Towards quantitative software reliability assessment in incremental
development processes},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {41--50},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985800},
doi = {10.1145/1985793.1985800},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FujiiDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/KimuraIKD11,
author = {Mitsuhisa Kimura and
Shinji Inoue and
Yoshiaki Kakuda and
Tadashi Dohi},
title = {A Route Discovery Method for Alleviating Traffic Congestion Based
on VANETs in Urban Transportations Considering a Relation between
Vehicle Density and Average Velocity},
booktitle = {10th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2011, Tokyo {\&} Hiroshima, Japan, March 23-17, 2011},
pages = {299--302},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISADS.2011.42},
doi = {10.1109/ISADS.2011.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/KimuraIKD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/OkamuraD11,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Application of Reinforcement Learning to Software Rejuvenation},
booktitle = {10th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2011, Tokyo {\&} Hiroshima, Japan, March 23-17, 2011},
pages = {647--652},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISADS.2011.92},
doi = {10.1109/ISADS.2011.92},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/OkamuraD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD11,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {A {POMDP} Formulation of Multistep Failure Model with Software Rejuvenation},
booktitle = {{IEEE} Third International Workshop on Software Aging and Rejuvenation,
WoSAR 2011, Hiroshima, Japan, November 29 - December 2, 2011},
pages = {14--19},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WoSAR.2011.11},
doi = {10.1109/WOSAR.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsm/OkamuraED11,
author = {Hiroyuki Okamura and
Yusuke Etani and
Tadashi Dohi},
editor = {Koichi Matsuda and
Ken{-}ichi Matsumoto and
Akito Monden},
title = {Quantifying the Effectiveness of Testing Efforts on Software Fault
Detection with a Logit Software Reliability Growth Model},
booktitle = {2011 Joint Conf of 21st Int'l Workshop on Software Measurement and
the 6th Int'l Conference on Software Process and Product Measurement,
IWSM/Mensura 2011, Nara, Japan, November 3-4, 2011},
pages = {62--68},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/IWSM-MENSURA.2011.26},
doi = {10.1109/IWSM-MENSURA.2011.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsm/OkamuraED11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KaneishiD11,
author = {Toshio Kaneishi and
Tadashi Dohi},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Parametric Bootstrapping for Assessing Software Reliability Measures},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.10},
doi = {10.1109/PRDC.2011.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KaneishiD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/XiaoD11,
author = {Xiao Xiao and
Tadashi Dohi},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Estimating Software Intensity Function via Multiscale Analysis and
Its Application to Reliability Assessment},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {10--19},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.11},
doi = {10.1109/PRDC.2011.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/XiaoD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OkamuraD11,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Unification of Software Reliability Models Using Markovian Arrival
Processes},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {20--27},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.12},
doi = {10.1109/PRDC.2011.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/OkamuraD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2011,
editor = {Tadashi Dohi and
Bojan Cukic},
title = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
{ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6132471/proceeding},
isbn = {978-1-4577-2060-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/WangDT10,
author = {Chih{-}Hsiung Wang and
Tadashi Dohi and
Wen{-}Chin Tsai},
title = {Coordinated procurement/inspection and production model under inspection
errors},
journal = {Comput. Ind. Eng.},
volume = {59},
number = {3},
pages = {473--478},
year = {2010},
url = {https://doi.org/10.1016/j.cie.2010.06.008},
doi = {10.1016/J.CIE.2010.06.008},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/candie/WangDT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbidm/FujiiD10,
author = {Toshiya Fujii and
Tadashi Dohi},
title = {Identifying statistical failure mechanism of web server systems: measurement
and reliability analysis},
journal = {Int. J. Bus. Intell. Data Min.},
volume = {5},
number = {2},
pages = {156--171},
year = {2010},
url = {https://doi.org/10.1504/IJBIDM.2010.031285},
doi = {10.1504/IJBIDM.2010.031285},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbidm/FujiiD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcm/UemuraD10,
author = {Toshikazu Uemura and
Tadashi Dohi},
title = {Optimal Security Patch Management Policies Maximizing System Availability},
journal = {J. Commun.},
volume = {5},
number = {1},
pages = {71--80},
year = {2010},
url = {https://doi.org/10.4304/jcm.5.1.71-80},
doi = {10.4304/JCM.5.1.71-80},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcm/UemuraD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jors/GiriD10,
author = {Bibhas Chandra Giri and
Tadashi Dohi},
title = {Quantifying the risk in age and block replacement policies},
journal = {J. Oper. Res. Soc.},
volume = {61},
number = {7},
pages = {1151--1158},
year = {2010},
url = {https://doi.org/10.1057/jors.2009.40},
doi = {10.1057/JORS.2009.40},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jors/GiriD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/OkamuraD10,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Comprehensive evaluation of aperiodic checkpointing and rejuvenation
schemes in operational software system},
journal = {J. Syst. Softw.},
volume = {83},
number = {9},
pages = {1591--1604},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2009.06.058},
doi = {10.1016/J.JSS.2009.06.058},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/OkamuraD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saem/OkamuraD10,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Software safety assessment based on a subordinated Markov chain},
journal = {Int. J. Syst. Assur. Eng. Manag.},
volume = {1},
number = {4},
pages = {307--315},
year = {2010},
url = {https://doi.org/10.1007/s13198-011-0034-0},
doi = {10.1007/S13198-011-0034-0},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/saem/OkamuraD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/UemuraDK10,
author = {Toshikazu Uemura and
Tadashi Dohi and
Naoto Kaio},
title = {Availability Analysis of an Intrusion Tolerant Distributed Server
System With Preventive Maintenance},
journal = {{IEEE} Trans. Reliab.},
volume = {59},
number = {1},
pages = {18--29},
year = {2010},
url = {https://doi.org/10.1109/TR.2010.2042101},
doi = {10.1109/TR.2010.2042101},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/UemuraDK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/OkamuraDT10,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Kishor S. Trivedi},
editor = {Bing Xie and
J{\"{u}}rgen Branke and
Seyed Masoud Sadjadi and
Daqing Zhang and
Xingshe Zhou},
title = {On-Line Adaptive Algorithms in Autonomic Restart Control},
booktitle = {Autonomic and Trusted Computing - 7th International Conference, {ATC}
2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6407},
pages = {32--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16576-4\_3},
doi = {10.1007/978-3-642-16576-4\_3},
timestamp = {Wed, 11 Nov 2020 16:58:37 +0100},
biburl = {https://dblp.org/rec/conf/atc/OkamuraDT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/DohiU10,
author = {Tadashi Dohi and
Toshikazu Uemura},
editor = {Bing Xie and
J{\"{u}}rgen Branke and
Seyed Masoud Sadjadi and
Daqing Zhang and
Xingshe Zhou},
title = {Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture},
booktitle = {Autonomic and Trusted Computing - 7th International Conference, {ATC}
2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6407},
pages = {283--297},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16576-4\_21},
doi = {10.1007/978-3-642-16576-4\_21},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atc/DohiU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhouOD10,
author = {Bo Zhou and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Enhancing Performance of Random Testing through Markov Chain Monte
Carlo Methods},
booktitle = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
San Jose, CA, USA, November 3-4, 2010},
pages = {162--163},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HASE.2010.11},
doi = {10.1109/HASE.2010.11},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/ZhouOD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/UemuraDK10,
author = {Toshikazu Uemura and
Tadashi Dohi and
Naoto Kaio},
editor = {David Taniar and
Osvaldo Gervasi and
Beniamino Murgante and
Eric Pardede and
Bernady O. Apduhan},
title = {Availability Analysis of an IMS-Based VoIP Network System},
booktitle = {Computational Science and Its Applications - {ICCSA} 2010, International
Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6019},
pages = {441--456},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12189-0\_39},
doi = {10.1007/978-3-642-12189-0\_39},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/UemuraDK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD10,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Performance-aware software rejuvenation strategies in a queueing system},
booktitle = {Second {IEEE} International Workshop on Software Aging and Rejuvenation,
WoSAR@ISSRE 2010, San Jose, CA, USA, November 2, 2010},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WOSAR.2010.5722099},
doi = {10.1109/WOSAR.2010.5722099},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraED10,
author = {Hiroyuki Okamura and
Yusuke Etani and
Tadashi Dohi},
title = {A Multi-factor Software Reliability Model Based on Logistic Regression},
booktitle = {{IEEE} 21st International Symposium on Software Reliability Engineering,
{ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISSRE.2010.14},
doi = {10.1109/ISSRE.2010.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraED10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FujiiDOF10,
author = {Toshiya Fujii and
Tadashi Dohi and
Hiroyuki Okamura and
Takaji Fujiwara},
editor = {Yutaka Ishikawa and
Dong Tang and
Hiroshi Nakamura},
title = {A Software Accelerated Life Testing Model},
booktitle = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PRDC.2010.50},
doi = {10.1109/PRDC.2010.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/FujiiDOF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IzumiDK10,
author = {Akikazu Izumi and
Tadashi Dohi and
Naoto Kaio},
editor = {Yutaka Ishikawa and
Dong Tang and
Hiroshi Nakamura},
title = {Deadlock Detection Scheduling for Distributed Processes in the Presence
of System Failures},
booktitle = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
pages = {133--140},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PRDC.2010.49},
doi = {10.1109/PRDC.2010.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/IzumiDK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OkamuraD10,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Yutaka Ishikawa and
Dong Tang and
Hiroshi Nakamura},
title = {Estimating Computer Virus Propagation Based on Markovian Arrival Processes},
booktitle = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
pages = {199--206},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PRDC.2010.36},
doi = {10.1109/PRDC.2010.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/OkamuraD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sersc-isa/ZhouOD10,
author = {Bo Zhou and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli},
title = {Markov Chain Monte Carlo Random Testing},
booktitle = {Advances in Computer Science and Information Technology, {AST/UCMA/ISA/ACN}
2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6059},
pages = {447--456},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13577-4\_40},
doi = {10.1007/978-3-642-13577-4\_40},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sersc-isa/ZhouOD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/HariD10,
author = {Kousaburou Hari and
Tadashi Dohi},
title = {Sensitivity Analysis of Random Port Hopping},
booktitle = {Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing:
7th International Conference on Ubiquitous Intelligence {\&} Computing
and 7th International Conference on Autonomic {\&} Trusted Computing,
{UIC-ATC} 2010, 26-29 October 2010, Xi'an, China},
pages = {316--321},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/UIC-ATC.2010.69},
doi = {10.1109/UIC-ATC.2010.69},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/HariD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/OkamuraKD10,
author = {Hiroyuki Okamura and
Hidenari Kishikawa and
Tadashi Dohi},
title = {Application of Deterministic Annealing {EM} Algorithm to Markovian
Arrival Process Parameter Estimation},
booktitle = {Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing:
7th International Conference on Ubiquitous Intelligence {\&} Computing
and 7th International Conference on Autonomic {\&} Trusted Computing,
{UIC-ATC} 2010, 26-29 October 2010, Xi'an, China},
pages = {352--357},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/UIC-ATC.2010.61},
doi = {10.1109/UIC-ATC.2010.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/OkamuraKD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/GiriD09,
author = {Bibhas Chandra Giri and
Tadashi Dohi},
title = {Cost-effective ordering policies for inventory systems with emergency
order},
journal = {Comput. Ind. Eng.},
volume = {57},
number = {4},
pages = {1336--1341},
year = {2009},
url = {https://doi.org/10.1016/j.cie.2009.07.001},
doi = {10.1016/J.CIE.2009.07.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/candie/GiriD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SakaiRD09,
author = {Yuto Sakai and
Koichiro Rinsaka and
Tadashi Dohi},
title = {A Cyber-Attack Detection Model Based on Multivariate Analyses},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {92-A},
number = {7},
pages = {1585--1592},
year = {2009},
url = {https://doi.org/10.1587/transfun.E92.A.1585},
doi = {10.1587/TRANSFUN.E92.A.1585},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SakaiRD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/OkamuraD09,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Software Reliability Modeling Based on Capture-Recapture Sampling},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {92-A},
number = {7},
pages = {1615--1622},
year = {2009},
url = {https://doi.org/10.1587/transfun.E92.A.1615},
doi = {10.1587/TRANSFUN.E92.A.1615},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/OkamuraD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/OhishiOD09,
author = {Koji Ohishi and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Gompertz software reliability model: Estimation algorithm and empirical
validation},
journal = {J. Syst. Softw.},
volume = {82},
number = {3},
pages = {535--543},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2008.11.840},
doi = {10.1016/J.JSS.2008.11.840},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/OhishiOD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/OzakiDK09,
author = {Tatsuya Ozaki and
Tadashi Dohi and
Naoto Kaio},
title = {Numerical computation algorithms for sequential checkpoint placement},
journal = {Perform. Evaluation},
volume = {66},
number = {6},
pages = {311--326},
year = {2009},
url = {https://doi.org/10.1016/j.peva.2008.11.003},
doi = {10.1016/J.PEVA.2008.11.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/OzakiDK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/OkamuraDT09,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Kishor S. Trivedi},
title = {Markovian arrival process parameter estimation with group data},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {17},
number = {4},
pages = {1326--1339},
year = {2009},
url = {http://doi.acm.org/10.1145/1618562.1618586},
doi = {10.1145/1618562.1618586},
timestamp = {Wed, 23 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/OkamuraDT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/XiaoD09,
author = {Xiao Xiao and
Tadashi Dohi},
title = {On Equilibrium Distribution Properties in Software Reliability Modeling},
booktitle = {Proceedings of the The Forth International Conference on Availability,
Reliability and Security, {ARES} 2009, March 16-19, 2009, Fukuoka,
Japan},
pages = {158--165},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ARES.2009.121},
doi = {10.1109/ARES.2009.121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/XiaoD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/FujimotoOD09,
author = {Ryutaro Fujimoto and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Security Evaluation of an Intrusion Tolerant System with MRSPNs},
booktitle = {Proceedings of the The Forth International Conference on Availability,
Reliability and Security, {ARES} 2009, March 16-19, 2009, Fukuoka,
Japan},
pages = {427--432},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ARES.2009.143},
doi = {10.1109/ARES.2009.143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/FujimotoOD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/FujiiD09,
author = {Toshiya Fujii and
Tadashi Dohi},
title = {Statistical Failure Analysis of a Web Server System},
booktitle = {Proceedings of the The Forth International Conference on Availability,
Reliability and Security, {ARES} 2009, March 16-19, 2009, Fukuoka,
Japan},
pages = {554--559},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ARES.2009.122},
doi = {10.1109/ARES.2009.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/FujiiD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/UemuraDK09,
author = {Toshikazu Uemura and
Tadashi Dohi and
Naoto Kaio},
editor = {Martin Gilje Jaatun and
Gansen Zhao and
Chunming Rong},
title = {Availability Analysis of a Scalable Intrusion Tolerant Architecture
with Two Detection Modes},
booktitle = {Cloud Computing, First International Conference, CloudCom 2009, Beijing,
China, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5931},
pages = {178--189},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10665-1\_16},
doi = {10.1007/978-3-642-10665-1\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cloudcom/UemuraDK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/HirataOD09,
author = {Takumi Hirata and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Young{-}Hoon Lee and
Tai{-}Hoon Kim and
Wai{-}Chi Fang and
Dominik Slezak},
title = {A Bayesian Inference Tool for NHPP-Based Software Reliability Assessment},
booktitle = {Future Generation Information Technology, First International Conference,
{FGIT} 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5899},
pages = {225--236},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10509-8\_26},
doi = {10.1007/978-3-642-10509-8\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgit/HirataOD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/0002D09,
author = {Xiao Xiao and
Tadashi Dohi},
editor = {Dominik Slezak and
Tai{-}Hoon Kim and
Kiumi Akingbehin and
Tao Jiang and
June M. Verner and
Silvia Abrah{\~{a}}o},
title = {An Experimental Evaluation of Error Rate in a Web Server System},
booktitle = {Advances in Software Engineering - International Conference on Advanced
Software Engineering and Its Applications, {ASEA} 2009 Held as Part
of the Future Generation Information Technology Conference, {FGIT}
2009, Jeju Island, Korea, December 10-12, 2009. Proceedings},
series = {Communications in Computer and Information Science},
volume = {59},
pages = {272--279},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10619-4\_33},
doi = {10.1007/978-3-642-10619-4\_33},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgit/0002D09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/OkamuraD09,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Dominik Slezak and
Tai{-}Hoon Kim and
Kiumi Akingbehin and
Tao Jiang and
June M. Verner and
Silvia Abrah{\~{a}}o},
title = {An {EM} Algorithm for Record Value Statistics Models in Software Reliability
Estimation},
booktitle = {Advances in Software Engineering - International Conference on Advanced
Software Engineering and Its Applications, {ASEA} 2009 Held as Part
of the Future Generation Information Technology Conference, {FGIT}
2009, Jeju Island, Korea, December 10-12, 2009. Proceedings},
series = {Communications in Computer and Information Science},
volume = {59},
pages = {288--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10619-4\_35},
doi = {10.1007/978-3-642-10619-4\_35},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgit/OkamuraD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/MizoguchiD09,
author = {Shintaro Mizoguchi and
Tadashi Dohi},
editor = {Dominik Slezak and
Tai{-}Hoon Kim and
Kiumi Akingbehin and
Tao Jiang and
June M. Verner and
Silvia Abrah{\~{a}}o},
title = {A Refined Non-parametric Algorithm for Sequential Software Reliability
Estimation},
booktitle = {Advances in Software Engineering - International Conference on Advanced
Software Engineering and Its Applications, {ASEA} 2009 Held as Part
of the Future Generation Information Technology Conference, {FGIT}
2009, Jeju Island, Korea, December 10-12, 2009. Proceedings},
series = {Communications in Computer and Information Science},
volume = {59},
pages = {330--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10619-4\_40},
doi = {10.1007/978-3-642-10619-4\_40},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgit/MizoguchiD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/XiaoD09,
author = {Xiao Xiao and
Tadashi Dohi},
title = {Wavelet-Based Approach for Estimating Software Reliability},
booktitle = {{ISSRE} 2009, 20th International Symposium on Software Reliability
Engineering, Mysuru, Karnataka, India, 16-19 November 2009},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISSRE.2009.11},
doi = {10.1109/ISSRE.2009.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/XiaoD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraTD09,
author = {Hiroyuki Okamura and
Masataka Tokuzane and
Tadashi Dohi},
title = {Optimal Security Patch Release Timing under Non-homogeneous Vulnerability-Discovery
Processes},
booktitle = {{ISSRE} 2009, 20th International Symposium on Software Reliability
Engineering, Mysuru, Karnataka, India, 16-19 November 2009},
pages = {120--128},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISSRE.2009.19},
doi = {10.1109/ISSRE.2009.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraTD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/OkamuraD09,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival
Processes},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {73--82},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.28},
doi = {10.1109/QEST.2009.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/OkamuraD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/JinD09,
author = {Lin{-}Zhu Jin and
Tadashi Dohi},
editor = {Byoungju Choi},
title = {Non-homogeneous Inverse Gaussian Software Reliability Models},
booktitle = {Proceedings of the Ninth International Conference on Quality Software,
{QSIC} 2009, Jeju, Korea, August 24-25, 2009},
pages = {444--451},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QSIC.2009.66},
doi = {10.1109/QSIC.2009.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/JinD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apjor/IwamotoDK08,
author = {Kazuki Iwamoto and
Tadashi Dohi and
Naoto Kaio},
title = {Discrete Repair-Cost Limit Replacement Policies with/without Imperfect
Repair},
journal = {Asia Pac. J. Oper. Res.},
volume = {25},
number = {6},
pages = {735--751},
year = {2008},
url = {https://doi.org/10.1142/S0217595908001985},
doi = {10.1142/S0217595908001985},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apjor/IwamotoDK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/IwamotoDK08,
author = {Kazuki Iwamoto and
Tadashi Dohi and
Naoto Kaio},
title = {Estimating Periodic Software Rejuvenation Schedules under Discrete-Time
Operation Circumstance},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {91-D},
number = {1},
pages = {23--31},
year = {2008},
url = {https://doi.org/10.1093/ietisy/e91-d.1.23},
doi = {10.1093/IETISY/E91-D.1.23},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/IwamotoDK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/EtoDM08,
author = {Hiroyuki Eto and
Tadashi Dohi and
Jianhua Ma},
editor = {Chunming Rong and
Martin Gilje Jaatun and
Frode Eika Sandnes and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Simulation-Based Optimization Approach for Software Cost Model with
Rejuvenation},
booktitle = {Autonomic and Trusted Computing, 5th International Conference, {ATC}
2008, Oslo, Norway, June 23-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5060},
pages = {206--218},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69295-9\_18},
doi = {10.1007/978-3-540-69295-9\_18},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/atc/EtoDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/UemuraD08,
author = {Toshikazu Uemura and
Tadashi Dohi},
editor = {Takashi Nanya and
Fumihiro Maruyama and
Andr{\'{a}}s Pataricza and
Miroslaw Malek},
title = {Optimizing Security Measures in an Intrusion Tolerant Database System},
booktitle = {Service Availability, 5th International Service Availability Symposium,
{ISAS} 2008, Tokyo, Japan, May 19-21, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5017},
pages = {26--42},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68129-8\_5},
doi = {10.1007/978-3-540-68129-8\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/isas/UemuraD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/OkamuraD08,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Takashi Nanya and
Fumihiro Maruyama and
Andr{\'{a}}s Pataricza and
Miroslaw Malek},
title = {Analysis of a Software System with Rejuvenation, Restoration and Checkpointing},
booktitle = {Service Availability, 5th International Service Availability Symposium,
{ISAS} 2008, Tokyo, Japan, May 19-21, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5017},
pages = {110--128},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68129-8\_10},
doi = {10.1007/978-3-540-68129-8\_10},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isas/OkamuraD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD08,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Availability optimization in operational software system with aperiodic
time-based software rejuvenation scheme},
booktitle = {{IEEE} International Conference on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2008, Seattle, WA, USA, November 11-14,
2008},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSREW.2008.5355516},
doi = {10.1109/ISSREW.2008.5355516},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/RinsakaD08,
author = {Koichiro Rinsaka and
Tadashi Dohi},
title = {Non-parametric predictive inference of adaptive software rejuvenation
schedule},
booktitle = {{IEEE} International Conference on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2008, Seattle, WA, USA, November 11-14,
2008},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSREW.2008.5355521},
doi = {10.1109/ISSREW.2008.5355521},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/RinsakaD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IshiiD08,
author = {Tomotaka Ishii and
Tadashi Dohi},
title = {A New Paradigm for Software Reliability Modeling - From {NHPP} to
{NHGP}},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {224--231},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.24},
doi = {10.1109/PRDC.2008.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/IshiiD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OkamuraD08,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Hyper-Erlang Software Reliability Model},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {232--239},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.20},
doi = {10.1109/PRDC.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/OkamuraD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/GiriD07,
author = {Bibhas Chandra Giri and
Tadashi Dohi},
title = {Inspection scheduling for imperfect production processes under free
repair warranty contract},
journal = {Eur. J. Oper. Res.},
volume = {183},
number = {1},
pages = {238--252},
year = {2007},
url = {https://doi.org/10.1016/j.ejor.2006.09.062},
doi = {10.1016/J.EJOR.2006.09.062},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/GiriD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/OkamuraAD07,
author = {Hiroyuki Okamura and
Mitsuaki Ando and
Tadashi Dohi},
title = {A generalized gamma software reliability model},
journal = {Syst. Comput. Jpn.},
volume = {38},
number = {2},
pages = {81--90},
year = {2007},
url = {https://doi.org/10.1002/scj.20350},
doi = {10.1002/SCJ.20350},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/OkamuraAD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/IshiiDO07,
author = {Tomotaka Ishii and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Bivariate Software Fault-Detection Models},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
pages = {535--538},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.85},
doi = {10.1109/COMPSAC.2007.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/IshiiDO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OkamuraGDT07,
author = {Hiroyuki Okamura and
Michael Grottke and
Tadashi Dohi and
Kishor S. Trivedi},
title = {Variational Bayesian Approach for Interval Estimation of NHPP-Based
Software Reliability Models},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {698--707},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.101},
doi = {10.1109/DSN.2007.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OkamuraGDT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/UemuraD07,
author = {Toshikazu Uemura and
Tadashi Dohi},
editor = {Mieso K. Denko and
Chi{-}Sheng Shih and
Kuan{-}Ching Li and
Shiao{-}Li Tsao and
Qing{-}An Zeng and
Soo{-}Hyun Park and
Young{-}Bae Ko and
Shih{-}Hao Hung and
Jong Hyuk Park},
title = {Quantitative Evaluation of Intrusion Tolerant Systems Subject to DoS
Attacks Via Semi-Markov Cost Models},
booktitle = {Emerging Directions in Embedded and Ubiquitous Computing, {EUC} 2007
Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei,
Taiwan, December 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4809},
pages = {31--42},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77090-9\_4},
doi = {10.1007/978-3-540-77090-9\_4},
timestamp = {Wed, 22 Jun 2022 09:02:26 +0200},
biburl = {https://dblp.org/rec/conf/euc/UemuraD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/ZhangOD07,
author = {Li Zhang and
Hiroyuki Okamura and
Tadashi Dohi},
editor = {Julie A. Jacko},
title = {Performance Evaluation for Automatic Protection Switching in a {CDMA-TDD}
Wireless Communication System},
booktitle = {Human-Computer Interaction. {HCI} Applications and Services, 12th
International Conference, {HCI} International 2007, Beijing, China,
July 22-27, 2007, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {4553},
pages = {1200--1209},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73111-5\_131},
doi = {10.1007/978-3-540-73111-5\_131},
timestamp = {Sun, 02 Jun 2019 21:16:47 +0200},
biburl = {https://dblp.org/rec/conf/hci/ZhangOD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/RinsakaD07,
author = {Koichiro Rinsaka and
Tadashi Dohi},
editor = {Miroslaw Malek and
Manfred Reitenspie{\ss} and
Aad P. A. van Moorsel},
title = {A Faster Estimation Algorithm for Periodic Preventive Rejuvenation
Schedule Maximizing System Availability},
booktitle = {Service Availability, 4th International Service Availability Symposium,
{ISAS} 2007, Durham, NH, USA, May 21-22, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4526},
pages = {94--109},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72736-1\_9},
doi = {10.1007/978-3-540-72736-1\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/isas/RinsakaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraTD07,
author = {Hiroyuki Okamura and
Kazuya Tateishi and
Tadashi Dohi},
title = {Statistical Inference of Computer Virus Propagation Using Non-Homogeneous
Poisson Processes},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.28},
doi = {10.1109/ISSRE.2007.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraTD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/RinsakaD07,
author = {Koichiro Rinsaka and
Tadashi Dohi},
title = {Non-parametric Predictive Inference of Preventive Rejuvenation Schedule
in Operational Software Systems},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {247--256},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.13},
doi = {10.1109/ISSRE.2007.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/RinsakaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ShibataRDO07,
author = {Kazuya Shibata and
Koichiro Rinsaka and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Quantifying Software Maintainability Based on a Fault-Detection/Correction
Model},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.46},
doi = {10.1109/PRDC.2007.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ShibataRDO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ShibataRD07,
author = {Kazuya Shibata and
Koichiro Rinsaka and
Tadashi Dohi},
title = {{PISRAT:} Proportional Intensity-Based Software Reliability Assessment
Tool},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.18},
doi = {10.1109/PRDC.2007.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ShibataRD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/OkamuraKD07,
author = {Hiroyuki Okamura and
Yuya Kamahara and
Tadashi Dohi},
editor = {Peter W. Glynn},
title = {Estimating Markov-modulated compound Poisson processes},
booktitle = {Proceedings of the 2nd International Conference on Performance Evaluation
Methodolgies and Tools, {VALUETOOLS} 2007, Nantes, France, October
22-27, 2007},
series = {{ACM} International Conference Proceeding Series},
pages = {28},
publisher = {{ICST/ACM}},
year = {2007},
url = {https://doi.org/10.4108/valuetools.2007.1935},
doi = {10.4108/VALUETOOLS.2007.1935},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/OkamuraKD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/IwamotoDOK06,
author = {Kazuki Iwamoto and
Tadashi Dohi and
Hiroyuki Okamura and
Naoto Kaio},
title = {Discrete-time cost analysis for a telecommunication billing application
with rejuvenation},
journal = {Comput. Math. Appl.},
volume = {51},
number = {2},
pages = {335--344},
year = {2006},
url = {https://doi.org/10.1016/j.camwa.2005.11.007},
doi = {10.1016/J.CAMWA.2005.11.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/IwamotoDOK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/DohiAKO06,
author = {Tadashi Dohi and
Akira Ashioka and
Naoto Kaio and
Shunji Osaki},
title = {Statistical estimation algorithms for repairs-time limit replacement
scheduling under earning rate criteria},
journal = {Comput. Math. Appl.},
volume = {51},
number = {2},
pages = {345--356},
year = {2006},
url = {https://doi.org/10.1016/j.camwa.2005.11.004},
doi = {10.1016/J.CAMWA.2005.11.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/DohiAKO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/DohiLO06,
author = {Tadashi Dohi and
Nikolaos Limnios and
Shunji Osaki},
title = {Preface},
journal = {Comput. Math. Appl.},
volume = {51},
number = {2},
pages = {xiii},
year = {2006},
url = {https://doi.org/10.1016/j.camwa.2005.11.017},
doi = {10.1016/J.CAMWA.2005.11.017},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/DohiLO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/DohiOL06,
author = {Tadashi Dohi and
Shunji Osaki and
Nikolaos Limnios},
title = {Mathematical Finance and Risk Assessment},
journal = {Eur. J. Oper. Res.},
volume = {168},
number = {2},
pages = {279--280},
year = {2006},
url = {https://doi.org/10.1016/j.ejor.2004.07.004},
doi = {10.1016/J.EJOR.2004.07.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/DohiOL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itor/GiriDK06,
author = {B. C. Giri and
Tadashi Dohi and
Naoto Kaio},
title = {Discrete-time spare ordering policy with randomized lead times and
discounting},
journal = {Int. Trans. Oper. Res.},
volume = {13},
number = {6},
pages = {561--576},
year = {2006},
url = {https://doi.org/10.1111/j.1475-3995.2006.00564.x},
doi = {10.1111/J.1475-3995.2006.00564.X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itor/GiriDK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/OzakiDOK06,
author = {Tatsuya Ozaki and
Tadashi Dohi and
Hiroyuki Okamura and
Naoto Kaio},
title = {Distribution-Free Checkpoint Placement Algorithms Based on Min-Max
Principle},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {3},
number = {2},
pages = {130--140},
year = {2006},
url = {https://doi.org/10.1109/TDSC.2006.22},
doi = {10.1109/TDSC.2006.22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/OzakiDOK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RinsakaSD06,
author = {Koichiro Rinsaka and
Kazuya Shibata and
Tadashi Dohi},
title = {Proportional Intensity-Based Software Reliability Modeling with Time-Dependent
Metrics},
booktitle = {30th Annual International Computer Software and Applications Conference,
{COMPSAC} 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume
1},
pages = {369--376},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/COMPSAC.2006.68},
doi = {10.1109/COMPSAC.2006.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/RinsakaSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/DohiOK06,
author = {Tadashi Dohi and
Tatsuya Ozaki and
Naoto Kaio},
title = {Optimal Checkpoint Placement with Equality Constraints},
booktitle = {Second International Symposium on Dependable Autonomic and Secure
Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
Indiana, {USA}},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DASC.2006.37},
doi = {10.1109/DASC.2006.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/DohiOK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/AndoOD06,
author = {Takao Ando and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Estimating Markov Modulated Software Reliability Models via {EM} Algorithm},
booktitle = {Second International Symposium on Dependable Autonomic and Secure
Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
Indiana, {USA}},
pages = {111--118},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DASC.2006.29},
doi = {10.1109/DASC.2006.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/AndoOD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas/EtoD06,
author = {Hiroyuki Eto and
Tadashi Dohi},
editor = {Dave Penkler and
Manfred Reitenspie{\ss} and
Francis Tam},
title = {Analysis of a Service Degradation Model with Preventive Rejuvenation},
booktitle = {Service Availability, Third International Service Availability Symposium,
{ISAS} 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4328},
pages = {17--29},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11955498\_2},
doi = {10.1007/11955498\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/isas/EtoD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ShibataRD06,
author = {Kazuya Shibata and
Koichiro Rinsaka and
Tadashi Dohi},
title = {Metrics-Based Software Reliability Models Using Non-homogeneous Poisson
Processes},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.28},
doi = {10.1109/ISSRE.2006.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ShibataRD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraFD06,
author = {Hiroyuki Okamura and
Hitoshi Furumura and
Tadashi Dohi},
title = {On the Effect of Fault Removal in Software Testing - Bayesian Reliability
Estimation Approach},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {247--255},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.33},
doi = {10.1109/ISSRE.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraFD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD06,
author = {Hiroyuki Okamura and
Tadashi Dohi},
title = {Building Phase-Type Software Reliability Models},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {289--298},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.17},
doi = {10.1109/ISSRE.2006.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IshiiD06,
author = {Tomotaka Ishii and
Tadashi Dohi},
title = {Two-Dimensional Software Reliability Models and Their Application},
booktitle = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
{USA}},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/PRDC.2006.64},
doi = {10.1109/PRDC.2006.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/IshiiD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/GiriD05,
author = {Bibhas Chandra Giri and
Tadashi Dohi},
title = {Computational aspects of an extended {EMQ} model with variable production
rate},
journal = {Comput. Oper. Res.},
volume = {32},
pages = {3143--3161},
year = {2005},
url = {https://doi.org/10.1016/j.cor.2004.05.004},
doi = {10.1016/J.COR.2004.05.004},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/GiriD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/GiriYD05,
author = {Bibhas Chandra Giri and
Won Young Yun and
Tadashi Dohi},
title = {Optimal design of unreliable production-inventory systems with variable
production rate},
journal = {Eur. J. Oper. Res.},
volume = {162},
number = {2},
pages = {372--386},
year = {2005},
url = {https://doi.org/10.1016/j.ejor.2003.10.015},
doi = {10.1016/J.EJOR.2003.10.015},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/GiriYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/RinsakaD05,
author = {Koichiro Rinsaka and
Tadashi Dohi},
title = {Behavioral Analysis of a Fault-Tolerant Software System with Rejuvenation},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {12},
pages = {2681--2690},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.12.2681},
doi = {10.1093/IETISY/E88-D.12.2681},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/RinsakaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/OkamuraMD05,
author = {Hiroyuki Okamura and
Satoshi Miyahara and
Tadashi Dohi},
title = {Rejuvenating Communication Network System under Burst Arrival Circumstances},
journal = {{IEICE} Trans. Commun.},
volume = {88-B},
number = {12},
pages = {4498--4506},
year = {2005},
url = {https://doi.org/10.1093/ietcom/e88-b.12.4498},
doi = {10.1093/IETCOM/E88-B.12.4498},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/OkamuraMD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itor/GiriYD05,
author = {B. C. Giri and
Won Young Yun and
Tadashi Dohi},
title = {Optimal lot sizing in an unreliable two-stage serial production-inventory
system},
journal = {Int. Trans. Oper. Res.},
volume = {12},
number = {1},
pages = {63--82},
year = {2005},
url = {https://doi.org/10.1111/j.1475-3995.2005.00490.x},
doi = {10.1111/J.1475-3995.2005.00490.X},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itor/GiriYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jors/GiriD05,
author = {B. C. Giri and
Tadashi Dohi},
title = {Exact formulation of stochastic {EMQ} model for an unreliable production
system},
journal = {J. Oper. Res. Soc.},
volume = {56},
number = {5},
pages = {563--575},
year = {2005},
url = {https://doi.org/10.1057/palgrave.jors.2601840},
doi = {10.1057/PALGRAVE.JORS.2601840},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jors/GiriD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OhishiOD05,
author = {Koji Ohishi and
Hiroyuki Okamura and
Tadashi Dohi},
title = {Gompertz Software Reliability Model and Its Application},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
1},
pages = {405--410},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.82},
doi = {10.1109/COMPSAC.2005.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/OhishiOD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/OkamuraD05,
author = {Hiroyuki Okamura and
Tadashi Dohi},
editor = {Laurence Tianruo Yang and
Makoto Amamiya and
Zhen Liu and
Minyi Guo and
Franz J. Rammig},
title = {Performance Evaluation of Power-Aware Communication Network Devices},
booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005, International Conference
{EUC} 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3824},
pages = {245--254},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596356\_27},
doi = {10.1007/11596356\_27},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/euc/OkamuraD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/IwamotoDK05,
author = {Kazuki Iwamoto and
Tadashi Dohi and
Naoto Kaio},
editor = {Tomoya Enokido and
Lu Yan and
Bin Xiao and
Daeyoung Kim and
Yuan{-}Shun Dai and
Laurence Tianruo Yang},
title = {Monitoring the Health Condition of a Ubiquitous System: Rejuvenation
vs. Recovery},
booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005 Workshops, {EUC} 2005
Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December
6-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3823},
pages = {1283--1292},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596042\_130},
doi = {10.1007/11596042\_130},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/euc/IwamotoDK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/KobayashiT05,
author = {Naoki Kobayashi and
Tadashi Dohi},
title = {Bayesian Perspective of Optimal Checkpoint Placement},
booktitle = {Ninth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2005), 12-14 October 2005, Heidelberg, Germany},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HASE.2005.7},
doi = {10.1109/HASE.2005.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/KobayashiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/OkamuraTD05,
author = {Hiroyuki Okamura and
Kei Tsuruta and
Tadashi Dohi},
editor = {Peter Kokol},
title = {An Architecture-based Software Reliability Model with Finite Number
of Faults},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
pages = {20--25},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Thu, 27 Oct 2005 12:09:59 +0200},
biburl = {https://dblp.org/rec/conf/iastedSE/OkamuraTD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/ItoD05,
author = {Hiroyuki Ito and
Tadashi Dohi},
title = {Optimality of Control-Limit Type of Software Rejuvenation Policy},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {483--487},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.212},
doi = {10.1109/ICPADS.2005.212},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/ItoD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/OkamuraID05,
author = {Hiroyuki Okamura and
Kazuki Iwamoto and
Tadashi Dohi},
title = {A Dynamic Programming Algorithm for Software Rejuvenation Scheduling
under Distributed Computation Circumstance},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {493--499},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.22},
doi = {10.1109/ICPADS.2005.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/OkamuraID05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/OkamuraMD05,
author = {Hiroyuki Okamura and
Satoshi Miyahara and
Tadashi Dohi},
editor = {Qingquan Qian},
title = {Effect of preventive rejuvenation in communication network system
with burst arrival},
booktitle = {2005 International Symposium on Autonomous Decentralized Systems,
{ISADS} 2005, Chengdu, China, April 4-8, 2005, Proceedings},
pages = {151--158},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISADS.2005.1452041},
doi = {10.1109/ISADS.2005.1452041},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/OkamuraMD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/RinsakaD05,
author = {Koichiro Rinsaka and
Tadashi Dohi},
editor = {Qingquan Qian},
title = {Behavioral analysis of a fault-tolerant software system with rejuvenation},
booktitle = {2005 International Symposium on Autonomous Decentralized Systems,
{ISADS} 2005, Chengdu, China, April 4-8, 2005, Proceedings},
pages = {159--166},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISADS.2005.1452042},
doi = {10.1109/ISADS.2005.1452042},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/RinsakaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraKD05,
author = {Hiroyuki Okamura and
Hisashi Kobayashi and
Tadashi Dohi},
title = {Markovian Modeling and Analysis of Internet Worm Propagation},
booktitle = {16th International Symposium on Software Reliability Engineering {(ISSRE}
2005), 8-11 November 2005, Chicago, IL, {USA}},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISSRE.2005.27},
doi = {10.1109/ISSRE.2005.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraKD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/DohiST04,
author = {Tadashi Dohi and
Hiroaki Suzuki and
Kishor S. Trivedi},
title = {Comparing Software Rejuvenation Policies under Different Dependability
Measures},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {87-D},
number = {8},
pages = {2078--2085},
year = {2004},
url = {http://search.ieice.org/bin/summary.php?id=e87-d\_8\_2078},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/DohiST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DohiOT04,
author = {Tadashi Dohi and
Shunji Osaki and
Kishor S. Trivedi},
title = {An Infinite Server Queueing Approach for Describing Software Reliability
Growth - Unified Modeling and Estimation Framework},
booktitle = {11th Asia-Pacific Software Engineering Conference {(APSEC} 2004),
30 November - 3 December 2004, Busan, Korea},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/APSEC.2004.29},
doi = {10.1109/APSEC.2004.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/DohiOT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OzakiDOK04,
author = {Tatsuya Ozaki and
Tadashi Dohi and
Hiroyuki Okamura and
Naoto Kaio},
title = {Min-Max Checkpoint Placement under Incomplete Failure Information},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {721--730},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311943},
doi = {10.1109/DSN.2004.1311943},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OzakiDOK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/OkamuraMD04,
author = {Hiroyuki Okamura and
Atsushi Murayama and
Tadashi Dohi},
title = {{EM} Algorithm for Discrete Software Reliability Models: {A} Unified
Parameter Estimation Method},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {219--228},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281746},
doi = {10.1109/HASE.2004.1281746},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/OkamuraMD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/OkamuraDO04,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Shunji Osaki},
editor = {M. H. Hamza},
title = {{EM} algorithms for logistic software reliability models},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {263--268},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/OkamuraDO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/IwamotoDK04,
author = {Kazuki Iwamoto and
Tadashi Dohi and
Naoto Kaio},
editor = {M. H. Hamza},
title = {A discrete software cost model with periodic rejuvenation for a telecommunication
billing application},
booktitle = {Proceedings of the {IASTED} Conference on Software Engineering and
Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
pages = {282--287},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Mon, 18 Jun 2007 14:30:27 +0200},
biburl = {https://dblp.org/rec/conf/iastedSEA/IwamotoDK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OkamuraND04,
author = {Hiroyuki Okamura and
Yuki Nishimura and
Tadashi Dohi},
title = {A Dynamic Checkpointing Scheme Based on Reinforcement Learning},
booktitle = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2004), 3-5 March 2004, Papeete, Tahiti},
pages = {151--158},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/PRDC.2004.1276566},
doi = {10.1109/PRDC.2004.1276566},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/OkamuraND04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/OkamuraMD03,
author = {Hiroyuki Okamura and
Satoshi Miyahara and
Tadashi Dohi},
title = {Dependability Analysis of a Transaction-Based Multi-Server System
with Rejuvenation},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {86-A},
number = {8},
pages = {2081--2090},
year = {2003},
url = {http://search.ieice.org/bin/summary.php?id=e86-a\_8\_2081},
timestamp = {Tue, 08 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/OkamuraMD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraWD03,
author = {Hiroyuki Okamura and
Yasuhiro Watanabe and
Tadashi Dohi},
title = {An Iterative Scheme for Maximum Likelihood Estimation in Software
Reliability Modeling},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {246--256},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251047},
doi = {10.1109/ISSRE.2003.1251047},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraWD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SuzukiDKT03,
author = {Hiroyuki Suzuki and
Tadashi Dohi and
Naoto Kaio and
Kishor S. Trivedi},
title = {Maximizing Interval Reliability in Operational Software System with
Rejuvenation},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {479--490},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251068},
doi = {10.1109/ISSRE.2003.1251068},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/SuzukiDKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/SuzukiDO02,
author = {Hiroaki Suzuki and
Tadashi Dohi and
Hiroyuki Okamura},
title = {Cost-Effective Analysis of Software Systems with Periodic Rejuvenation},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {12},
pages = {2923--2932},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_12\_2923},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/SuzukiDO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/OkamuraMD02,
author = {Hiroyuki Okamura and
Satoshi Miyahara and
Tadashi Dohi},
title = {Refined non-homogeneous markovian models for a single-server type
of software system with rejuvenation},
journal = {{RAIRO} Oper. Res.},
volume = {36},
number = {2},
pages = {129--148},
year = {2002},
url = {https://doi.org/10.1051/ro:2002010},
doi = {10.1051/RO:2002010},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/OkamuraMD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DohiIOK02,
author = {Tadashi Dohi and
Kazuki Iwamoto and
Hiroyuki Okamura and
Naoto Kaio},
title = {Discrete Availability Models to Rejuvenate a Telecommunication Billing
Application},
booktitle = {7th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2002), 23-25 October 2002, Tokyo, Japan},
pages = {159--166},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HASE.2002.1173117},
doi = {10.1109/HASE.2002.1173117},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DohiIOK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isese/OkamuraWD02,
author = {Hiroyuki Okamura and
Yasuhiro Watanabe and
Tadashi Dohi},
title = {Estimating Mixed Software Reliability Models Based on the {EM} Algorithm},
booktitle = {2002 International Symposium on Empirical Software Engineering {(ISESE}
2002), 3-4 October 2002, Nara, Japan},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISESE.2002.1166927},
doi = {10.1109/ISESE.2002.1166927},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isese/OkamuraWD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraMD02,
author = {Hiroyuki Okamura and
Satoshi Miyahara and
Tadashi Dohi},
title = {Dependability Analysis of a Client/Server Software System with Rejuvenation},
booktitle = {13th International Symposium on Software Reliability Engineering {(ISSRE}
2002), 12-15 November 2002, Annapolis, MD, {USA}},
pages = {171--182},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISSRE.2002.1173241},
doi = {10.1109/ISSRE.2002.1173241},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/OkamuraMD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DohiKT02,
author = {Tadashi Dohi and
Naoto Kaio and
Kishor S. Trivedi},
title = {Availability Models with Age-Dependent Checkpointing},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180181},
doi = {10.1109/RELDIS.2002.1180181},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DohiKT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DohiGT01,
author = {Tadashi Dohi and
Katerina Goseva{-}Popstojanova and
Kishor S. Trivedi},
title = {Estimating Software Rejuvenation Schedules in High-Assurance Systems},
journal = {Comput. J.},
volume = {44},
number = {6},
pages = {473--485},
year = {2001},
url = {https://doi.org/10.1093/comjnl/44.6.473},
doi = {10.1093/COMJNL/44.6.473},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/DohiGT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/DohiOKO01,
author = {Tadashi Dohi and
F. S. Othman and
Naoto Kaio and
Shunji Osaki},
title = {The Lorenz Transform approach to the Optimal Repair-Cost limit remplacement
Policy with Imperfect Repair},
journal = {{RAIRO} Oper. Res.},
volume = {35},
number = {1},
pages = {21--36},
year = {2001},
url = {https://doi.org/10.1051/ro:2001101},
doi = {10.1051/RO:2001101},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/DohiOKO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DohiWOT01,
author = {Tadashi Dohi and
Nobuyuki Wakana and
Shunji Osaki and
Kishor S. Trivedi},
title = {Analysis of Hypergeometric Distribution Software Reliability Model},
booktitle = {12th International Symposium on Software Reliability Engineering {(ISSRE}
2001), 27-30 November 2001, Hong Kong, China},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISSRE.2001.989470},
doi = {10.1109/ISSRE.2001.989470},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/DohiWOT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DohiDO01,
author = {Tadashi Dohi and
Takashi Danjou and
Hiroyuki Okamura},
title = {Optimal Software Rejuvenation Policy with Discounting},
booktitle = {8th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2001), 17-19 December 2001, Seoul, Korea},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PRDC.2001.992684},
doi = {10.1109/PRDC.2001.992684},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/DohiDO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DohiGT00,
author = {Tadashi Dohi and
Katerina Goseva{-}Popstojanova and
Kishor S. Trivedi},
title = {Analysis of software cost models with rejuvenation},
booktitle = {5th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HASE.2000.895436},
doi = {10.1109/HASE.2000.895436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DohiGT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DohiOT00,
author = {Tadashi Dohi and
Shunji Osaki and
Kishor S. Trivedi},
title = {Heuristic Self-Organization Algorithms for Software Reliability Assessment
and Their Applications},
booktitle = {11th International Symposium on Software Reliability Engineering {(ISSRE}
2000), 8-11 October 2000, San Jose, CA, {USA}},
pages = {40--51},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISSRE.2000.885859},
doi = {10.1109/ISSRE.2000.885859},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/DohiOT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DohiGT00,
author = {Tadashi Dohi and
Katerina Goseva{-}Popstojanova and
Kishor S. Trivedi},
title = {Statistical non-parametric algorithms to estimate the optimal software
rejuvenation schedule},
booktitle = {2000 Pacific Rim International Symposium on Dependable Computing {(PRDC}
2000), 18-20 December 2000, Los Angeles, CA, {USA}},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PRDC.2000.897287},
doi = {10.1109/PRDC.2000.897287},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/DohiGT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/OkamuraDO00,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Shunji Osaki},
title = {Performance analysis of a transaction based software system with shutdown},
booktitle = {Second International Workshop on Software and Performance, {WOSP}
2000, Ottawa, Canada, September 17-20, 2000},
pages = {168--179},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/350391.350428},
doi = {10.1145/350391.350428},
timestamp = {Sat, 03 Aug 2019 21:51:56 +0200},
biburl = {https://dblp.org/rec/conf/wosp/OkamuraDO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/DohiNO99,
author = {Tadashi Dohi and
Yasuhiko Nishio and
Shunji Osaki},
title = {Optimal software release scheduling based on artificial neural networks},
journal = {Ann. Softw. Eng.},
volume = {8},
pages = {167--185},
year = {1999},
url = {https://doi.org/10.1023/A:1018962910992},
doi = {10.1023/A:1018962910992},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/DohiNO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DohiOK99,
author = {Tadashi Dohi and
Shunji Osaki and
Naoto Kaio},
title = {Optimal Checkpointing and Rollback Strategies with Media Failures:
Statistical Estimation Algorithms},
booktitle = {1999 Pacific Rim International Symposium on Dependable Computing {(PRDC}
1999), 16-17 December 1999, Hong Kong},
pages = {161},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PRDC.1999.816225},
doi = {10.1109/PRDC.1999.816225},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/DohiOK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/DohiO93,
author = {Tadashi Dohi and
Shunji Osaki},
title = {A note on portfolio optimization with path-dependent utility},
journal = {Ann. Oper. Res.},
volume = {45},
number = {1},
pages = {77--90},
year = {1993},
url = {https://doi.org/10.1007/BF02282042},
doi = {10.1007/BF02282042},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/DohiO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
