Digitalization of continuous-data systems via time-response matching. - Chyan-Goei Chung; Kuang-Wei Han; Hsi-Han Yeh (Inf. Sci., 1982)

The Design of a Traffic Control Expert System for Long Distance Network Contingencies. - Chen-Yuan Chang; Chyan-Goei Chung; Jin-Tuu Wang (IEA/AIE (Vol. 2), 1988)

Zero-one integer programming model in path selection problem of structural testing. - Jin-Cherng Lin; Chyan-Goei Chung (COMPSAC, 1989)

A Two-Level Model for Software Rapid Prototyping. - Ren-Juh Lea; Chyan-Goei Chung (SEKE, 1989)

Testing Concurrent Ada Program with Reproducible Test Cases. - Ren-Dar Yang; Chyan-Goei Chung (SEKE, 1989)

A process modeling language for large process control systems. - Ming-Jie Chen; Chyan-Goei Chung (COMPSAC, 1990)

The analysis of infeasible concurrent paths of concurrent Ada programs. - Ren-Dar Yang; Chyan-Goei Chung (COMPSAC, 1990)

On generating test data from prototypes. - Ren-Juh Lea; Slong Chen; Chyan-Goei Chung (COMPSAC, 1991)

Restructuring operations for data-flow diagrams. - Ming-Jie Chen; Chyan-Goei Chung (Softw. Eng. J., 1991)

Reliability modeling of parallel programs with modular structure using stochastic Petri nets. - Tsu-Feng Ho; Wah-Chun Chan; Chyan-Goei Chung (J. Syst. Softw., 1991)

A structural testing method for C++ programs. - Jen-Gaw Lee; Ming-Jyh Feng; Chyan-Goei Chung (COMPSAC, 1994)

An OOA model with system function specifications. - Shih-Chien Chou; Chyan-Goei Chung (ICRE, 1994)

A knowledge-based operation support system for network traffic management. - Chen-Yuan Chang; Chyan-Goei Chung (Decis. Support Syst., 1994)

An object-oriented modelling approach to system software design. - P. J. Lee; Deng-Jyi Chen; Chyan-Goei Chung (Inf. Softw. Technol., 1994)

An Object-Oriented Graphics System Adopting User Interface Management Techniques. - Yin-Hsong Hsu; Yue-Sun Kuo; Chyan-Goei Chung (J. Inf. Sci. Eng., 1994)

An executable specification language for specification understanding in object-oriented specification reuse. - Shih-Chien Chou; Jason Jen-Yen Chen; Chian-Goei Chung (Inf. Softw. Technol., 1996)

A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse. - Shih-Chien Chou; Jason Jen-Yen Chen; Chian-Goei Chung (Softw. Pract. Exp., 1996)

An enhanced zero-one optimal path set selection method. - Chyan-Goei Chung; Jen-Gaw Lee (J. Syst. Softw., 1997)

An Expert-System Technique for Object-Oriented Program Testing. - Wu-Chi Chen; Deng-Jyi Chen; Chyan-Goei Chung (J. Object Oriented Program., 1999)

Path-based Model Checking. - Wen Chien Liu; Chyan-Goei Chung (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Path-based protocol verification approach. - Wen Chien Liu; Chyan-Goei Chung (Inf. Softw. Technol., 2000)

Symbolic path-based protocol verification. - Wen Chien Liu; Chyan-Goei Chung (Inf. Softw. Technol., 2000)