2008 | ||
---|---|---|
55 | EE | Hiroyuki Eto, Tadashi Dohi, Jianhua Ma: Simulation-Based Optimization Approach for Software Cost Model with Rejuvenation. ATC 2008: 206-218 |
54 | EE | Hiroyuki Okamura, Tadashi Dohi: Analysis of a Software System with Rejuvenation, Restoration and Checkpointing. ISAS 2008: 110-128 |
53 | EE | Toshikazu Uemura, Tadashi Dohi: Optimizing Security Measures in an Intrusion Tolerant Database System. ISAS 2008: 26-42 |
52 | EE | Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio: Estimating Periodic Software Rejuvenation Schedules under Discrete-Time Operation Circumstance. IEICE Transactions 91-D(1): 23-31 (2008) |
2007 | ||
51 | EE | Tomotaka Ishii, Tadashi Dohi, Hiroyuki Okamura: Bivariate Software Fault-Detection Models. COMPSAC (1) 2007: 535-538 |
50 | EE | Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi: Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models. DSN 2007: 698-707 |
49 | EE | Toshikazu Uemura, Tadashi Dohi: Quantitative Evaluation of Intrusion Tolerant Systems Subject to DoS Attacks Via Semi-Markov Cost Models. EUC Workshops 2007: 31-42 |
48 | EE | Li Zhang, Hiroyuki Okamura, Tadashi Dohi: Performance Evaluation for Automatic Protection Switching in a CDMA-TDD Wireless Communication System. HCI (4) 2007: 1200-1209 |
47 | EE | Koichiro Rinsaka, Tadashi Dohi: A Faster Estimation Algorithm for Periodic Preventive Rejuvenation Schedule Maximizing System Availability. ISAS 2007: 94-109 |
46 | EE | Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi, Hiroyuki Okamura: Quantifying Software Maintainability Based on a Fault-Detection/Correction Model. PRDC 2007: 35-42 |
45 | EE | Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi: PISRAT: Proportional Intensity-Based Software Reliability Assessment Tool. PRDC 2007: 43-52 |
44 | EE | Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi: Estimating Markov-modulated compound Poisson processes. VALUETOOLS 2007: 28 |
43 | EE | Bibhas Chandra Giri, Tadashi Dohi: Inspection scheduling for imperfect production processes under free repair warranty contract. European Journal of Operational Research 183(1): 238-252 (2007) |
42 | EE | Hiroyuki Okamura, Mitsuaki Ando, Tadashi Dohi: A generalized gamma software reliability model. Systems and Computers in Japan 38(2): 81-90 (2007) |
2006 | ||
41 | EE | Koichiro Rinsaka, Kazuya Shibata, Tadashi Dohi: Proportional Intensity-Based Software Reliability Modeling with Time-Dependent Metrics. COMPSAC (1) 2006: 369-376 |
40 | EE | Takao Ando, Hiroyuki Okamura, Tadashi Dohi: Estimating Markov Modulated Software Reliability Models via EM Algorithm. DASC 2006: 111-118 |
39 | EE | Tadashi Dohi, Tatsuya Ozaki, Naoto Kaio: Optimal Checkpoint Placement with Equality Constraints. DASC 2006: 77-84 |
38 | EE | Hiroyuki Eto, Tadashi Dohi: Analysis of a Service Degradation Model with Preventive Rejuvenation. ISAS 2006: 17-29 |
37 | EE | Hiroyuki Okamura, Hitoshi Furumura, Tadashi Dohi: On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach. ISSRE 2006: 247-255 |
36 | EE | Hiroyuki Okamura, Tadashi Dohi: Building Phase-Type Software Reliability Models. ISSRE 2006: 289-298 |
35 | EE | Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi: Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes. ISSRE 2006: 52-61 |
34 | EE | Tomotaka Ishii, Tadashi Dohi: Two-Dimensional Software Reliability Models and Their Application. PRDC 2006: 3-10 |
33 | EE | Tadashi Dohi, Shunji Osaki, Nikolaos Limnios: Mathematical Finance and Risk Assessment. European Journal of Operational Research 168(2): 279-280 (2006) |
32 | EE | Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio: Distribution-Free Checkpoint Placement Algorithms Based on Min-Max Principle. IEEE Trans. Dependable Sec. Comput. 3(2): 130-140 (2006) |
2005 | ||
31 | EE | Koji Ohishi, Hiroyuki Okamura, Tadashi Dohi: Gompertz Software Reliability Model and Its Application. COMPSAC (1) 2005: 405-410 |
30 | EE | Hiroyuki Okamura, Tadashi Dohi: Performance Evaluation of Power-Aware Communication Network Devices. EUC 2005: 245-254 |
29 | EE | Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio: Monitoring the Health Condition of a Ubiquitous System: Rejuvenation vs. Recovery. EUC Workshops 2005: 1283-1292 |
28 | Hiroyuki Okamura, Kei Tsuruta, Tadashi Dohi: An Architecture-based Software Reliability Model with Finite Number of Faults. IASTED Conf. on Software Engineering 2005: 20-25 | |
27 | EE | Hiroyuki Ito, Tadashi Dohi: Optimality of Control-Limit Type of Software Rejuvenation Policy. ICPADS (2) 2005: 483-487 |
26 | EE | Hiroyuki Okamura, Kazuki Iwamoto, Tadashi Dohi: A Dynamic Programming Algorithm for Software Rejuvenation Scheduling under Distributed Computation Circumstance. ICPADS (2) 2005: 493-499 |
25 | EE | Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi: Markovian Modeling and Analysis of Internet Worm Propagation. ISSRE 2005: 149-158 |
24 | EE | Bibhas Chandra Giri, Tadashi Dohi: Computational aspects of an extended EMQ model with variable production rate. Computers & OR 32: 3143-3161 (2005) |
23 | EE | Bibhas Chandra Giri, W. Y. Yun, Tadashi Dohi: Optimal design of unreliable production-inventory systems with variable production rate. European Journal of Operational Research 162(2): 372-386 (2005) |
22 | EE | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi: Rejuvenating Communication Network System under Burst Arrival Circumstances. IEICE Transactions 88-B(12): 4498-4506 (2005) |
21 | EE | Koichiro Rinsaka, Tadashi Dohi: Behavioral Analysis of a Fault-Tolerant Software System with Rejuvenation. IEICE Transactions 88-D(12): 2681-2690 (2005) |
2004 | ||
20 | EE | Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi: An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework. APSEC 2004: 120-129 |
19 | EE | Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio: Min-Max Checkpoint Placement under Incomplete Failure Information. DSN 2004: 721-730 |
18 | EE | Hiroyuki Okamura, Atsushi Murayama, Tadashi Dohi: EM Algorithm for Discrete Software Reliability Models: A Unified Parameter Estimation Method. HASE 2004: 219-228 |
17 | Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki: EM algorithms for logistic software reliability models. IASTED Conf. on Software Engineering 2004: 263-268 | |
16 | Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio: A discrete software cost model with periodic rejuvenation for a telecommunication billing application. IASTED Conf. on Software Engineering and Applications 2004: 282-287 | |
15 | EE | Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi: A Dynamic Checkpointing Scheme Based on Reinforcement Learning. PRDC 2004: 151-158 |
2003 | ||
14 | EE | Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi: An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling. ISSRE 2003: 246-256 |
13 | EE | Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Maximizing Interval Reliability in Operational Software System with Rejuvenation. ISSRE 2003: 479-490 |
2002 | ||
12 | EE | Tadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio: Discrete Availability Models to Rejuvenate a Telecommunication Billing Application. HASE 2002: 159-166 |
11 | EE | Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi: Estimating Mixed Software Reliability Models Based on the EM Algorithm. ISESE 2002: 69-78 |
10 | EE | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi: Dependability Analysis of a Client/Server Software System with Rejuvenation. ISSRE 2002: 171-182 |
9 | EE | Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Availability Models with Age-Dependent Checkpointing. SRDS 2002: 130-139 |
2001 | ||
8 | EE | Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi: Analysis of Hypergeometric Distribution Software Reliability Model. ISSRE 2001: 166-175 |
7 | EE | Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura: Optimal Software Rejuvenation Policy with Discounting. PRDC 2001: 87-94 |
6 | EE | Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi: Estimating Software Rejuvenation Schedules in High-Assurance Systems. Comput. J. 44(6): 473-485 (2001) |
2000 | ||
5 | EE | Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi: Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. ISSRE 2000: 40-51 |
4 | EE | Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi: Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. PRDC 2000: 77-84 |
3 | EE | Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki: Performance analysis of a transaction based software system with shutdown. Workshop on Software and Performance 2000: 168-179 |
1999 | ||
2 | EE | Tadashi Dohi, Shunji Osaki, Naoto Kaio: Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms. PRDC 1999: 161- |
1 | Tadashi Dohi, Yasuhiko Nishio, Shunji Osaki: Optimal software release scheduling based on artificial neural networks. Ann. Software Eng. 8: 167-185 (1999) |