Concepedia

Eui-Sub Kim

EK

3

Publications

42

Citations

3

H-Index

2013

Active since

Affiliations

Konkuk University(Current)

Korea Atomic Energy Research Institute

Eui-Sub Kim is an author at Konkuk University specializing in system software, digital design, and systems engineering.

Top concepts

EngineeringVerificationDigital DesignFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware Analysis

Publications per year

2013–2017

3

Publications

3

An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants

Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo et al. · Nuclear Engineering and Technology · 2016 · 17 citations · Full text

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Eui-Sub Kim, Dong-Ah Lee, Sejin Jung et al. · Journal of Computing Science and Engineering · 2017 · 15 citations · Full text

Engineering, Hardware Verification Language, Verification +23

A BEHAVIOR-PRESERVING TRANSLATION FROM FBD DESIGN TO C IMPLEMENTATION FOR REACTOR PROTECTION SYSTEM SOFTWARE

Junbeom Yoo, Eui-Sub Kim, Jang‐Soo Lee · Nuclear Engineering and Technology · 2013 · 10 citations · Full text

Rows per page

1–3 of 3