| 2000 |
|---|
| 4 | EE | Hyun Seop Bae,
In Sang Chung,
Yong Rae Kwon:
Specifying and verifying real-time systems with timing uncertainty.
Journal of Systems and Software 50(1): 85-96 (2000) |
| 1999 |
|---|
| 3 | EE | In Sang Chung,
Hyeon Soo Kim,
Hyun Seop Bae,
Yong Rae Kwon,
Dong Gil Lee:
Testing of Concurrent Programs After Specification Changes.
ICSM 1999: 199- |
| 2 | EE | In Sang Chung,
Hyeon Soo Kim,
Hyun Seop Bae,
Yong Rae Kwon,
Byung-Sun Lee:
Testing of Concurrent Programs Based on Message Sequence Charts.
PDSE 1999: 72-82 |
| 1995 |
|---|
| 1 | EE | Hyun Seop Bae,
Yong Rae Kwon,
Hyeon Soo Kim:
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.
APSEC 1995: 96- |
