 | 2009 |
|---|
| 9 |       | Hyun-Wook Jin,
Junbeom Yoo:
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.
SEUS 2009: 240-251 |
| 8 | | Junbeom Yoo,
Eunkyoung Jee,
Sung Deok Cha:
Formal Modeling and Verification of Safety-Critical Software.
IEEE Software 26(3): 42-49 (2009) |
| 2008 |
|---|
| 7 | | Junbeom Yoo,
Sung Deok Cha,
Eunkyoung Jee:
A Verification Framework for FBD Based Software in Nuclear Power Plants.
APSEC 2008: 385-392 |
| 2006 |
|---|
| 6 | | Eunkyoung Jee,
Seungjae Jeon,
Hojung Bang,
Sung Deok Cha,
Junbeom Yoo,
Gee-Yong Park,
Kee-Choon Kwon:
Testing of Timer Function Blocks in FBD.
APSEC 2006: 243-250 |
| 2005 |
|---|
| 5 | | Eunkyoung Jee,
Junbeom Yoo,
Sung Deok Cha:
Control and Data Flow Testing on Function Block Diagrams.
SAFECOMP 2005: 67-80 |
| 4 | | Junbeom Yoo,
Tai Hyo Kim,
Sung Deok Cha,
Jang-Soo Lee,
Han Seong Son:
A formal software requirements specification method for digital nuclear plant protection systems.
Journal of Systems and Software 74(1): 73-83 (2005) |
| 2004 |
|---|
| 3 |  | Seo Ryong Koo,
Poong-Hyun Seong,
Junbeom Yoo,
Sung Deok Cha,
Cheong Youn,
Hyun-chul Han:
An integrated environment of S/W specification and V&V for safety-critical systems.
IASTED Conf. on Software Engineering 2004: 607-612 |
| 2 | | Junbeom Yoo,
Sung Deok Cha,
Han Seiong Son,
Chang Hwoi Kim,
Jang-Soo Lee:
PLC-Based Safety Critical Software Development for Nuclear Power Plants.
SAFECOMP 2004: 155-165 |
| 1 | | Jaemyung Cho,
Junbeom Yoo,
Sung Deok Cha:
NuEditor - A Tool Suite for Specification and Verification of NuSCR.
SERA 2004: 19-28 |
