Kumiko Tadano

According to our database, Kumiko Tadano authored at least 38 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Scalable control system for dense transfer vehicles in flexible manufacturing.

Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

2018

AGV Congestion Avoidance using Threshold-modulating Oscillator in Cellular Manufacturing.

Takehiro Itou, Hisaya Wakayama, Keiji Konishi, Kumiko Tadano, Yoshiharu Maeno, Masatsugu Ogawa

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 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

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Design and Analysis of AGVs Dispatch Timing Controller for Self-synchronized Production.

Takehiro Itou, Keiji Konishi, Hisaya Wakayama, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Robust Transfer Vehicle Swarm for Unreliable Production Facility.

Kumiko Tadano, Yoshiharu Maeno, Takehiro Itou, Hisaya Wakayama, Masatsugu Ogawa

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017

Lifetime Extension of Software Execution Subject to Aging.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

IEEE Trans. Reliab., 2017

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.

Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016

Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios.

Sandro Mehic, Kumiko Tadano, Enrico Vicario

Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015

An Imperfect Fault Coverage Model With Coverage of Irrelevant Components.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

IEEE Trans. Reliab., 2015

Road Repair Sequencing for Disaster Victim Evacuation.

Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali

Proceedings of the Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, 2015

An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2014

Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the Computer Safety, Reliability, and Security, 2014

Virtualized server infrastructure for resilient voice communication service.

Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

Is Cut Sequence Necessary in Dynamic Fault Trees?

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

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

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

Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval.

Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Persistence of relevance: A missing issue in imperfect coverage models.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Composing hierarchical stochastic model from SysML for system availability analysis.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Software rejuvenation impacts on a phased-mission system for Mars exploration.

Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.

Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Performability analysis of RAID10 versus RAID6.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Combined Server Rejuvenation in a Virtualized Data Center.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems.

Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Software Life-Extension: A New Countermeasure to Software Aging.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Aging-Related Bugs in Cloud Computing Software.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

Automatic Synthesis of Static Fault Trees from System Models.

Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis.

Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis.

Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the Computer Safety, Reliability, and Security, 2011

Efficient Analysis of Fault Trees with Voting Gates.

Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Design Improvement of System Administrative Operations for Certification.

Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

2010

Digital Watermarking of Virtual Machine Images.

Kumiko Tadano, Masahiro Kawato, Ryo Furukawa, Fumio Machida, Yoshiharu Maeno

Proceedings of the Advances in Digital Forensics VI, 2010

Resource Information Cache Update Control for Scalable Access Control Management Systems.

Kumiko Tadano, Masahiro Kawato, Fumio Machida, Yoshiharu Maeno

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Automatic Cache Update Control for Scalable Resource Information Service with WS-Management.

Kumiko Tadano, Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the Systems and Virtualization Management. Standards and the Cloud, 2009

2008

CIM-Based Resource Information Management for Integrated Access Control Manager.

Fumio Machida, Kumiko Tadano, Masahiro Kawato, Takayuki Ishikawa, Yoichiro Morita, Masayuki Nakae

Proceedings of the Systems and Virtualization Management. Standards and New Technologies, 2008