Bogdan Korel - Publications, H-index & Citations | Canyam

Not logged in

Back

B

Bogdan Korel

Illinois Institute of Technology

36H-index

97Paper Count

5.5KCitation Count

Published Papers 8

Publication Date

Verification Approach for Refactoring Transformation Rules of State-Based Models

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-10-01

2

PREAI

Almasri, Nada; Korel, Bogdan; Tahat, Luay

Share

Save

Source Code Transformations for Improving Security of Time-bounded K-variant Systems

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2021-09-01

2

PREAI

Bekiroglu, Berk; Korel, Bogdan

Share

Save

Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2019-01-01

3

PREAI

Bekiroglu, Berk; Korel, Bogdan

Share

Save

Improving System Reliability Against Rational Attacks Under Given Resources

ieee transactions on cybernetics

IF8.7

2014-04-01

20

PREAI

Wang, Li; Ren, Shangping; Korel, Bogdan; Kwiat, Kevin A.; Salerno, Eric

Share

Save

Special issue on software maintenance and evolution

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2005-10-01

1

PREAI

Harman, M; Korel, B; Linos, PK

Share

Save

Dynamic program slicing methods

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

1998-12-01

52

PREAI

Korel, B; Rilling, J

Share

Save

Computation of dynamic program slices for unstructured programs

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1997-01-01

42

PREAI

Korel, B

Share

Save

Generating test data for distributed software using the chaining approach

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

1996-05-01

12

PREAI

Ferguson, R; Korel, B

Share

Save