Tae-Hyong Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2011
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ATVA | Symbolic Verification and Test Generation for a Network of Communicating FSMs. | Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao |
| 2007 | VTC | A Mobility Management Technique with Simple Handover Prediction for 3G LTE Systems. | Tae-Hyong Kim, Qi-Ping Yang, Jae-Hyoung Lee, Soon-Gi Park, Yeon-Seung Shin |
| 1998 | FORTE | Automatic Test Case Generation of Real Protocols: Framework and Methodology. | Tae-Hyong Kim, Ik-Soon Hwang, Chan-Min Park, Jai-Yong Lee, Sang-Bae Lee |