logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jifeng He

east china normal university

22H-index
189Paper Count
1.9KCitation Count
Published Papers 13
Publication Date
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Hybrid MARTE statecharts
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-01-09
err18
errOAAI
errLiu, Jing; Liu, Ziwei; He, Jifeng; Mallet, Frederic; Ding, Zuohua
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
K
Ke Wu
H-index: 99 · Papers: 1.9K
Z
Ziwei Liu
H-index: 80 · Papers: 652
Z
Zhendong Su
H-index: 65 · Papers: 275
J
Jonathan P. Bowen
H-index: 59 · Papers: 653
刘笑 cover
刘笑 (Xiao Liu)
H-index: 53 · Papers: 839
View more