OCTOPUS: an adaptive group communication environment for multimedia application. - Cai Hong Zhang; Tze Keen Chin; Kwang Yong Koh; Geok Meng Ong; Sae-Whong Suthon; Cheng Han Peng; Hung Keng Pung (ICON, 2002)

A JINI/JAVA based streaming framework for group communication. - Cai Hong Zhang; Kwang Yong Koh; Hung Keng Pung (ICON, 2002)

OCTOPUS: A Middleware for Multimedia Communication. - Cai Hong Zhang; Tze Keen Chin; Kwang Yong Koh; Geok Meng Ong; Cheng Han Peng; Hung Keng Pung; Sae-Whong Suthon (IMSA, 2002)

Groups Merging and Groups Disbanding In IP Multicast. - Kwang Yong Koh; Hung Keng Pung (LCN, 2003)

Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. - Gee-Yong Park; Jang-Soo Lee; Se Woo Cheon; Kee-Choon Kwon; Eunkyoung Jee; Kwang Yong Koh (SAFECOMP, 2007)

SMV model-based safety analysis of software requirements. - Kwang Yong Koh; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2009)

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. - Eunkyoung Jee; Seungjae Jeon; Sung Deok Cha; Kwang Yong Koh; Junbeom Yoo; Gee-Yong Park; Poong-Hyun Seong (J. Res. Pract. Inf. Technol., 2010)