Tae-Hyong Kim

According to our database, Tae-Hyong Kim authored at least 9 papers between 1998 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Indoor localization using magnetic field anomalies and inertial measurement units based on Monte Carlo localization.

Haftu Wedajo Fentaw, Tae-Hyong Kim

Proceedings of the Ninth International Conference on Ubiquitous and Future Networks, 2017

Pairwise Relation Analysis and Quality Estimation of Classical Chinese Poetry in Ancient Korea.

Shohrukh Bekmirzaev, Byoung-Chan Lee, Tae-Hyong Kim

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

2011

Symbolic Verification and Test Generation for a Network of Communicating FSMs.

Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao

Proceedings of the Automated Technology for Verification and Analysis, 2011

2007

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

Proceedings of the 66th IEEE Vehicular Technology Conference, 2007

SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.

Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006

SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches.

Tae-Hyong Kim, Jae-Woo Kim, Qi-Ping Yang, Jae-Hyoung Lee, Soon-Gi Park, Yeun-Seung Shin

Proceedings of the System Analysis and Modeling: Language Profiles, 2006

2003

The Winning Entry of the SAM 2002 Design Contest: .

Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim

Proceedings of the SDL 2003: System Design, 2003

2002

Rapid Development of Network Software via SDL/Socket Interfaces.

Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

1998

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

Proceedings of the Formal Description Techniques and Protocol Specification, 1998