CIM-Based Resource Information Management for Integrated Access Control Manager. - Fumio Machida; Kumiko Tadano; Masahiro Kawato; Takayuki Ishikawa; Yoichiro Morita; Masayuki Nakae (SVM, 2008)

Automatic Cache Update Control for Scalable Resource Information Service with WS-Management. - Kumiko Tadano; Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (SVM, 2009)

Resource Information Cache Update Control for Scalable Access Control Management Systems. - Kumiko Tadano; Masahiro Kawato; Fumio Machida; Yoshiharu Maeno (IEEE CLOUD, 2010)

Digital Watermarking of Virtual Machine Images. - Kumiko Tadano; Masahiro Kawato; Ryo Furukawa 003; Fumio Machida; Yoshiharu Maeno (IFIP Int. Conf. Digital Forensics, 2010)

Design Improvement of System Administrative Operations for Certification. - Kumiko Tadano; Jianwen Xiang; Fumio Machida; Yoshiharu Maeno; Takao Osaki; Atsushi Kobayashi (WOSOCER, 2011)

Efficient Analysis of Fault Trees with Voting Gates. - Jianwen Xiang; Kazuo Yanoo; Yoshiharu Maeno; Kumiko Tadano; Fumio Machida; Atsushi Kobayashi; Takao Osaki (ISSRE, 2011)

Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. - Kumiko Tadano; Jianwen Xiang; Masahiro Kawato; Yoshiharu Maeno (SAFECOMP, 2011)

Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. - Kumiko Tadano; Jianwen Xiang; Masahiro Kawato; Yoshiharu Maeno (SSIRI (Companion), 2011)

Automatic Synthesis of Static Fault Trees from System Models. - Jianwen Xiang; Kazuo Yanoo; Yoshiharu Maeno; Kumiko Tadano (SSIRI, 2011)

Aging-Related Bugs in Cloud Computing Software. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (ISSRE Workshops, 2012)

Software Life-Extension: A New Countermeasure to Software Aging. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (ISSRE, 2012)

Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Kazuo Yanoo; Wei Sun 004; Yoshiharu Maeno (ISSRE Workshops, 2012)

Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. - Kumiko Tadano; Fumio Machida; Jianwen Xiang; Yoshiharu Maeno (PRDC, 2012)

Combined Server Rejuvenation in a Virtualized Data Center. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (UIC/ATC, 2012)

Performability analysis of RAID10 versus RAID6. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno; Takashi Horikawa (DSN, 2013)

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. - Laura Carnevali; Marco Paolieri; Kumiko Tadano; Enrico Vicario (EPEW, 2013)

Software rejuvenation impacts on a phased-mission system for Mars exploration. - Stefano Ballerini; Laura Carnevali; Marco Paolieri; Kumiko Tadano; Fumio Machida (ISSRE (Supplemental Proceedings), 2013)

Composing hierarchical stochastic model from SysML for system availability analysis. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (ISSRE, 2013)

Persistence of relevance: A missing issue in imperfect coverage models. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno (ISSRE (Supplemental Proceedings), 2013)

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Kazuo Yanoo; Wei Sun 004; Yoshiharu Maeno (LADC, 2013)

Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. - Kumiko Tadano; Jianwen Xiang; Fumio Machida; Yoshiharu Maeno (MODELSWARD, 2013)

Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems. - Kumiko Tadano; Jianwen Xiang; Fumio Machida; Yoshiharu Maeno (IEICE Trans. Inf. Syst., 2013)

Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno; Kazuo Yanoo (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Is Cut Sequence Necessary in Dynamic Fault Trees? - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Shigeru Hosono (ISSRE Workshops, 2014)

Virtualized server infrastructure for resilient voice communication service. - Fumio Machida; Ryota Mibu; Junichi Gokurakuji; Kazuo Yanoo; Kumiko Tadano; Yoshiharu Maeno; Tomoyoshi Sugawara (NOMS, 2014)

Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. - Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario; Kumiko Tadano (SAFECOMP Workshops, 2014)

Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno (SAFECOMP, 2014)

An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Shigeru Hosono (DSN Workshops, 2015)

Road Repair Sequencing for Disaster Victim Evacuation. - Kumiko Tadano; Yoshiharu Maeno; Laura Carnevali (ESSA, 2015)

An Imperfect Fault Coverage Model With Coverage of Irrelevant Components. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno (IEEE Trans. Reliab., 2015)

Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. - Sandro Mehic; Kumiko Tadano; Enrico Vicario (EPEW, 2016)

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. - Marco Biagi; Laura Carnevali; Tommaso Papini; Kumiko Tadano; Enrico Vicario (EPEW, 2017)

Lifetime Extension of Software Execution Subject to Aging. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (IEEE Trans. Reliab., 2017)

Robust Transfer Vehicle Swarm for Unreliable Production Facility. - Kumiko Tadano; Yoshiharu Maeno; Takehiro Itou; Hisaya Wakayama; Masatsugu Ogawa (CCTA, 2018)

Design and Analysis of AGVs Dispatch Timing Controller for Self-synchronized Production. - Takehiro Itou; Keiji Konishi; Hisaya Wakayama; Kumiko Tadano; Yoshiharu Maeno (CDC, 2018)

Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. - Marco Biagi; Laura Carnevali; Kumiko Tadano; Enrico Vicario (ETFA, 2018)

AGV Congestion Avoidance using Threshold-modulating Oscillator in Cellular Manufacturing. - Takehiro Itou; Hisaya Wakayama; Keiji Konishi; Kumiko Tadano; Yoshiharu Maeno; Masatsugu Ogawa (ETFA, 2018)

Scalable control system for dense transfer vehicles in flexible manufacturing. - Kumiko Tadano; Yoshiharu Maeno (CCTA, 2019)