Tai Hyo Kim

According to our database, Tai Hyo Kim authored at least 6 papers between 2002 and 2010.

Collaborative distances:

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

2010

A systematic representation of path constraints for implicit path enumeration technique.

Tai Hyo Kim, Hojung Bang, Sung Deok Cha

Softw. Test. Verification Reliab., 2010

2009

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time.

Jong-In Lee, Hojung Bang, Tai Hyo Kim, Sung Deok Cha

IEICE Trans. Inf. Syst., 2009

2007

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.

Hojung Bang, Tai Hyo Kim, Sung Deok Cha

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Timed High-Level Message Sequence Charts for Real-Time System Design.

Tai Hyo Kim, Sung Deok Cha

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

2005

A formal software requirements specification method for digital nuclear plant protection systems.

Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son

J. Syst. Softw., 2005

2002

Construction of global finite state machine for testing task interactions written in message sequence charts.

Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002