Kumiko Tadano

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