The SCEAS System
Navigation Menu

Search the dblp DataBase


Ki-Seok Bang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  8. A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002