 |
|
|
| |
[15] D. Lee, W. M.
Moh, K. K. Ramakrishnan and A. U. Shankar, "An Extended
Finite State Machine Representation of the Source/Destination
Behavior", ATM Forum Contribution ATM_Forum/96 -
0231, Feb. 1996
[16] D. Lee, K. K. Ramakrishnan, W. M. Moh and A. U. Shankar,
"Protocol Specification Using Parameterized Communicating
Extended Finite State Machines - A Case Study of the ATM
ABR Rate Control Scheme", Proc. ICNP, October 1996,
pp. 208-217
[17] D. Lee, D. Su, L. Collica and N. Golmie, "Conformance
Test Suite for the ABR Rate Control Scheme in TM v4.0",
ATM Forum/97 - 0034, February, 1997
[18] D. Cypher, D. Lee, M. Martin-Villalba, C. Prins,
and D, Su, "Formal Specification, Verification, and
Interoperability Testing of ATM Routing Protocol: PNNI",
Proc. FORTE/PSTV, 1998
|
 |
All-optical network
protocol, software system design and implementations |
| |
[1] C. Chi, D. Huang, D. Lee and
X. Sun, "Signaling in All-optical Network Systems",
ICII'2001 (invited paper, keynote)
[2] C. Chi, D. Huang, D. Lee and X. Sun, "Lazy Flooding:
A New Technique for Information Dissemination in Distributed
Network Systems", OFC'2002
|
 |
Communication
protocol system design, analysis, integration, interface,
reliability and test automation |
| |
[1] D. Lee and M. Yannakakis,
"Principles and Methods of Testing Finite State Machines
- A Survey", Proceedings of The IEEE, Vol. 84, No.
8, August 1996, pp. 1090 - 1123 [Download>>]
[2] D. Lee and M. Yannakakis, "Testing Finite State
Machines: State Identification and Verification",
IEEE Trans. on Computers, Vol. 43, No. 3, March 1994,
pp. 306-320. An extended abstract with a title "Testing
Finite State Machines" appeared in Proc. 23rd Annual
ACM Symposium Theory of Computing, May 1991, pp. 476-485
[3] M. Yannakakis and D. Lee, "Testing Finite State
Machines: Fault Detection", J. Computer Science and
Systems, Vol. 50, No. 2, 1995, pp. 209-227
[4] D. Lee and M. Yannakakis, "Closed Partition Lattice
and Machine Decomposition", IEEE Trans. on Computers,
Vol. 51, No. 2, 2001, pp. 216-228 [Download>>]
[5] A. V. Aho, A. T. Dahbura, D. Lee, and M. U. Uyar,
"An Optimization Technique for Protocol Conformance
Test Generation Based on UIO Sequences and Rural Chinese
Postman Tours", IEEE Transactions on Communications,
Vol. 39, No. 11, 1991, pp. 1604-1615. An earlier version
with a same title appeared in Proc. IFIP WG 6.18th International
Symposium on Protocol Specification, Testing, and Verification,
June 1988
|
| 第 1
2 3 4
5 6
7 页 |
|
 |
|
|
