default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKumiko Tadano
- > Home > Persons > Kumiko Tadano
Publications
- 2017
[j4]Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Lifetime Extension of Software Execution Subject to Aging. IEEE Trans. Reliab. 66(1): 123-134 (2017)- 2015
- [j3]Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno:
An Imperfect Fault Coverage Model With Coverage of Irrelevant Components. IEEE Trans. Reliab. 64(1): 320-332 (2015) - [c27]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 - 2014
- [c25]Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono:
Is Cut Sequence Necessary in Dynamic Fault Trees? ISSRE Workshops 2014: 138-139 - [c23]Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno:
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. SAFECOMP 2014: 109-124 - 2013
- [j2]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. 96-A(7): 1649-1652 (2013) - [j1]Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno:
Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems. IEICE Trans. Inf. Syst. 96-D(9): 1941-1951 (2013) - [c21]Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa:
Performability analysis of RAID10 versus RAID6. DSN 2013: 1-2 - [c19]Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno:
Persistence of relevance: A missing issue in imperfect coverage models. ISSRE (Supplemental Proceedings) 2013: 3-4 - [c18]Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Composing hierarchical stochastic model from SysML for system availability analysis. ISSRE 2013: 51-60 - [c16]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 - [c15]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 - 2012
- [c14]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 - [c13]Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Software Life-Extension: A New Countermeasure to Software Aging. ISSRE 2012: 131-140 - [c12]Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Aging-Related Bugs in Cloud Computing Software. ISSRE Workshops 2012: 287-292 - [c11]Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno:
Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. PRDC 2012: 21-30 - [c10]Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Combined Server Rejuvenation in a Virtualized Data Center. UIC/ATC 2012: 486-493 - 2011
- [c9]Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi:
Design Improvement of System Administrative Operations for Certification. WOSOCER 2011: 31-36 - [c8]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 - [c7]Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno:
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. SAFECOMP 2011: 296-309 - [c6]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 - [c5]Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano:
Automatic Synthesis of Static Fault Trees from System Models. SSIRI 2011: 127-136
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-14 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
