Paper Publications

• [1]Safety-Guided Development of Critical Computer-Based Systems Using STPA and Event-B in an Iterative Process【SCI检索，中科院三区，中国计算机学会推荐期刊C类，中国铁道学会高质量期刊T3级】.IET Intelligent Transport Systems,2026,
• [2]基于STPA的联锁系统层级安全需求建模及确认方法.中国铁道科学【EI检索，中国铁道学会高质量期刊T1级】,2026,
• [3]基于STPA的铁路联锁系统安全需求分析及验证方法.上海师范大学学报,2026,
• [4]基于卷积自编码的铁路道岔非接触故障诊断方法.第六届中国铁路发展论坛,2025,
• [5]Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B.Safety Science【SCI检索，中科院二区，TOP期刊】,2025,
• [6]Parallel Path Detection for Fraudulent Accounts in Banks based on Graph Analysis.PeerJ Computer Science【SCI检索】,2023,
• [7]基于Event-B与ADT实例化的TACS形式化开发方法.中国铁道科学【EI检索，中国铁道学会高质量科技期刊T1级】,2023,44(6):
• [8]基于变异的正则表达式反例测试串生成算法.软件学报【中国计算机学会高水平期刊中文A类】,2023,
• [9]基于正时态测试器的实时分支时态逻辑符号化模型检测.软件学报【中国计算机学会高水平期刊中文A类】,2022,