Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. - Gwang Sik Yoon; Sung Deok Cha; Yong Rae Kwon; Chan Hyung Yoo (APSEC, 1997)

Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). - Joon-Sang Lee; Tae-Ho Kim; Gwang Sik Yoon; Jang-Eui Hong; Sung Deok Cha; Doo-Hwan Bae (ISADS, 1999)

Program slicing based on specification. - In Sang Chung; Wan Kwon Lee; Gwang Sik Yoon; Yong Rae Kwon (SAC, 2001)

Extending MSC for Reactive Systems. - Gwang Sik Yoon; Yong Rae Kwon (HCC, 2001)

Specification-based program slicing and its applications. - Wan Kwon Lee; In Sang Chung; Gwang Sik Yoon; Yong Rae Kwon (J. Syst. Archit., 2001)