An Approach to Software Process Management Based on Formal Process Modeling and Analysis. - Sang-Yoon Min; Ik-Joo Han; Wei-Jin Park; Doo-Hwan Bae (APSEC, 1997)

Object-Oriented Model Refinement Technique in Software Reengineering. - Wei-Jin Park; Sang-Yoon Min; Doo-Hwan Bae; Pyeong-Soo Mah (COMPSAC, 1998)

Aspect-Oriented Design (AOD) Technique for Developing Distributed Object-Oriented Systems over the Internet. - Joon-Sang Lee; Sang-Yoon Min; Doo-Hwan Bae (ICSC, 1999)

Management of Workflow over the Web Supporting Distributed Process Evolution. - Sang-Yoon Min; Doo-Hwan Bae; Sung-Chan Cho; Young-Kwang Nam (ICSC, 1999)

Safety Verification of Ada95 Programs Using Software Fault Trees. - Sang-Yoon Min; Yoon-Kyu Jan; Sung Deok Cha; Yong Rae Kwon; Doo-Hwan Bae (SAFECOMP, 1999)

SoftPM: a software process management system reconciling formalism with easiness. - Sang-Yoon Min; H.-D. Lee; Doo-Hwan Bae (Inf. Softw. Technol., 2000)

Tailoring and Verifying Software Process. - Il-Chul Yoon; Sang-Yoon Min; Doo-Hwan Bae (APSEC, 2001)

Dimensions of Composition Models for Supporting Software Evolution. - In-Gyu Kim; Tegegne Marew; Doo-Hwan Bae; Jang-Eui Hong; Sang-Yoon Min (SC@ETAPS, 2006)

Process Instance Management Facilities Based on the Meta Process Models. - Seunghun Park; Sang-Yoon Min; Doo-Hwan Bae (ICCSA (5), 2011)