The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tingdi Zhao" ( http://dblp.L3S.de/Authors/Tingdi_Zhao )

  Author page on DBLP  Author page in RDF  Community of Tingdi Zhao in ASPL-2

Publication years (Num. hits)
2008-2019 (16)
Publication types (Num. hits)
article(12) inproceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Huan Wu, Tingdi Zhao, Jian Jiao, Zhiwei Chen XML-based modeling method of phased-mission systems subject to probabilistic common cause failures. Search on Bibsonomy Journal of Intelligent and Fuzzy Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongli Wang, Deming Zhong, Tingdi Zhao, Fuchun Ren Integrating Model Checking With SysML in Complex System Safety Analysis. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhiwei Chen, Tingdi Zhao, Jian Jiao, Fuchun Ren Availability Analysis and Optimal Design of Multistate Weighted k-Out-of-n Systems With Component Performance Requirements. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rongbin Han, Shihai Wang, Bin Liu, Tingdi Zhao, Zhiao Ye A Novel Model-Based Dynamic Analysis Method for State Correlation With IMA Fault Recovery. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fuchun Ren, Tingdi Zhao, Jian Jiao, Yuqing Hu Resilience Optimization for Complex Engineered Systems Based on the Multi-Dimensional Resilience Concept. Search on Bibsonomy IEEE Access The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhiwei Chen, Tingdi Zhao, Shanshan Luo, Yufeng Sun Warranty Cost Modeling and Warranty Length Optimization Under Two Types of Failure and Combination Free Replacement and Pro-Rata Warranty. Search on Bibsonomy IEEE Access The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Search on Bibsonomy Quality and Reliability Eng. Int. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Tingdi Zhao, Chris W. Johnson 0001 Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Search on Bibsonomy Quality and Reliability Eng. Int. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zixia Zheng, Jin Tian 0002, Tingdi Zhao Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging. Search on Bibsonomy Cognition, Technology & Work The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sheng Hong, Hongqi Yang, Tingdi Zhao, Xiaomin Ma Epidemic spreading model of complex dynamical network with the heterogeneity of nodes. Search on Bibsonomy Int. J. Systems Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Lu 0001, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson 0001 How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juanjuan Gao, Jin Tian 0002, Tingdi Zhao An improved system safety Analysis Method based on Accimap. Search on Bibsonomy IEEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao Formal modelling and quantitative analysis of satellite navigation systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Zhaoguang Peng, Tingdi Zhao Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. Search on Bibsonomy CSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. Search on Bibsonomy EMS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xiaolei Li, Jin Tian 0002, Tingdi Zhao An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF zonal safety analysis (ZSA), hazard source, undercarriage, safety, coupling
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license