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
• 郑黎晓,余李林,陈海明,陈祖希,骆翔宇,汪小勇. 基于变异的正则表达式反例测试串生成算法 .软件学报【中国计算机学会高水平期刊中文A类】 .2023
• 陈祖希，牛传军【研究生】，梅萌【通信作者】，刘杰，刘传振，郑黎晓，骆翔宇，潘亮，汪小勇，徐中伟. 基于Event-B与ADT实例化的TACS形式化开发方法 .中国铁道科学【中国铁道学会高质量科技期刊T1级】 .2023 ,44 (6)
• Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen【通讯作者】, and Fan Yang. Incremental Witness Generation for Branching-Time Logic CTL .IEEE Transactions on Reliability .2022
• 骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓. 基于正时态测试器的实时分支时态逻辑符号化模型检测 .软件学报【中国计算机学会高水平期刊中文A类】 .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

• 一种高速铁路联锁系统安全分析方法、系统、设备及介质
• 轨道交通网络的连续时间多智能体路径规划方法及系统
• 面向冗余结构的安全刹车控制系统的设计方法及装置
• 列车控制系统车地通信安全分析方法、系统、设备及介质
• 一种轨道交通连锁系统安全分析开发方法及装置
• 基于扩展切比雪夫多项式的车地无线通信认证方法及系统

Published Books

No content

Research Projects

+more

• 面向安全契约的轨道交通运营场景虚拟集成测试技术研究, 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
• 基于有限状态演化模型的机电设备故障诊断系统, Enterprises and institutions shall entrust scientific and technological projects , 2021-11-09 -2022-12-31
• 面向轨道交通领域的可信工业控制软件核心保障技术研究, 福建省自然科学基金面上项目 , 2021-08-01 -2024-07-31

Research Team

No content