陶红伟

姓  名

陶红伟

性 别

男

职  称

副教授

电 话

-

电子邮件

tthhww_811@163.com

通信地址

郑州市高新区科学大道136号

研究方向

形式化方法；软件可信性度量；大数据分析

工作简历

郑州轻工业大学计算机科学与技术学院教授，2011年博士毕业于华东师范大学计算机应用技术专业，获工学博士学位。

科研项目

1.“软件代码级可信性度量与增强关键技术研究”，河南省科技攻关项目，2021，主持；

2.“基于可信双链的食品质量安全追踪溯源关键技术研究”，河南省科技攻关项目，2020，主持；

3.“面向源代码的软件可信度量及系统实现”，河南省科技攻关项目，2018，主持；

4.“软件可信性计算模型与分级评估技术研究”，9院12所外协项目，2017，主持；

5.“PySpark大数据分析原理及应用”，教育部高教司产学合作协同育人项目，2018，主持；

6.“分层可信的韧性系统架构”，华为可信软件创新实验室项目，2021，序2；

7.“可信度量评估方法”，华为可信软件创新实验室项目，2020，序2；

8.“软件可信度量评估与增强规范”，国家科学技术学术著作出版基金项目，2018，序2；

9.“航天嵌入式软件可信性保障集成环境和示范验证与应用”子课题“航天嵌入式软件的可信性度量准则和度量模型研究”，国家自然科学基金重大研究计划集成项目，2012-2015，主要参与人；

10.“新概念高效能计算机体系结构及系统研究开发”子课题“基于认知的决策支持系统研发”，国家863计划重点项目，2009-2013，主要参与人；

11.“基于多维属性的软件可信性度量模型的研究”， 国家自然科学基金重大研究计划面上项目，2008-2010，主要参与人；

12.“软件可信性度量模型的研究”，国家863项目，2007-2009，主要参与人。

学术及科研成果

1. 陈仪香, 陶红伟. 软件可信性度量评估与增强规范, 科学出版社, 2019. (国家科学技术学术著作出版基金专著)

2. 庞建民，陶红伟等，编译与反编译技术，机械工业出版社，2016

3.甘勇，陶红伟等，大数据导论，铁道工业出版社，2019.

4.Hongwei Tao, Yixiang Chen, Hengyang Wu. A Reallocation Approach for Software Trustworthiness Based on Trustworthy Attributes. Mathematics,  8(14): 1-15 , 2020. (SCI)

5.Hongwei Tao, Hengyang Wu, Yixiang Chen. An Approach of Trustworthy Measurement Allocation Based on Sub-Attributes of Software. Mathematics, 7(3): 1-15, 2019. (SCI)

6. Hongwei Tao, Jie Zhao. Source Codes Oriented Software Trustworthiness Measure Based on Validation. Mathematical Problems in Engineering, 1: 1-10, 2018. (SCI)

7. Hongwei Tao, Yixiang Chen. A New Metric Model for Trustworthiness of Softwares. Telecommunication System, 51(2-3):95-105, 2012. (SCI)

8.Hongwei Tao, Yixiang Chen, Hengyang Wu, Rumei Deng. A Survey of Software Trustworthiness Measurements. International Journal of Performability Engineering, 15(9): 2364-2372, 2019. (EI)

9. Hongwei Tao, Yixiang Chen. A Survey of Software Trustworthiness Measurement Validation. International Journal of Performability Engineering, 14(9): 2016-20615, 2018. (EI)

10.陶红伟, 赵杰. 改进的基于属性的软件可信性度量模型研究.武汉大学学报(理学版), 63(2): 151~157, 2017.

11. Hongwei Tao, Yixiang Chen. Complexity Measure Based on Program Slicing and Its Validation. Wuhan University Journal of Natural Sciences, 19(6): 512-518, 2014. (Mathematical Reviews)

12.Hongwei Tao, Jie Zhao. Research of Software Trustworthiness Measurement Based on Validation. In: Proceedings of 2016 International Symposium on System and Software Reliability, IEEE Computer Society Press, pp.7-12, Shanghai, China, 2016. (EI)

13.Hongwei Tao, Yixiang Chen, Jianmin Pang. A Software Trustworthiness Measure Based on the Decompositions of Trustworthy Attributes and Its Validation.  In: Proceedings of the Industrial Engineering, Management Science and Applications, Lecture Notes in Electrical Engineering, 349: 981-990, Springer-Verlag Berlin, 2015.(EI)

14.Hongwei Tao, Yixiang Chen. A Quantitative Relation Model Between Trustworthy Attributes. In: Proceedings of the 3rd International Conference on Quantitative Logic and Soft Computing,World Scientific Press, pp. 197-204, Xian, China, 2012. (EI)

15.Hongwei Tao, Yixiang Chen. Another Metric Model for Trustworthiness of Softwares Based on Partition. Advances in Intelligent and Soft Computing 82: 695-705, 2010. (EI)

16. Hongwei Tao, Yixiang Chen. A New Metric Model for Trustworthiness of Softwares. In: Proceedings of the International Conference on Information Science and Applications, IEEE Computer Society Press, pp. 651-658, Seoul, Korea, 2010. (EI)

17.Hongwei Tao, Yixiang Chen. A Metric Model for Trustworthiness of Softwares. In: Proceedings of 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2009), IEEE Computer Society Press, pp. 69-72.