Search dblp for Publications

export results for "toc:db/conf/dsa/dsa2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dsa/0015WW17,
  author       = {Jianmin Wang and
                  Jinbo Wang and
                  Bin Wang},
  title        = {Improved Fault Diagnosis Method for Power Systems Based on Grey System
                  Theory},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {171},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.41},
  doi          = {10.1109/DSA.2017.41},
  timestamp    = {Mon, 09 Aug 2021 01:32:18 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/0015WW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/CheZLMYZCQ17,
  author       = {Hongming Che and
                  Lin Zou and
                  Qinyun Liu and
                  Sicong Ma and
                  Hongji Yang and
                  Chi Zhang and
                  William Cheng{-}Chung Chu and
                  Haiying Qi},
  title        = {A Software Defined Work Based Approach to Dependable Scenic Region
                  Management},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {77--85},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.21},
  doi          = {10.1109/DSA.2017.21},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/CheZLMYZCQ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/Er-QiangJ17,
  author       = {Feng Er{-}Qiang and
                  Zheng Jun},
  title        = {A Software Reliability Model Based on Failure Mode},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {158--161},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.36},
  doi          = {10.1109/DSA.2017.36},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/Er-QiangJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/GuanSMCW17,
  author       = {Fei Guan and
                  Junyou Shi and
                  Xiaodong Ma and
                  Weiwei Cui and
                  Jie Wu},
  title        = {A Method of False Alarm Recognition Based on k-Nearest Neighbor},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {8--12},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.11},
  doi          = {10.1109/DSA.2017.11},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/GuanSMCW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/GuoYQZC17,
  author       = {Xinglin Guo and
                  Yunqiang Yan and
                  Lianzhi Qi and
                  Yi Zhang and
                  Quangen Chen},
  title        = {Improved Evidence Conflict Measurement Algorithm Based on Singular
                  Value Decomposition},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {178},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.43},
  doi          = {10.1109/DSA.2017.43},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/GuoYQZC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/HuangHD17,
  author       = {Jinzhou Huang and
                  Zhekun Hu and
                  Zheng Dai},
  title        = {Efficient Keyword Search over Online Social Network by Using Stream
                  Dynamic Bloom Filter},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {172--177},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.42},
  doi          = {10.1109/DSA.2017.42},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/HuangHD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/HuangWJB17,
  author       = {Song Huang and
                  Yaning Wu and
                  Haijin Ji and
                  Chengzu Bai},
  title        = {A Three-Stage Defect Prediction Model for Cross-Project Defect Prediction},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {169},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.39},
  doi          = {10.1109/DSA.2017.39},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/HuangWJB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/JiHWHL17,
  author       = {Haijin Ji and
                  Song Huang and
                  Yaning Wu and
                  Zhanwei Hui and
                  Xuewei Lv},
  title        = {A New Attribute Selection Method Based on Maximal Information Coefficient
                  and Automatic Clustering},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {22--28},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.13},
  doi          = {10.1109/DSA.2017.13},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/JiHWHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/KongWZY17,
  author       = {Lu Kong and
                  Bin Wang and
                  Shan Zhou and
                  YaWen Yang},
  title        = {A Novel Approach for Coverage Probing of Embedded Software in SoPC},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {155},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.33},
  doi          = {10.1109/DSA.2017.33},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/KongWZY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/KouYS017,
  author       = {Liang Kou and
                  Ye Yuan and
                  Jianguo Sun and
                  Yun Lin},
  title        = {Prediction of Cancer Based on Mobile Cloud Computing and {SVM}},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {73--76},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.20},
  doi          = {10.1109/DSA.2017.20},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsa/KouYS017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiLPT17,
  author       = {Fei Li and
                  Bai Liu and
                  Di Peng and
                  Longli Tang},
  title        = {An Extendibility Analysis Method Research for Integrated Test Diagnosis
                  on Ship Complex System},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {179},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.44},
  doi          = {10.1109/DSA.2017.44},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LiLPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiSJ17,
  author       = {Yin Li and
                  Zhi{-}An Sun and
                  Ting{-}Ting Jiang},
  title        = {A Software Reliability Test Suite Generating Approach Based on Hybrid
                  Model for Complex Equipment System},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {144--154},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.32},
  doi          = {10.1109/DSA.2017.32},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LiSJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiYC17,
  author       = {Lin Li and
                  Yingying Yao and
                  Xiaolin Chang},
  title        = {Plaintext-Dependent Selective Image Encryption Scheme Based on Chaotic
                  Maps and {DNA} Coding},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {57--65},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.18},
  doi          = {10.1109/DSA.2017.18},
  timestamp    = {Tue, 27 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LiYC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiZSW17,
  author       = {Zhe Li and
                  Deming Zhong and
                  Rui Sun and
                  Hao Wang},
  title        = {Extend {STPA} Method Using Hybrid Dynamic Theory},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {137--142},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.30},
  doi          = {10.1109/DSA.2017.30},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LiZSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LinZRHTXMZ17,
  author       = {Hong Lin and
                  Dongdong Zhao and
                  Linjun Ran and
                  Mushuai Han and
                  Jing Tian and
                  Jianwen Xiang and
                  Xian Ma and
                  Yingshou Zhong},
  title        = {{CVSSA:} Cross-Architecture Vulnerability Search in Firmware Based
                  on Support Vector Machine and Attributed Control Flow Graph},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {35--41},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.15},
  doi          = {10.1109/DSA.2017.15},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LinZRHTXMZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiuCLC17,
  author       = {Bo Liu and
                  Xiaolin Chang and
                  Bing Liu and
                  Zhi Chen},
  title        = {Performance Analysis Model for Fog Services under Multiple Resource
                  Types},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {110--117},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.26},
  doi          = {10.1109/DSA.2017.26},
  timestamp    = {Tue, 31 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsa/LiuCLC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LiuG0Y017,
  author       = {Junjie Liu and
                  Xiaopeng Gao and
                  Bo Jiang and
                  Shunkun Yang and
                  Zhenyu Zhang},
  title        = {Deterministic Replay for Multi-Core VxWorks Applications},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {118--125},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.27},
  doi          = {10.1109/DSA.2017.27},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LiuG0Y017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LvHHJL17,
  author       = {Xuewei Lv and
                  Song Huang and
                  Zhanwei Hui and
                  Haijin Ji and
                  Shan Li},
  title        = {Test Cases Generation for Multiple paths Based on Metamorphic Relation},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {143},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.31},
  doi          = {10.1109/DSA.2017.31},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/LvHHJL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/MaC17,
  author       = {Zhenwei Ma and
                  Gang Chen},
  title        = {Formal Derivation and Verification of Coordinate Transformations in
                  Theorem Prover Coq},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {127--136},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.29},
  doi          = {10.1109/DSA.2017.29},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/MaC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/MaWQZ17,
  author       = {Yunyun Ma and
                  Jinbo Wang and
                  Yuelong Qu and
                  Tao Zhang},
  title        = {Testing Requirement Analysis Method Based on Signal Path for High
                  Reliability Software},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {157},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.35},
  doi          = {10.1109/DSA.2017.35},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/MaWQZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/QiLZY17,
  author       = {Yuhua Qi and
                  Wenhong Liu and
                  Weixiang Zhang and
                  Deheng Yang},
  title        = {On the Evaluation Metrics of Automated Program Repair},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {168},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.38},
  doi          = {10.1109/DSA.2017.38},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/QiLZY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/RanLLHZXYM17,
  author       = {Linjun Ran and
                  Liping Lu and
                  Hong Lin and
                  Mushuai Han and
                  Dongdong Zhao and
                  Jianwen Xiang and
                  Haiguo Yu and
                  Xian Ma},
  title        = {An Experimental Study of Four Methods for Homology Analysis of Firmware
                  Vulnerability},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {42--50},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.16},
  doi          = {10.1109/DSA.2017.16},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/RanLLHZXYM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/RaoRDP17,
  author       = {A. Chakrapani Rao and
                  A. Raouf and
                  Gunwant Dhadyalla and
                  V. Pasupuleti},
  title        = {Mutation Testing Based Evaluation of Formal Verification Tools},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.10},
  doi          = {10.1109/DSA.2017.10},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/RaoRDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/SongGWYJDX17,
  author       = {Lei Song and
                  Lili Guo and
                  Huiping Wang and
                  Shilong Yang and
                  Shan Jin and
                  Jiangyong Duan and
                  Lele Xu},
  title        = {Anomaly Detection Method of Space Payload Using Multivariate State
                  Estimation Technique and Self-Organizing Feature Map},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {103--109},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.25},
  doi          = {10.1109/DSA.2017.25},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/SongGWYJDX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/WangC17,
  author       = {Yifei Wang and
                  Gang Chen},
  title        = {Formalization of Laplace Transform in Coq},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {13--21},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.12},
  doi          = {10.1109/DSA.2017.12},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/WangC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/WangGCWS17,
  author       = {Anbang Wang and
                  Lihong Guo and
                  Yuan Chen and
                  Junjie Wang and
                  Yuanzhang Song},
  title        = {Comprehensive Evaluation of Software Quality Based on {LM-BP} Neural
                  Network},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {162--167},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.37},
  doi          = {10.1109/DSA.2017.37},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/WangGCWS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/WangZZS17,
  author       = {Hao Wang and
                  Deming Zhong and
                  Yukun Zhao and
                  Rui Sun},
  title        = {A System Safety Analysis Method Based on Multiple Category Hazard
                  Factors},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {29--34},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.14},
  doi          = {10.1109/DSA.2017.14},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/WangZZS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/WeiZC17,
  author       = {Wei Wei and
                  Hongen Zhong and
                  Suzhi Cao},
  title        = {Error Analysis and Correction of Time-Frequency Synchronization Based
                  on Packet Switching},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {170},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.40},
  doi          = {10.1109/DSA.2017.40},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/WeiZC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/YaoZZW17,
  author       = {Zhexi Yao and
                  Tao Zhang and
                  Jinbo Wang},
  title        = {The Timed Abstract State Machine Based Test Data Auto Generation for
                  Embedded Systems},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {126},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.28},
  doi          = {10.1109/DSA.2017.28},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/YaoZZW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/ZengYZCW17,
  author       = {Letian Zeng and
                  Chunhui Yang and
                  Yue{-}Long Zhao and
                  Ping Chen and
                  Qiang Wang},
  title        = {A Novel Testing Method for Narrowband Synthetic Aperture Radar {(SAR)}
                  Imaging Algorithm},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {66--72},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.19},
  doi          = {10.1109/DSA.2017.19},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/ZengYZCW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/ZhangMWW17,
  author       = {Chi Zhang and
                  Yunyun Ma and
                  Xiaohua Wang and
                  Ruixue Wang},
  title        = {Software Architecture Modeling and Reliability Evaluation Based on
                  Petri Net},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {51--56},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.17},
  doi          = {10.1109/DSA.2017.17},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/ZhangMWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/ZhangW17,
  author       = {Tao Zhang and
                  Xiaodan Wang},
  title        = {High-Reliable Testing for {FPGA} Software in Space Utilization Engineering},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {86--91},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.22},
  doi          = {10.1109/DSA.2017.22},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/ZhangW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/ZhangWGWLH17,
  author       = {Yulong Zhang and
                  Lulu Wang and
                  Bo Gao and
                  Lixin Wang and
                  Jiajun Luo and
                  Zhengsheng Han},
  title        = {System Analysis and {PHM} Methods for Power Devices Based on Physics-of-Failure},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {92--97},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.23},
  doi          = {10.1109/DSA.2017.23},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/ZhangWGWLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/ZhaoZLLWJ17,
  author       = {Jinlong Zhao and
                  Pinwang Zhao and
                  Shulin Liu and
                  Yue Liu and
                  Qiufang Wang and
                  Na Jiao},
  title        = {A Fault Diganosis Method Based on Bispectrum-LPP and {PNN}},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {98--102},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.24},
  doi          = {10.1109/DSA.2017.24},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/ZhaoZLLWJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/ZhouZY17,
  author       = {Shan Zhou and
                  Tao Zhang and
                  YaWen Yang},
  title        = {Cross Clock Domain Signal Research Based on Dynamic Motivation Model},
  booktitle    = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  pages        = {156},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA.2017.34},
  doi          = {10.1109/DSA.2017.34},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/ZhouZY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsa/2017,
  title        = {International Conference on Dependable Systems and Their Applications,
                  {DSA} 2017, Beijing, China, October 31 - November 2, 2017},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DSA42282.2017},
  doi          = {10.1109/DSA42282.2017},
  isbn         = {978-1-5386-3690-9},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics