Jong-Gyun Choi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
J. Comput. Sci. Eng., 2017

2014
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.
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.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

2007
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
Proceedings of the Computer Safety, 2007

2006
Reliability assessment of embedded digital system using multi-state function.
Reliab. Eng. Syst. Saf., 2006

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

2001
Dependability estimation of a digital system with consideration of software masking effects on hardware faults.
Reliab. Eng. Syst. Saf., 2001


  Loading...