Hyun Seop Bae

According to our database, Hyun Seop Bae authored at least 4 papers between 1995 and 2000.

Collaborative distances:

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

2000

Specifying and verifying real-time systems with timing uncertainty.

Hyun Seop Bae, In Sang Chung, Yong Rae Kwon

J. Syst. Softw., 2000

1999

Testing of Concurrent Programs Based on Message Sequence Charts.

In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Testing of Concurrent Programs After Specification Changes.

In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee

Proceedings of the 1999 International Conference on Software Maintenance, 1999

1995

An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.

Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995