| 2018 | ETFA | Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. | Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario |
| 2018 | ETFA | AGV Congestion Avoidance using Threshold-modulating Oscillator in Cellular Manufacturing. | Takehiro Itou, Hisaya Wakayama, Keiji Konishi, Kumiko Tadano, Yoshiharu Maeno, Masatsugu Ogawa |
| 2015 | DSN | An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono |
| 2014 | ISSRE | Is Cut Sequence Necessary in Dynamic Fault Trees? | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono |
| 2014 | NOMS | Virtualized server infrastructure for resilient voice communication service. | Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara |
| 2014 | SAFECOMP | Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. | Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano |
| 2014 | SAFECOMP | Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno |
| 2013 | DSN | Performability analysis of RAID10 versus RAID6. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa |
| 2013 | ISSRE | Software rejuvenation impacts on a phased-mission system for Mars exploration. | Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida |
| 2013 | ISSRE | Composing hierarchical stochastic model from SysML for system availability analysis. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2013 | ISSRE | Persistence of relevance: A missing issue in imperfect coverage models. | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno |
| 2013 | MODELSWARD | Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. | Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno |
| 2012 | ISSRE | Aging-Related Bugs in Cloud Computing Software. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2012 | ISSRE | Software Life-Extension: A New Countermeasure to Software Aging. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2012 | ISSRE | Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno |
| 2012 | PRDC | Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. | Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno |
| 2012 | UIC | Combined Server Rejuvenation in a Virtualized Data Center. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2011 | ISSRE | Design Improvement of System Administrative Operations for Certification. | Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi |
| 2011 | ISSRE | Efficient Analysis of Fault Trees with Voting Gates. | Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki |
| 2011 | SAFECOMP | Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. | Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno |