Duen-Tay Huang

According to our database, Duen-Tay Huang authored at least 7 papers between 1993 and 1997.

Collaborative distances:

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

1997

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

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

Reverse Protocol Verification: Concept, Algorithm and Application.

Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang

Comput. J., 1996

1995

Integrated FDT-based protocol verification system.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Duen-Tay Huang

Softw. Eng. J., 1995

1994

A State-Transition-Based Incremental Protocol Specification.

Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993

An Estelle interpreter for incremental protocol verification.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang

Proceedings of the 1993 International Conference on Network Protocols, 1993

A reduced incremental ECFSM-based protocol verification.

Chung-Ming Huang, Hsin-Yi Lai, Duen-Tay Huang

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993