赵芳,博士,讲师。主要从事Petri网原理及应用、软件形式化验证和模型检测等方面的研究。在国内外期刊上以第一作者发表SCI论文3篇,EI论文1篇,CSCD论文1篇;合作发表SCI论文1篇,EI论文1篇,CSCD论文1篇。主持新京葡萄威尼斯校青年基金1项。
研究领域
l Petri网原理及应用
l 软件形式化方法
l 模型检测
主讲课程
l 线性代数、数学软件、离散数学
基金项目
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)