马艳芳 - 淮北师范大学 - 计算机科学与技术学院

个人简介

马艳芳，女，博士，教授，硕士生导师，黑龙江大庆人．2010年从华东师范大学计算机应用技术专业研究生毕业，获工学博士学位。2014年纽约州立大学石溪分校访问学者。2013年被评为安徽省教坛新秀，并评为淮北师范大学优秀教师。主要研究兴趣：形式语义模型、形式化方法以及软件可信度量模型．现已公开发表论文20余篇,其中被SCI和EI收录10篇．主持的科研项目：基于环境交互的软件近似正确性量化模型研究（61300048），2014.01-2016.12，国家自然科学基金青年项目，在研安徽省高校优秀青年人才支持计划项目，2015.01-2017.12 基于环境交互的软件近似正确性模型研究（1308085QF117），2013.01-2015.12，安徽省自然科学基金项目，已结题软件的正确性及与环境交互度量模型研究（KJ2011A248），2011.01-2013.12，安徽省高校省级自然科学研究重点项目.已结题基于环境的软件可信性度量模型研究，上海市高可信计算重点实验室开放课题项目，2010.09-2012.09

近期论文

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

[1]马艳芳,张敏,陈仪香．三分之二互模拟拓扑,计算机学报,2014,37(8):1-13（EI） [2]YanfangMa(马艳芳),MinZhang(张敏).TheInfiniteEvolutionMechanismofε-bisimilarity,JournalofComputerScienceandTechnology,2013,28(6):1097-1105.(SCI/EI) [3]马艳芳,张敏,陈仪香.系统动态正确性的形式化描述,计算机研究与发展,2013,50(3),626-635.(EI) [4]YanfangMa(马艳芳).Thequantitativeanalysisofsoftwarecorrectness.MathematicalProblemsinEngineering,Volume2015,ArticleID173012,13page,http://dx.doi.org/10.1155/2015/173012） [5]Y.F.Ma（马艳芳）,M.Zhang,Y.X.Chen,L.Chen.Two-thirdssimulationindexesandmodallogiccharacterization,FrontiersofComputerScienceinChina,2011,5(4):454-471.(SCI/EI) [6]Y.F.Ma（马艳芳）,M.Zhang,Y.X.Chen,L.Chen.Theconvergencemechanismofimplementationundertwo-thirdsbisimulation,JournalofInformationComputationalScience,2011,8(13):2875-2884.(EI)