Jong-Gyun Choi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2006–2014
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ISSRE | 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 |
| 2007 | SAFECOMP | Defense-in-Depth and Diverse Qualification of Safety-Critical Software. | Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Mrtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon |
| 2006 | SAFECOMP | 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 |