logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jifeng He

east china normal university

22H指数
189论文数
1.9K被引数
收录论文 13
发表时间
logo
Optimal convoy composition for virtual coupling trains at junctions: A coalition formation game approach
errTRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES
IF7.9
err2023-09-01
err2
PREAI
errNing, Zheng; Ou, Dongxiu; Xie, Chi; Zhang, Lei; Gao, Bowen; He, Jifeng
err分享
err收藏
Intelligent Hazard-Risk Prediction Model for Train Control Systems
errIEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
IF8.4
err2020-11-01
err11
PREAI
errLiu, Jing; Zhang, Yan; Han, Jiazhen; He, Jifeng; Sun, Junfeng; Zhou, Tingliang
err分享
err收藏
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation
errIEEE TRANSACTIONS ON CLOUD COMPUTING
IF5
err2020-04-01
err13
errOAAI
errChen, Mingsong; Huang, Saijie; Fu, Xin; Liu, Xiao; He, Jifeng
err分享
err收藏
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2019-09-01
err4
PREAI
errZhu, Xiaoran; Zhang, Min; Guo, Jian; Li, Xin; Zhu, Huibiao; He, Jifeng
err分享
err收藏
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2019-07-29
err7
PREAI
errSheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P.
err分享
err收藏
AADL plus : a simulation-based methodology for cyber-physical systems
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2018-12-28
err16
PREAI
errLiu, Jing; Li, Tengfei; Ding, Zuohua; Qian, Yuqing; Sun, Haiying; He, Jifeng
err分享
err收藏
A Survey on Data-Flow Testing数据流测试综述
errACM COMPUTING SURVEYS
IF28
err2017-03-10
err70
PREAI
errSu, Ting; Wu, Ke; Miao, Weikai; Pu, Geguang; He, Jifeng; Chen, Yuting; Su, Zhendong
err分享
err收藏
Automated coverage-driven testing: combining symbolic execution and model checking自动化覆盖驱动测试: 结合符号执行和模型检查
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2016-08-23
err4
PREAI
errSu, Ting; Pu, Geguang; Miao, Weikai; He, Jifeng; Su, Zhendong
err分享
err收藏
Semantic theories of programs with nested interrupts
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2015-02-03
err4
PREAI
errHuang, Yanhong; He, Jifeng; Zhu, Huibiao; Zhao, Yongxin; Shi, Jianqi; Qin, Shengchao
err分享
err收藏
A UTP semantic model for Orc language with execution status and fault handling
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2014-08-26
err1
PREAI
errLi, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng
err分享
err收藏
A novel requirement analysis approach for periodic control systems
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-01-28
err6
PREAI
errWang, Zheng; Pu, Geguang; Li, Jiangwen; Chen, Yuxiang; Zhao, Yongxin; Chen, Mingsong; Gu, Bin; Yang, Mengfei; He, Jifeng
err分享
err收藏
Hybrid MARTE statecharts
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-01-09
err18
errOAAI
errLiu, Jing; Liu, Ziwei; He, Jifeng; Mallet, Frederic; Ding, Zuohua
err分享
err收藏
The stochastic semantics and verification for periodic control systems
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2012-12-29
err6
PREAI
errYang MengFei; Wang Zheng; Pu GeGuang; Qin ShengChao; Gu Bin; He JiFeng
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Ke Wu 封面图
Ke Wu (Ke Wu)
H 指数: 99 · 论文数: 1.9K
Z
Ziwei Liu
H 指数: 80 · 论文数: 654
Zhendong Su 封面图
Zhendong Su (Zhendong Su)
H 指数: 65 · 论文数: 275
J
Jonathan P. Bowen
H 指数: 59 · 论文数: 653
刘笑 封面图
刘笑 (Xiao Liu)
H 指数: 53 · 论文数: 843
查看更多