| 2010 | ICCSA | Availability Analysis of an IMS-Based VoIP Network System. | Toshikazu Uemura, Tadashi Dohi, Naoto Kaio |
| 2010 | PRDC | Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures. | Akikazu Izumi, Tadashi Dohi, Naoto Kaio |
| 2009 | CloudCom | Availability Analysis of a Scalable Intrusion Tolerant Architecture with Two Detection Modes. | Toshikazu Uemura, Tadashi Dohi, Naoto Kaio |
| 2006 | DASC | Optimal Checkpoint Placement with Equality Constraints. | Tadashi Dohi, Tatsuya Ozaki, Naoto Kaio |
| 2005 | EUC | Monitoring the Health Condition of a Ubiquitous System: Rejuvenation vs. Recovery. | Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio |
| 2004 | DSN | Min-Max Checkpoint Placement under Incomplete Failure Information. | Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio |
| 2003 | ISSRE | Maximizing Interval Reliability in Operational Software System with Rejuvenation. | Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi |
| 2002 | SRDS | Availability Models with Age-Dependent Checkpointing. | Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi |
| 1999 | PRDC | Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms. | Tadashi Dohi, Shunji Osaki, Naoto Kaio |