Kumiko Tadano

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 8

Top Topics

Component Failures

Cellular Manufacturing

Quantitative Evaluation

Congestion Avoidance

Top Venues

ISSRE Workshops

IEEE Trans. Reliab.

ISSRE (Supplemental Proceedings)

Publications

Kumiko Tadano, Yoshiharu Maeno
Scalable control system for dense transfer vehicles in flexible manufacturing. CCTA (2019)
Kumiko Tadano, Yoshiharu Maeno, Takehiro Itou, Hisaya Wakayama, Masatsugu Ogawa
Robust Transfer Vehicle Swarm for Unreliable Production Facility. CCTA (2018)
Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. ETFA (2018)
Takehiro Itou, Hisaya Wakayama, Keiji Konishi, Kumiko Tadano, Yoshiharu Maeno, Masatsugu Ogawa
AGV Congestion Avoidance using Threshold-modulating Oscillator in Cellular Manufacturing. ETFA (2018)
Takehiro Itou, Keiji Konishi, Hisaya Wakayama, Kumiko Tadano, Yoshiharu Maeno
Design and Analysis of AGVs Dispatch Timing Controller for Self-synchronized Production. CDC (2018)
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW (2017)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Lifetime Extension of Software Execution Subject to Aging. IEEE Trans. Reliab. 66 (1) (2017)
Sandro Mehic, Kumiko Tadano, Enrico Vicario
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. EPEW (2016)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono
An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System. DSN Workshops (2015)
Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali
Road Repair Sequencing for Disaster Victim Evacuation. ESSA (2015)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
An Imperfect Fault Coverage Model With Coverage of Irrelevant Components. IEEE Trans. Reliab. 64 (1) (2015)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. SAFECOMP (2014)
Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara
Virtualized server infrastructure for resilient voice communication service. NOMS (2014)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. SAFECOMP Workshops (2014)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono
Is Cut Sequence Necessary in Dynamic Fault Trees? ISSRE Workshops (2014)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa
Performability analysis of RAID10 versus RAID6. DSN (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno, Kazuo Yanoo
Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2013)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno
Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. MODELSWARD (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
Persistence of relevance: A missing issue in imperfect coverage models. ISSRE (Supplemental Proceedings) (2013)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Composing hierarchical stochastic model from SysML for system availability analysis. ISSRE (2013)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno
Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems. IEICE Trans. Inf. Syst. (9) (2013)
Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida
Software rejuvenation impacts on a phased-mission system for Mars exploration. ISSRE (Supplemental Proceedings) (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. LADC (2013)
Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW (2013)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Combined Server Rejuvenation in a Virtualized Data Center. UIC/ATC (2012)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Software Life-Extension: A New Countermeasure to Software Aging. ISSRE (2012)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno
Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. ISSRE Workshops (2012)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Aging-Related Bugs in Cloud Computing Software. ISSRE Workshops (2012)
Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno
Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. PRDC (2012)
Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. SAFECOMP (2011)
Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno
Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. SSIRI (Companion) (2011)
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano
Automatic Synthesis of Static Fault Trees from System Models. SSIRI (2011)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi
Design Improvement of System Administrative Operations for Certification. WOSOCER (2011)
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki
Efficient Analysis of Fault Trees with Voting Gates. ISSRE (2011)
Kumiko Tadano, Masahiro Kawato, Ryo Furukawa, Fumio Machida, Yoshiharu Maeno
Digital Watermarking of Virtual Machine Images. IFIP Int. Conf. Digital Forensics (2010)
Kumiko Tadano, Masahiro Kawato, Fumio Machida, Yoshiharu Maeno
Resource Information Cache Update Control for Scalable Access Control Management Systems. IEEE CLOUD (2010)
Kumiko Tadano, Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Automatic Cache Update Control for Scalable Resource Information Service with WS-Management. SVM (2009)
Fumio Machida, Kumiko Tadano, Masahiro Kawato, Takayuki Ishikawa, Yoichiro Morita, Masayuki Nakae
CIM-Based Resource Information Management for Integrated Access Control Manager. SVM (2008)