郑征 - 北京航空航天大学 - 自动化科学与电气工程学院

个人简介

教育经历 1996.9-2000.7 重庆邮电大学计算机科学与技术学士学位大学本科毕业 2000.9-2003.7 重庆邮电大学计算机科学与技术硕士学位硕士研究生毕业 2003.9-2006.8 中国科学院计算技术研究所计算机科学与技术博士学位博士研究生毕业 . 工作经历自动化科学与电气工程学院北京航空航天大学副院长曾获荣誉 2022曾获荣誉当选：航空学会技术发明二等奖 2020曾获荣誉当选：北航教学成果一等奖 2019曾获荣誉当选：省部级科技进步一等奖 2018曾获荣誉当选：IEEE CIS Emerging Technologies TC member 2018曾获荣誉当选：IEEE Senior Member 2011曾获荣誉当选：省部级科技进步奖三等奖 2013曾获荣誉当选：北京市英才计划 2006曾获荣誉当选：中国科学院院长奖

研究领域

可信智能软件可靠机载软件智能任务规划

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Zhang, X. Y., Zheng, Z., & Cai, K. Y. (2018). Exploring the usefulness of unlabelled test cases in software fault localization. Journal of Systems and Software, 136, 278-290. Qin, F., Zheng, Z., Qiao, Y., & Trivedi, K. S. (2018). Studying aging-related bug prediction using cross-project models. IEEE Transactions on Reliability, 68(3), 1134-1153. Zhao, Y., Zheng, Z., & Liu, Y. (2018). Survey on computational-intelligence-based UAV path planning. Knowledge-Based Systems, 158, 54-64. Sui, Y., Yan, H., Zheng, Z., Zhang, Y., & Xue, J. (2018). Parallel construction of interprocedural memory SSA form. Journal of Systems and Software, 146, 186-195. Qiao, Y., Zheng, Z., Fang, Y., Qin, F., Trivedi, K. S., & Cai, K. Y. (2018). Two-level rejuvenation for android smartphones and its optimization. IEEE Transactions on Reliability, 68(2), 633-652. Zheng, Z., & Guanping, X. I. A. O. (2019). Evolution analysis of a UAV real-time operating system from a network perspective. Chinese Journal of Aeronautics, 32(1), 176-185. Xu, Y., Yin, B., Zheng, Z., Zhang, X., Li, C., & Yang, S. (2019). Robustness of spectrum-based fault localisation in environments with labelling perturbations. Journal of Systems and Software, 147, 172-214. Qiu, K., Zheng, Z., Trivedi, K. S., & Yin, B. (2019). Stress testing with influencing factors to accelerate data race software failures. IEEE Transactions on Reliability. Accepted. Xiao, G., Zheng, Z., Jiang, B., & Sui, Y. (2019). An empirical study of regression bug chains in Linux. IEEE Transactions on Reliability. Accepted. Xiao, G., Zheng, Z., Yin, B., Trivedi, K. S., Du, X., & Cai, K. Y. (2019). An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Transactions on Reliability, 68(4), 1356-1383. Zhang, Y., Sui, Y., Pan, S., Zheng, Z., Ning, B., Tsang, I., Zhou，W., Familial Clustering For Weakly-labeled Android Malware Using Hybrid Representation Learning, IEEE Transactions on Information Forensics and Security, Accepted. Zheng, Z.*, Wang, G.Y. (2004), RRIA:A Rough Set and Rule Tree Based Incremental knowledge Acquisition Algorithm, Fundamenta Informaticae, 59, 299~313. Zheng, Z.*, Lu, J., Zhang G. Q., He Q (2009)., Rule Sets based Bilevel Decision Model and Algorithm, Expert Systems with Applications, 36, 18-26. Zheng, Z.*, Liu W., Cai K. Y (2010)., Robustness of Fuzzy Operators in Environments with Random Perturbations, Soft Computing, 14, 1339–1348. Zheng, Z.*, Wu, S., Liu, W., Cai, K. (2010). A Feedback Based CRI Approach to Fuzzy Reasoning, Applied Soft Computing, 11(1), 1241-1255. Zhang, G., Zheng, Z., Lu, J., He, Q. (2011). An Algorithm for Solving Rule-Sets Based Bilevel Decision Problems, Computational Intelligence, 27, 235-259. Lu, J., Zheng Z., Zhang, G., He, Q., Shi, Z. (2012). A new solution algorithm for solving rule-sets based bilevel decision problems, Concurrency Computational: Practice & Experience, doi: 10.1002/cpe.2833. Zheng Z.*, Lin S., Guo Z., Zhu Y. (2012). Resource-constraint Multi-project Scheduling with Priorities and Its Robustness Analysis, International Journal of Computational Intelligence Systems, 6( 3), 530-547. Zhu Y., Zheng Z.*, Zhang X., Cai K. (2013). The r-Interdiction Median Problem with Probabilistic Protection and Its Solution Algorithm, Computers & Operations Research, 40: 451-462. Li W., Zheng Z.*, Hao P. (2013), Predicate execution-sequence based fault localization algorithm, Chinese Journal of Computers, 36(12), 2406-2419. Zhang Y., Zheng Z., Ji X. (2013), Markov Model-Based Effectiveness Predicting for Software Fault Localization, Chinese Journal of Computers, 36(2), 445-456. Hao P., Zheng Z., Zhang Z., (2014) Self-adaptive Fault Localization Algorithm Based on Predicate Execution Information Analysis, Chinese Journal of Computers, 37(3), 500-511. Zhang X., Zheng Z.*, Zhu Y., Cai K. (2014), Protection issues for supply systems involving random attacks, Computers & Operations Research, 43, 137–156. Gao Y., Zheng Z.*, Qin F. (2014), Analysis of Linux kernel as a complex network, Chaos Solitons & Fractals, 69, 246–252. Zheng Z.*, Guo Z., Zhu Y., Zhang X. (2014). A Critical Chains based Distributed Multi-Project Scheduling Approach, Neurocomputing,143(2), 282–293. Du, W. B., Gao, Y., Liu, C., Zheng, Z., & Wang, Z. (2015). Adequate is better: particle swarm optimization with limited-information. Applied Mathematics and Computation, 268, 832-838. Du, W. B., Zhou, X. L., Zhu, Y. B., & Zheng, Z. (2015). A dynamic allocation mechanism of delivering capacity in coupled networks. Chaos, Solitons & Fractals, 80, 56-61. Zhang, X. Y., Towey, D., Chen, T. Y., Zheng, Z., & Cai, K. Y. (2016). A random and coverage-based approach for fault localization prioritization. In Control and Decision Conference (CCDC), 2016 Chinese (pp. 3354-3361). IEEE. Guo, Y., Zhang, X., & Zheng, Z. (2016). Exploring the Instability of Spectra Based Fault Localization Performance. In Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th Annual (Vol. 1, pp. 191-196). IEEE. Zhang, X., Zheng, Z.*, Zhang, S., Du, W. (2016). Partial interdiction median models for multi-sourcing supply systems. The International Journal of Advanced Manufacturing Technology, 84(1-4), 165-181. Wang, H., Chen, Z., Xiao, G., & Zheng, Z.* (2016). Network of networks in Linux operating system. Physica A: Statistical Mechanics and its Applications, 447, 520-526. Qiao, Y., Zheng, Z.*, & Qin, F. (2016). An empirical study of software aging manifestations in Android. In Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International Symposium on (pp. 84-90). IEEE. Xiao, G., Zheng, Z.*, Wang, H. (2017). Evolution of Linux operating system network. Physica A: Statistical Mechanics and its Applications, 466, 249-258. Qin, F., Zheng, Z.*, Li, X., Qiao, Y., & Trivedi, K. S. (2017). An Empirical Investigation of Fault Triggers in Android Operating System. In Dependable Computing (PRDC), 2017 IEEE 22nd Pacific Rim International Symposium on (pp. 135-144). IEEE. Du, X., Zheng, Z.*, Xiao, G., & Yin, B.(2017) The Automatic Classification of Fault Trigger Based Bug Report. In Software Reliability Engineering Workshops (ISSREW), 2017 IEEE International Symposium on. IEEE. Qiu, K., Zheng, Z.*, Trivedi, K., & Yin, B. (2017) Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure. In Software Reliability Engineering (ISSRE), 2017 IEEE International Symposium on. Xiao, G., Zheng, Z.*, Yin, B., Trivedi, K. S., Du, X., & Cai, K. (2017). Experience Report: Fault Triggers in Linux Operating System: From Evolution Perspective. In Software Reliability Engineering (ISSRE), 2017 IEEE 28th International Symposium on. Zhang, L., Yan, L., Zhang, Z., Zhang, J., Chan, W. K., & Zheng, Z. (2017). A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. Journal of Systems and Software, 129, 35-57. Zhang, X. Y., Zheng, Z.*, & Cai, K. Y. (2018). A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms. IEEE Transactions on Reliability, 67(1), 381-400. Zhang, X. Y., Zheng, Z.*, & Cai, K. Y. (2017). Exploring the Usefulness of Unlabelled Test Cases in Software Fault Localization. Journal of Systems and Software, 136, 278-290. Zheng, Z.*, Trivedi, K. S., Qiu, K., & Xia, R. (2017). Semi-markov models of composite web services for their performance, reliability and bottlenecks. IEEE Transactions on Services Computing, 10(3), 448-460.

学术兼职

2022.6-至今 Vice Chair of IEEE Reliability Society-Beijing Chapter Atlantis Highlights in Engineering（Springer Nature）主编 IEEE Transactions on Reliability（IEEE Press）副主编 International Journal of Computational Intelligence Systems（Springer Nature）副主编 Knolwedge-based Systems（Elsevier Press）副主编 IEEE Transactions on Dependable and Secure Computing客座编辑 Software Quality Journal 客座编辑国际会议ISSRE2020程序委员会共同主席（International Symposium on Software Reliability Engineering-CCF B）国际会议QRS2021程序委员会共同主席（IEEE International Conference on Software Security and Reliability）国际会议ISSRE2018 Fast Abstract 主席，ISSRE2019 Tutorial主席国际会议WoSAR2018程序委员会主席，WoSAR2019大会主席（International Workshop on Software Aging and Rejuvenation）国际会议 DASC2019 （ International Conference on Dependable, Autonomic and Secure Computing ）程序委员会共同主席国际会议ISSRE, DSA, WOSAR, SEKM，ISKE，PRDC等会议程序委员或组织委员会委员国际会议PRDC2019（Pacific Rim International Symposium on Dependable Computing）程序委员会共同主席教育部学位与研究生教育发展中心评审专家工信部某重大战略专家