Login / Signup
Jong-Gyun Choi
Publication Activity (10 Years)
Years Active: 2001-2017
Publications (10 Years): 1
Top Topics
Computer Programs
Intelligent Agents
Software Development
Lessons Learned
Top Venues
ISSRE Workshops
ISIC
J. Comput. Sci. Eng.
</>
Publications
</>
Eui-Sub Kim
,
Dong-Ah Lee
,
Sejin Jung
,
Junbeom Yoo
,
Jong-Gyun Choi
,
Jang-Soo Lee
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
J. Comput. Sci. Eng.
11 (1) (2017)
Junbeom Yoo
,
Eui-Sub Kim
,
Dong-Ah Lee
,
Jong-Gyun Choi
,
Young-Jun Lee
,
Jang-Soo Lee
NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants.
ISIC
(2014)
Junbeom Yoo
,
Jong-Gyun Choi
,
Young-Jun Lee
,
Jang-Soo Lee
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.
ISSRE Workshops
(2014)
Horst Miedl
,
Jang-Soo Lee
,
Arndt Lindner
,
Ernst Hoffman
,
Josef Märtz
,
Young-Jun Lee
,
Jong-Gyun Choi
,
Jangyeol Kim
,
Kyoung-Ho Cha
,
Se Woo Cheon
,
Cheol-Kwon Lee
,
Gee-Yong Park
,
Kee-Choon Kwon
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
SAFECOMP
(2007)
Jang-Soo Lee
,
Arndt Lindner
,
Jong-Gyun Choi
,
Horst Miedl
,
Kee-Choon Kwon
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.
SAFECOMP
(2006)
Jong-Gyun Choi
,
Poong Hyun Seong
Reliability assessment of embedded digital system using multi-state function.
Reliab. Eng. Syst. Saf.
91 (3) (2006)
Jong-Gyun Choi
,
Poong-Hyun Seong
Dependability estimation of a digital system with consideration of software masking effects on hardware faults.
Reliab. Eng. Syst. Saf.
71 (1) (2001)