Scientific Research

Research Field

No content

Paper Publications

+more

• ZuXi Chen, ShiFan Zhang【研究生】, XianLi Zeng, Meng Mei, XiangYu Luo, LiXiao Zheng. Parallel Path Detection for Fraudulent Accounts in Banks based on Graph Analysis .PeerJ Computer Science【SCI检索】 .2023
• 陈祖希，牛传军【研究生】，梅萌*，刘杰，刘传振，郑黎晓，骆翔宇，潘亮，汪小勇，徐中伟. 基于Event-B与ADT实例化的TACS形式化开发方法 .中国铁道科学【中国铁道学会高质量科技期刊T1级】 .2023 ,44 (6)
• 郑黎晓,余李林,陈海明,陈祖希,骆翔宇,汪小勇. 基于变异的正则表达式反例测试串生成算法 .软件学报【中国计算机学会高水平期刊中文A类】 .2023
• 骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓. 基于正时态测试器的实时分支时态逻辑符号化模型检测 .软件学报【中国计算机学会高水平期刊中文A类】 .2022
• Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen【通讯作者】, and Fan Yang. Incremental Witness Generation for Branching-Time Logic CTL .IEEE Transactions on Reliability【SCI检索】 .2022
• Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo. Ensuring the Correctness of Regular Expressions: A Review .International Journal of Automation and Computing【SCI检索】 .2021

Patents

+more

• 一种轨道交通联锁系统故障注入测试方法
• 面向安全关键系统的可信开发与验证方法及装置
• 一种面向安全的铁路联锁系统的建模方法和系统
• 基于离散速度连续时间的多智能体轨道交通路径规划方法
• 面向安全需求的轨道交通联锁系统一致性测试方法及装置
• 基于增量MAPF的轨道交通路径规划方法及相关装置

Published Books

No content

Research Projects

+more

• 基于功能安全标准的汽车智能驾控系统研发, 厦门市产学研项目 , 2024-10-15 -2025-11-01
• 川藏铁路计算机联锁系统应急处置关键技术研究, 中国铁道科学研究院集团有限公司基金 , 2024-07-01 -2026-12-30
• 面向安全契约的轨道交通运营场景虚拟集成测试技术研究, Other projects , 2024-04-19 -2026-04-20
• 基于功能安全标准的汽车智能驾控系统研发, Enterprises and institutions shall entrust scientific and technological projects , 2022-06-30 -2023-12-31
• 基于有限状态演化模型的机电设备故障诊断系统研发, Government departments such as land city hall and bureau , 2022-01-01 -2023-12-31
• 基于形式化方法的高可信轨道交通控制系统验证和确认技术研究, 同济-泰雷兹【智慧轨道交通联合工程中心】 , 2021-12-24 -2023-12-24

Research Team

No content