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

Bogdan Korel

Illinois Institute of Technology

36H指数
97论文数
5.5K被引数
收录论文 8
发表时间
logo
Verification Approach for Refactoring Transformation Rules of State-Based Models基于状态模型的重构转换规则验证方法
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-10-01
err2
PREAI
errAlmasri, Nada; Korel, Bogdan; Tahat, Luay
err分享
err收藏
Source Code Transformations for Improving Security of Time-bounded K-variant Systems
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-09-01
err2
PREAI
errBekiroglu, Berk; Korel, Bogdan
err分享
err收藏
Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2019-01-01
err3
PREAI
errBekiroglu, Berk; Korel, Bogdan
err分享
err收藏
Improving System Reliability Against Rational Attacks Under Given Resources
errieee transactions on cybernetics
IF8.7
err2014-04-01
err20
PREAI
errWang, Li; Ren, Shangping; Korel, Bogdan; Kwiat, Kevin A.; Salerno, Eric
err分享
err收藏
Special issue on software maintenance and evolution
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2005-10-01
err1
PREAI
errHarman, M; Korel, B; Linos, PK
err分享
err收藏
Dynamic program slicing methods
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err1998-12-01
err52
PREAI
errKorel, B; Rilling, J
err分享
err收藏
Computation of dynamic program slices for unstructured programs非结构化程序动态程序切片的计算
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1997-01-01
err42
PREAI
errKorel, B
err分享
err收藏
Generating test data for distributed software using the chaining approach
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err1996-05-01
err12
PREAI
errFerguson, R; Korel, B
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Mark Harman
H 指数: 90 · 论文数: 712
王力 封面图
王力 (Li Wang)
H 指数: 44 · 论文数: 492
J
Juergen Rilling
H 指数: 27 · 论文数: 129
S
Shangping Ren
H 指数: 19 · 论文数: 166
K
Kevin A. Kwiat
H 指数: 17 · 论文数: 86
查看更多