中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Research Team
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
Scientific Research
Research Field
No content
Paper Publications
+more
Zuxi Chen, Chuanjun Niu【研究生】, Meng Mei, Hongyang Zhang. Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B .Safety Science【SCI检索,中科院一区,TOP期刊】 .2024
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形式化开发方法 .中国铁道科学【EI检索,中国铁道学会高质量科技期刊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
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
陈祖希
Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021 Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021
Click:
MOBILE Version
The Last Update Time:
.
.