| 2007 |
|---|
| 8 | EE | Sun-Hee Lim,
Okyeon Yi,
Chang-Hoon Jung,
Ki-Seok Bang:
A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro.
COMSWARE 2007 |
| 7 | EE | Sun-Hee Lim,
Ki-Seok Bang,
Okyeon Yi,
Jongin Lim:
A Secure Handover Protocol Design in Wireless Networks with Formal Verification.
WWIC 2007: 67-78 |
| 2005 |
|---|
| 6 | EE | Ki-Seok Bang,
Hyun-Wook Jin,
Chuck Yoo,
Jin-Young Choi:
System Resource Utilization Analysis Based on Model Checking Method.
Informatica (Slovenia) 29(2): 219-226 (2005) |
| 2004 |
|---|
| 5 | EE | Ki-Seok Bang,
Jin-Young Choi,
Sung-Ho Jang:
Formal Specification and Verification of Embedded System with Shared Resources.
IEEE International Workshop on Rapid System Prototyping 2004: 8-14 |
| 2003 |
|---|
| 4 | | Sung-Ho Jang,
Ki-Seok Bang,
Jin-Young Choi:
SSR : Statechart with shared resources.
HCC 2003: 198-200 |
| 2002 |
|---|
| 3 | EE | Hyun-Wook Jin,
Ki-Seok Bang,
Chuck Yoo,
Jin-Young Choi,
Hojung Cha:
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.
SPIN 2002: 170-186 |
| 2001 |
|---|
| 2 | EE | Ki-Seok Bang,
Jin-Young Choi,
Chuck Yoo:
Comments on 'The Model Checker SPIN'.
IEEE Trans. Software Eng. 27(6): 573-576 (2001) |
| 2000 |
|---|
| 1 | EE | Myung-Hwan Park,
Ki-Seok Bang,
Jin-Young Choi,
Inhye Kang:
Equivalence Checking of Two Statechart Specifications.
IEEE International Workshop on Rapid System Prototyping 2000: 46-51 |
