鲁法明(1981-),男,博士,副教授,博士生导师,CCF专业会员,主要研究领域为Petri网理论与应用,并发系统建模与分析,业务过程管理与决策支持.
曾庆田(1976-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为Petri网理论与应用,并发系统建模与分析,业务过程管理与决策支持.
郑佳静(1996-),女,硕士生,CCF学生会员,主要研究领域为软件形式化方法,并行程序验证.
段华(1976-),女,博士,副教授,主要研究领域为形式化方法,Petri网.
包云霞(1979-),女,讲师,主要研究领域为形式化方法,Petri网.
王晓宇(1999-),男,本科生,主要研究领域为软件形式化方法,并行程序验证.
鲁法明,fm_lu@163.com
国家自然科学基金(61602279,61472229);国家重点研发计划(2016YFC0801406);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省自然科学基金智慧计算联合基金(ZL2019LZh001);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学领军人才与优秀科研创新团队项目(2015TDJH102)
National Natural Science Foundation of China (61602279, 61472229); National Key Research and Development Plan (2016YFC0801406); Taishan Scholars Program of Shandong Province (ts20190936); Excellent Youth Innovation Team Foundation of Shandong Higher School (2019KJN024); Smart Computing Joint Fund of Shandong Provincial Natural Science Foundation (ZL2019LZh001); Postdoctoral Innovation Foundation of Shandong Province (201603056); Open Foundation of First Institute of Oceanography, MNR (2018002); Shandong University of Science and Technology Research Fund (2015TDJH102)
鲁法明,郑佳静,包云霞,曾庆田,段华,王晓宇.基于锁增广分段图的多线程程序死锁检测.软件学报,2021,32(6):1682-1700
复制