消息
×
loading..
中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 江智浩

    合作成果数：7

  • 杨昊晨

    合作成果数：2

  • 王子琪

    合作成果数：2

  • Chenyang Zhu

    合作成果数：2

  • 顾吉成

    合作成果数：1
陈光耀 博士生
所在学院： 信息科学与技术学院
职务： --
研究方向：
备注： --
陈光耀

科研成果

7 2281 476 11 0 2
Items Views Downloads TC[WOS] TC[CSCD] H-index
排序方式：
 [1] Guangyao Chen,Ziqi Wang,Chenyang Zhu,et al. Pyuppaal: A Python Toolbox For Model-checking-based Risk Analysis And Fault Management In Safety-critical Systems[C]. International Conference On Computer Aided Verification.2025-01-01.浏览/下载:38/0评论推荐收藏
 [2] Guangyao Chen,Zeyu Li,Jicheng Gu,Yining She,Chenyang Zhu,&Zhihao Jiang.(2025).Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems.FORMAL ASPECTS OF COMPUTING.浏览/下载:44/0; IF:1.4/1.3评论推荐收藏
 [3] Chen, Guangyao,He, Peilin,Wang, Ziqi,Teng, Zixin,&Jiang, Zhihao.(2024).Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems.EXPERT SYSTEMS WITH APPLICATIONS,247(123371).浏览/下载:400/4; 被引[WOS]:3; IF:7.5/7.6评论推荐收藏
 [4] Guangyao Chen,Zhihao Jiang. Iterative Model Checking For Safety-critical Problems In Cyber-physical Systems[C]. 2024 Acm/ieee 15th International Conference On Cyber-physical Systems (iccps).Institute Of Electrical And Electronics Engineers Inc.2024-05-16,273-274.浏览/下载:264/3; 被引[WOS]:1评论推荐收藏
 [5] Guangyao Chen,Linshu Yang,Haochen Yang,et al. Pyuppaal: A Python Package For Risk Analysis Of Cps[C]. Association For Computing Machinery.San Antonio, Tx, Usa.Association For Computing Machinery, Inc.2023-05-01,231–232.浏览/下载:406/164; 被引[WOS]:0评论推荐收藏
 [6] Mincai Lai,Guangyao Chen,Haochen Yang,et al. Predicting Synthetic Lethality In Human Cancers Via Multi-graph Ensemble Neural Network[C]. 2021 43rd Annual International Conference Of The Ieee Engineering In Medicine & Biology Society (embc).345 E 47th St, New York, Ny 10017 Usa.Ieee.2021-11-01.浏览/下载:389/1; 被引[WOS]:2评论推荐收藏
 [7] Guangyao Chen,&Zhihao Jiang.(2021).Environment Modeling during Model Checking of Cyberphysical Systems.COMPUTER,54(9),49-58.浏览/下载:740/304; 被引[WOS]:5; IF:2.0/2.6评论推荐收藏