Jong-Gyun Choi

According to our database, Jong-Gyun Choi authored at least 7 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

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, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee

J. Comput. Sci. Eng., 2017

2014

A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.

Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants.

Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee

Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

2007

Defense-in-Depth and Diverse Qualification of Safety-Critical Software.

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

Proceedings of the Computer Safety, 2007

2006

Reliability assessment of embedded digital system using multi-state function.

Jong-Gyun Choi, Poong Hyun Seong

Reliab. Eng. Syst. Saf., 2006

Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.

Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon

Proceedings of the Computer Safety, 2006

2001

Dependability estimation of a digital system with consideration of software masking effects on hardware faults.

Jong-Gyun Choi, Poong-Hyun Seong

Reliab. Eng. Syst. Saf., 2001