Equivalence Checking of Two Statechart Specifications. - Myung-Hwan Park; Ki-Seok Bang; Jin-Young Choi; Inhye Kang (IEEE International Workshop on Rapid System Prototyping, 2000)

Comments on 'The Model Checker SPIN'. - Ki-Seok Bang; Jin-Young Choi; Chuck Yoo (IEEE Trans. Software Eng., 2001)

Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. - Hyun-Wook Jin; Ki-Seok Bang; Chuck Yoo; Jin-Young Choi; Hojung Cha (SPIN, 2002)

SSR : Statechart with shared resources. - Sung-Ho Jang; Ki-Seok Bang; Jin-Young Choi (HCC, 2003)

Formal Specification and Verification of Embedded System with Shared Resources. - Ki-Seok Bang; Jin-Young Choi; Sung-Ho Jang (IEEE International Workshop on Rapid System Prototyping, 2004)

System Resource Utilization Analysis Based on Model Checking Method. - Ki-Seok Bang; Hyun-Wook Jin; Chuck Yoo; Jin-Young Choi (Informatica (Slovenia), 2005)

A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro. - Sun-Hee Lim; Okyeon Yi; Chang-Hoon Jung; Ki-Seok Bang (COMSWARE, 2007)

A Secure Handover Protocol Design in Wireless Networks with Formal Verification. - Sun-Hee Lim; Ki-Seok Bang; Okyeon Yi; Jongin Lim 001 (WWIC, 2007)

Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. - Ki-Seok Bang; Il-Gon Kim; Ji-Yeon Lee; Jin-Young Choi (J. Res. Pract. Inf. Technol., 2014)