サイト内の現在位置

NECの研究者

2018.3.30

但野 紅美子 (Kumiko Tadano)

但野 紅美子の写真

Data Science Research Laboratories,
NEC Central Research Labs.
NEC Corporation
Senior researcher

Research Area

  • Distributed intelligent control of highly uncertain systems
  • Reliability engineering for critical infrastructure

Papers

My DBLP is available new windowhere.

International Journal

  • Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno: Lifetime Extension of Software Execution Subject to Aging. IEEE Trans. Reliability 66(1): 123-134 (2017)
  • Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno: An Imperfect Fault Coverage Model With Coverage of Irrelevant Components. IEEE Trans. Reliability 64(1): 320-332 (2015)
  • Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno, Kazuo Yanoo: Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage. IEICE Transactions 96-A(7): 1649-1652 (2013)
  • Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno: Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems. IEICE Transactions 96-D(9): 1941-1951 (2013)
  • B.J. Baelus, A. Kanda, N. Shimizu, K. Tadano, Y. Ootuka, K. Kadowaki, and F. M. Peeters, "Multivortex and giant vortex states near the expulsion and penetration fields in thin mesoscopic superconducting squares" Phys. Rev. B 73, 024514 (2006).
  • A. Kanda, B. J. Baelus, N. Shimizu, K. Tadano, F. M. Peeters, K. Kadowaki, and Y. Ootuka, "Size Dependence of Vortex States in Mesoscopic Superconductors" Physica C 445-448, 253-256 (2006).
  • A. Kanda, B. J. Baelus, N. Shimizu, K. Tadano, F. M. Peeters, K. Kadowaki, and Y. Ootuka, "Experimental study on giant vortex and multivortex states in mesoscopic superconductors" Physica C 437-438, 122-126 (2006).

International Conference, Workshop

  • Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario: An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW 2017: 152-166
  • Sandro Mehic, Kumiko Tadano, Enrico Vicario: Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. EPEW 2016: 174-186
  • 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: 51-56
  • Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali: Road Repair Sequencing for Disaster Victim Evacuation. ESSA 2015: 401-412
  • Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono: Is Cut Sequence Necessary in Dynamic Fault Trees? ISSRE Workshops 2014: 138-139
  • Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara: Virtualized server infrastructure for resilient voice communication service. NOMS 2014: 1-8
  • Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno: Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. SAFECOMP 2014: 109-124
  • 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: 304-315
  • Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa: Performability analysis of RAID10 versus RAID6. DSN 2013: 1-2
  • Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario: Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW 2013: 176-190
  • Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno: Persistence of relevance: A missing issue in imperfect coverage models. ISSRE (Supplemental Proceedings) 2013: 3-4
  • Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno: Composing hierarchical stochastic model from SysML for system availability analysis. ISSRE 2013: 51-60
  • 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: 275-280
  • 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: 58-67
  • Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno: Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. MODELSWARD 2013: 233-240
  • 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: 3-4
  • Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno: Software Life-Extension: A New Countermeasure to Software Aging. ISSRE 2012: 131-140
  • Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno: Aging-Related Bugs in Cloud Computing Software. ISSRE Workshops 2012: 287-292
  • Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno: Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. PRDC 2012: 21-30
  • Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno: Combined Server Rejuvenation in a Virtualized Data Center. UIC/ATC 2012: 486-493
  • Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi: Design Improvement of System Administrative Operations for Certification. WOSOCER 2011: 31-36
  • Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki: Efficient Analysis of Fault Trees with Voting Gates. ISSRE 2011: 230-239
  • Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno: Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. SAFECOMP 2011: 296-309
  • Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno: Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. SSIRI (Companion) 2011: 5-6
  • Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano: Automatic Synthesis of Static Fault Trees from System Models. SSIRI 2011: 127-136
  • Kumiko Tadano, Masahiro Kawato, Fumio Machida, Yoshiharu Maeno: Resource Information Cache Update Control for Scalable Access Control Management Systems. IEEE CLOUD 2010: 538-539
  • Kumiko Tadano, Masahiro Kawato, Ryo Furukawa, Fumio Machida, Yoshiharu Maeno: Digital Watermarking of Virtual Machine Images. IFIP Int. Conf. Digital Forensics 2010: 257-268
  • A. Kanda, N. Shimizu, K. Tadano, Y. Ootuka, B. J. Baelus, F. M. Peeters, and K. Kadowaki, "Coalescence and rearrangement of vortices in mesoscopic superconductors", Proceedings of the 8th International Symposium on Foundations of Quantum Mechanics in the Light of New Technology (ISQM-TOKYO'05), pp 200-203 ( World Scientific Publishing Co., Singapore, 2006).
  • A. Kanda, N. Shimizu, K. Tadano, Y. Ootuka, B. J. Baelus, F. M. Peeters, K. Kadowaki, "Experimental evidence for novel vortex states in mesoscopic superconductors", Proceedings of CTC/PLASMA-2004, 114-116.

Others

  • Kumiko Tadano, "Stochastic Modeling and analysis for Quantitative Evaluation of Non-Functional System Requirement", The journal of Reliability Engineering Association of Japan 38 (6): 350-357 (2016)(in Japanese).

Committee

  • Journal: IEICE Trans. on Information and Systems, Reliability Engineering & System Safety
  • Conference and workshop: SEKE2018, WoSAR 2013-2017, S4CIP 2016-2017, WoSoCer 2012-2013&2015, DISCO 2015, HPDIC 2012-2015, PQoSCom'12

Biography

Kumiko Tadano received the B.S. and M.S. degrees in physics and engineering from the University of Tsukuba, Tsukuba, Japan, in 2005 and 2007, respectively. She was a visiting researcher at Università degli Studi di Firenze from August 2015 to July 2016. She is currently a senior researcher at NEC Corporation, Kawasaki, Japan.