张凯文(1995-), 男, 博士生, 主要研究领域为Petri网, 形式化方法, 程序分析. ;刘关俊(1978-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为Petri网, 模型检测, 形式化方法, 机器学习, 人机物系统, 工作流系统, 无人机协同系统. ;孙彦韬(1997-), 男, 博士生, CCF学生会员, 主要研究领域为嵌入式系统, 高性能计算. ;李晓锋(1982-), 男, 研究员, CCF专业会员, 主要研究领域为可信软件, 软件自适应, 智能化软件工程. ;关健(1986-), 女, 高级工程师, 主要研究领域为人工智能软件, 嵌入式系统. ;解毅(1994-), 男, 工程师, 主要研究领域为嵌入式系统. ;顾斌(1968-), 男, 博士, 研究员, 博士生导师, CCF高级会员, 主要研究领域为可信软件, 计算机控制, 嵌入式软件.
刘关俊, Email: liuguanjun@tongji.edu.cn;李晓锋, E-mail: li_x_feng@126.com
TP311
国家自然科学基金(62172299, 62192730, 62032019); 北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(LHCESET202201); 北京控制工程研究所空间光电测量与感知实验室开放基金(LabSOMP-2023-03); CCF-华为胡杨林基金-形式化专项(CCF-HuaweiFM202305)
张凯文,刘关俊,孙彦韬,李晓锋,关健,解毅,顾斌.基于优先级时间Petri网的实时嵌入式多核系统分析.软件学报,2024,35(9):4123-4140
复制