| 2000 |
|---|
| 11 | | Wen Chien Liu,
Chyan-Goei Chung:
Path-based Model Checking.
ICDCS Workshop on Distributed System Validation and Verification 2000: E91-E94 |
| 10 | | Wen Chien Liu,
Chyan-Goei Chung:
Path-based protocol verification approach.
Information & Software Technology 42(4): 229-244 (2000) |
| 9 | | Wen Chien Liu,
Chyan-Goei Chung:
Symbolic path-based protocol verification.
Information & Software Technology 42(4): 245-255 (2000) |
| 1999 |
|---|
| 8 | | Wu-Chi Chen,
Deng-Jyi Chen,
Chyan-Goei Chung:
An Expert-System Technique for Object-Oriented Program Testing.
JOOP 11(9): 25-35, 44 (1999) |
| 1997 |
|---|
| 7 | EE | Chyan-Goei Chung,
Jen-Gaw Lee:
An enhanced zero-one optimal path set selection method.
Journal of Systems and Software 39(2): 145-164 (1997) |
| 1995 |
|---|
| 6 | EE | Chyan-Goei Chung,
Jen-Gaw Lee:
An Enhanced Zero-One Optimal Path Set Selection Method.
APSEC 1995: 225- |
| 1994 |
|---|
| 5 | EE | Yin-Hsong Hsu,
Yue-Sun Kuo,
Chyan-Goei Chung:
An Object-Oriented Graphics System Adopting User Interface Management Techniques.
J. Inf. Sci. Eng. 11(3): 339-367 (1994) |
| 1991 |
|---|
| 4 | EE | Tsu-Feng Ho,
Wah-Chun Chan,
Chyan-Goei Chung:
Reliability modeling of parallel programs with modular structure using stochastic Petri nets.
Journal of Systems and Software 16(2): 121-128 (1991) |
| 1989 |
|---|
| 3 | | Ren-Dar Yang,
Chyan-Goei Chung:
Testing Concurrent Ada Program with Reproducible Test Cases.
SEKE 1989: 19-24 |
| 2 | | Ren-Juh Lea,
Chyan-Goei Chung:
A Two-Level Model for Software Rapid Prototyping.
SEKE 1989: 73-78 |
| 1982 |
|---|
| 1 | EE | Chyan-Goei Chung,
Kuang-Wei Han,
Hsi-Han Yeh:
Digitalization of continuous-data systems via time-response matching.
Inf. Sci. 26(2): 95-107 (1982) |
