马艳芳

马艳芳

博士、教授

 学院兼职硕导

E-MAIL:  clmyf@163.com, mayf@czust.edu.cn

教育背景:

1997.09-2001.07  淮北师范大学数学科学学院应用数学专业 理学学士

2004.09-2007.06  上海师范大学数理信息学院基础数学专业 理学硕士

2007.09-2010.06  华东师范大学软件学院计算机应用技术专业，工学博士

工作履历:

2021.12-至今   常州大学计算机与人工智能学院，硕士生导师

2021.08-至今   常州工学院计算机信息工程学院，教授

2017.12-2021.07 淮北师范大学计算机科学与技术学院，教授/系主任

2020.01-2020.03 美国德克萨斯州立大学阿灵顿分校，访问学者

2012.12-2017.11 淮北师范大学，副教授/系主任

2014.09-2015.01  纽约州立大学石溪分校，访问学者

2010.07-2012.11  淮北师范大学，讲师

2001.07-2004.07  淮北师范大学，助教 

主授课程:

本科生：离散数学，软件工程，算法设计与分析，人工智能，机器学习

研究生：算法分析与计算复杂性，软件工程理论基础，软件可信性度量

研究领域:

形式化方法，软件可信度量

奖励与荣誉:

1. 2013 年，安徽省教坛新秀，安徽省教育厅

2. 2016 年，安徽省第八届自然科学优秀学术论文二等奖，安徽省科技厅

3. 2013 年，安徽省第七届自然科学优秀学术论文二等奖，安徽省科技厅

4. 2020 年，淮北师范大学教学名师

5. 2019 年，淮北师范大学教学成果奖一等奖，第 1 完成人

6. 2019 年，淮北师范大学优秀共产党员

7．2017 年，淮北师范大学优秀女教工

8．2016 年，淮北师范大学科研先进个人

9．2013 年，淮北师范大学优秀教师

学术成果:

Ø 教材论著

马艳芳，基于软件的软件近似正确性，中国科学技术大学出版社，2017.01，ISBN: 9787312041020.

Ø 发表论文

[1]Yanfang Ma, Xiaotong Gao,Wei Zhou, Liang Chen. The Trustworthiness Measurement Model of Component Based on Defects, Mathematical Problems in Engineering, 2022, 1-15, doi.org/10.1155/2022/7290001 (SCI)

[2]Yanfang Ma, Xiaotong,Gao, Wei Zhou. The Trustworthiness Measurement Model of Component-Based Software Based on Combination Weight. Communications in Computer and Information Science，2022,1657：270-285(EI)

[3]Wei Zhou, Yanfang Ma*,Haiyu Pan. Based on Weight and User Feedback: A Novel Trustworthiness Measurement Model, Chinese Journal of Electronics , 2022, 31(4): 612-625(SCI/EI)

[4]Xiaotong Gao, Yanfang Ma*, Wei Zhou.Analysis of Software Trustworthiness Based on FAHP-CRITIC Method. Journal of Shanghai Jiaotong University（Science），2022, doi.org/10.1007/s12204-022-2496-4

[5]Xiaotong Gao, Yanfang Ma*. The Trustworthiness Measurement Model of Component-based Software Based on the Subjective and Objective Weight Allocation Method. In the proceeding of 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021, 478-486(EI)

[6] M. Wang, Yanfang. Ma*, H. Pan, H. Tao, L. Chen. Trade-off Costs of Software Trustworthy Attributes. International Journal of Performability Engineering, 2019, 15 (9): 2422-2431, DOI: 10.23940/ijpe.19.09.p16.24222431.(EI)

[7] D. Huang, Yanfang. Ma*, H. Pan, M. Wang. Software Trustworthiness Metric Model based on Component Weight. International Journal of Performability Engineering, 2018, 14(9):1985-1966. DOI: 10.23940/ijpe.18.09.p6.19851996.(EI)

[8] Yanfang Ma, Haiyu Pan .The Approximate Correctness of Systems Based on δ-bisimulation, Electronic Notes in Theoretical Computer Science , 2017, 333: 73-87(EI)

[9] Yanfang. Ma*, L. Chen and H. Pan. The Quantitative Analysis of Approximate Correctness for Real-Time Systems, International Journal of Performability Engineering, 2017, 13 (6): 886-896, DOI: 10.23940/ijpe.17.06.p10.886896.(EI)

[10] Yanfang. Ma* and L. Chen. Topological Constructions of Epsilon-Bisimulation, Proceedings of the 4 th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016, DOI:10.1007/978-3-319-46206-6_22.(EI)

[11] Yanfang. Ma* and L. Chen. The Quantitative Analysis of Interaction between Software and Environment, 2016 International Symposium on System and Software Reliability (ISSSR), 2016, 13-19, DOI: 10.1109/ISSSR.2016.012.(EI)

[12] Yanfang. Ma*. The Quantitative Analysis of Software Correctness, Mathematical Problems in Engineering, Volume 2015, Article ID 173012, 13 pages. DOI: 10.1155/2015/173012.(SCI)

[13] 马艳芳, 张敏, 陈仪香. 三分之二模拟拓扑. 计算机学报, 2014, 37(8):1719-1731. DOI: 10.3724/SP.J.1016.2014.01719.(EI)

[14] 马艳芳, 陈亮. 基于部分交互的软件近似度量模型. 计算机工程与应用,2014, 50(24): 32-37. DOI: 10.3778/j.issn.1002-8331.1403-0401.(CSCD)

[15] 马艳芳, 张敏, 陈仪香. 软件动态正确性的形式化描述. 计算机研究与发展, 2013, 50(3): 626-635. (EI)

[16] Yanfang. Ma, Ming. Zhang. The infinite evolution mechanism of ε-bisimilarity. Journal of Computer Science and Technology. 2013, 28(6): 1097-1105.(SCI/EI)

[17] 马艳芳，陈亮.基于交互的环境近似度量模型. 山东大学学报（理学版）,2013, 48(7):33-38. DOI: 10.6040/j.issn.1671-9352.1.2013.095.(CSCD)

[18] 马艳芳，陈亮. 基于 ε-互模拟的软件近似正确性模型. 计算机工程与应用,2013, 49(11): 15-19.(CSCD)

[19] Yanfang. Ma*, M. Zhang and L. Chen. The convergence mechanism of implementation under two-thirds bisimulation, Journal of Information and Computational Science, 2011, 8 (13): 2875-2884.(EI)

[20]Yanfang. Ma*, M. Zhang, Y. Chen and L. Chen. Two-thirds simulation indexes and modal logic characterization, Frontiers of Computer Science in China, 2011, 5(4): 454-471, DOI: 10.1007/s11704-011-0140-9.(SCI/EI)

[21] 马艳芳, 张敏, 陈仪香. 基于环境的软件正确性形式化描述. 山东大学学报（理学版）, 2011, 46(9): 22-27.(CSCD)

研究项目:

2021.01-2023.12, 安徽省自然科学基金面上项目, 编号: 2108085MF204, 主持

2020.01-2021.12，安徽省高校自然科学研究重点项目，编号: KJ2019A0604,主持

2017.07-2019.06，安徽省自然科学基金面上项目，编号: 1708085MF159,主持

2014.01-2016.12，国家自然科学基金青年项目，编号: 61300048,主持

2014.06-2017.06，安徽省高校优秀青年人才支持计划项目，主持

2013.01-2015.12，安徽省自然科学基金项目青年项目，编号: 1308085QF117,主持

2011.01-2013.12，安徽省高校自然科学研究重点项目，编号: KJ2011A248,主持

2010.09-2012.09，上海市高可信计算重点实验室开放项目，编号: 07DZ22304201004,主持