 |
 |
 |
Data networking and Internet protocol systems |
| |
[1] N. Griffeth, R. Hao, D. Lee and R. Sinha, "Integrated
System Interoperability Testing with Applications to VoIP",
FORTE/PSTV 2000, Pisa, Italy, October 10 - 13, 2000. (Won
the best paper award of the conference) [Download>>]
[2] N. Griffeth, R. Hao, D. Lee and R. Sinha, "Interoperability
Testing of VoIP", IEEE GLOBECOM 2000, Nov. 27 - Dec. 1,
San Francisco, CA
[3] A. V. Aho and David Lee, "Hierarchical Networks and
the LSA N-Squared Problem in OSPF Routing", IEEE GLOBECOM
2000, Nov. 27 - Dec. 1, San Francisco, CA [Download>>]
[4] M. Karol, J. Golestani and David Lee, "Prevention
of Deadlocks and Livelocks in Lossless, Backpressured
Packet Networks", to appear in IEEE/ACM Trans. on Networking.
An earlier version published in IEEE INFOCOM 2000 [Download>>]
[5] R. Hao, D. Lee, R. Sinha and D. Vlah, "Testing IP
Routing Protocols: From Probabilistic Algorithms to Software
Tool", FORTE/PSTV, Pisa, Italy, October 10 - 13, 2000
[6] R. Hao, D. Lee, R. Sinha and D. Vlah, "SOCRATES on
IP Router Fault Detection", IEEE GLOBECOM 2000, Nov. 27
- Dec. 1, San Francisco, CA [Download>>]
[7] D. Lee, "Integrated Software System Interoperability
Testing", Wiley Encyclopedia of Electrical and Electronics
Engineering, 2001 (invited paper)
[8] A.U. Shankar and D. Lee, "Modulo- N Incarnation
Numbers for Cache-based Transport Protocols", IEEE/ACM
Trans. on Networking, Vol. 3, No. 3, June 1995, pp. 255
- 268. An earlier version with a same title appeared in
Proc. ICNP, Oct. 1993, pp. 46 - 54
[9] D. Lee, A. N. Netravali, and K. K. Sabnani, "Protocol
Pruning", Proceedings of The IEEE, Vol. 83, No. 10,
1995, pp. 526-542
[10] D. Kristol, D. Lee, A. N. Netravali, and K. Sabnani,
"A Polynomial Algorithm for Gateway Generation from
Formal Specifications", IEEE/ACM Trans. on Networking,
Vol. 1, No. 2, April 1993, pp. 217-229. An earlier version
with a title "An Efficient Gateway Synthesis from
Formal Specification" appeared in ACM SIGCOMM, September
1991, pp. 89-97
[11] D. Lee, K.K. Ramakrishnan and M. Moh, "A Formal
Specification of the ATM ABR Rate Control Scheme",
Computer Networks and ISDN Syst., Vol. 30, 1998, pp. 1735-1748
(invited paper)
[12] D. Lee, K.K. Ramakrishnan, W.M. Moh and A.U. Shankar,
"Performance and Correctness of the ATM ABR Rate
Control Scheme", Proc. IEEE INFOCOM'97, April 1997
[13] N. Griffeth, R. Hao, D. Lee and R. Sinha, "Testing
Interoperability of Reactive Communication Systems",
AST'99 - Automated Software Testing conference, Lisle,
IL, November 11-12, 1999
[14] 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 |
| 第 1 2
3 4
5 6
7 页 |
|
 |
|
|
