Eunkyoung Jee

Statistics

Publications

Citations

636

H-Index

Active since

2008

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Korea Atomic Energy Research Institute

Korea University

Konkuk University Medical Center

Konkuk University

Eunkyoung Jee is an author at Korea Advanced Institute of Science and Technology specializing in engineering, computer science, and computer engineering.

ORCID

Publications per year

2008–2023

Publications

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee, Oleg Sokolsky, Sanjian Chen et al. · Proceedings of the IEEE · 2011 · 366 citations · Full text

Engineering, Autonomous Systems, Systems Engineering +17

Formal Modeling and Verification of Safety-Critical Software

Junbeom Yoo, Eunkyoung Jee, Sungdeok Cha · IEEE Software · 2009 · 55 citations

Engineering, Nuclear Engineering, Systems Engineering +14

A data flow-based structural testing technique for FBD programs

Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha et al. · Information and Software Technology · 2009 · 42 citations

Engineering, Computer Engineering, Computer Science +10

A Safety-Assured Development Approach for Real-Time Software

Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim et al. · 2010 · 37 citations · Full text

Engineering, Computer Engineering, Computer Science +15

Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms

Junghun Yoo, Youlim Jung, Donghwan Shin et al. · 2019 · 28 citations

Computing, Computer Science, Computer Systems +17

1–5 of 12