A reduced incremental ECFSM-based protocol verification. - Chung-Ming Huang; Hsin-Yi Lai; Duen-Tay Huang (COMPSAC, 1993)

An Estelle interpreter for incremental protocol verification. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Jao-Chiang Pong; Duen-Tay Huang (ICNP, 1993)

A State-Transition-Based Incremental Protocol Specification. - Chung-Ming Huang; Ye-In Chang; Duen-Tay Huang (ACM Conference on Computer Science, 1994)

Integrated FDT-based protocol verification system. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Duen-Tay Huang (Softw. Eng. J., 1995)

Reverse Protocol Verification: Concept, Algorithm and Application. - Chung-Ming Huang; Ye-In Chang; Duen-Tay Huang (Comput. J., 1996)

A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method. - Chung-Ming Huang; Huei-Yang Lai; Duen-Tay Huang (J. Inf. Sci. Eng., 1996)

An Estelle-Based Incremental Protocol Design System. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Duen-Tay Huang; Jao-Chiang Pong (J. Syst. Softw., 1997)