Communications System Reliability, Integration, interface and Interoperability

R. E. Miller, D.-L. Chen, D. Lee and R. Hao, “Coping with Non-determinism in Network Protocol Testing”, Proc. IFIP TestCom 2005 (won the best paper award); also published in Lecture Notes in Computer Science, Springer, 2005

D. Lee, C. Liu and M. Yannakakis, “Distributed Protocol System Integration, Interface and Interoperability”, OPODIS 2004 (invited paper); an expanded version is to appear in Lecture Notes in Computer Science, 2005, Springer, 2005

K.-Q. Li and D. Lee, “Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms”, Proc. IFIP TestCom 2005; also published in Lecture Notes in Computer Science, Springer, 2005

R. Hao, D. Lee, Sinha, and N. Griffeth, "Integrated System Interoperability Testing with Applications to VoIP", IEEE/ACM Trans on Networking, Aug. 2004; an early version appeared in FORTE/PSTV 2000, Pisa, Italy, October 10-13, 2000 (Won the best paper award of the conference)

D. Lee, “Integrated Software System Interoperability Testing”, Wiley Encyclopedia of Electrical and Electronics Engineering, 2001 (invited paper)

N. Griffeth, R. Hao, D. Lee and R. Sinha, "Interoperability Testing of VoIP", IEEE GLOBECOM, 2000

R. Hao, D. Lee, R. Sinha and D. Vlah, "SOCRATES on IP Router Fault Detection", IEEE GLOBECOM, 2000

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

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