数据科学系

当前位置: beat365官方网站 > 师资队伍 > 数据科学系 > 正文

赵芳

发布日期:2022-05-19 作者: 来源:beat365官方网站 点击:

赵芳,博士,讲师。主要从事Petri网原理及应用、软件形式化验证和模型检测等方面的研究。在国内外期刊上以第一作者发表SCI论文3篇,EI论文1篇,CSCD论文1;合作发表SCI论文1篇,EI论文1篇,CSCD论文1篇。主持安徽工业大学校青年基金1项。

 

研究领域

Petri网原理及应用

软件形式化方法

模型检测

 

主讲课程

线性代数、数学软件、离散数学

 

基金项目

202301-202412基于Petri网的电子商务业务流系统的行为分析研究,安徽工业大学校青年基金,RZ2200002695.

 

代表性论文

[1] Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang. Behavioral Consistency Measurement Between Extended WFD-nets. Information Systems, 2023, 119: 1~14. (SCI)

[2] Fang Zhao, Dongming Xiang, Guanjun Liu. The Trace Consistency Measurement of WFD-net Systems. Frontiers in Computer Science, section Theoretical Computer Science, 2023, 5: 1~13. (EI)

[3] Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang, Honghao Zhu. Detecting and Repairing Data-flow Errors in WFD-net Systems. Computer Modeling in Engineering & Sciences, 2022,131(3): 1337~1363. (SCI)

[4] Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang. A New Method for Measuring the Behavioral Consistency Degree of WF-net Systems. IEEE Transactions on Computational Social Systems, 2022, 9(2): 480~493. (SCI)

[5] Dongming Xiang, Fang Zhao, Yaping Liu. DICER 2.0: A New Model Checker for Data-flow Errors of Concurrent Software Systems. Mathematics, 2021, 9(9):1~20. (SCI)