鲁法明(1981-),男,博士,副教授,博士生导师,CCF专业会员,主要研究领域为Petri网,并行程序验证,过程挖掘;黄莹(1998-),女,硕士生,CCF学生会员,主要研究领域为并行程序验证,机器学习;曾庆田(1976-),男,博士,教授,CCF高级会员,主要研究领域为Petri网,人工智能;包云霞(1979-),女,副教授,主要研究领域为Petri网,并行程序分析与验证;唐梦凡(1998-),女,硕士生,主要研究领域为并行程序验证
黄莹,E-mail:ds00hy@163.com;包云霞,E-mail:baoyunxia98@163.com
TP311
国家自然科学基金(61602279);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学教学名师培育计划(MS20211102)
鲁法明,黄莹,曾庆田,包云霞,唐梦凡.基于Petri网展开的多线程程序数据竞争检测与重演.软件学报,2023,34(8):3726-3744
复制