Total 4 pages    Printer friendly Print whole list
David Lee's contributions before 2004 include (for details see the selected publication list):
  • Data networking and next generation Internet protocol systems
    1. IPv6 edge router prototype with optical and wireless interfaces.
    2. Software system for network protocol system interoperability testing: ITIS (Interoperability Testing Intelligent System). This effort pioneered the work of integrated system interoperability testing using formal methods, initiated a mathematical model, developed efficient algorithms for the test generation, built a software system ITIS, and applied the automatically generated test sequences to VoIP (Voice over IP), including H.323 and Q.931, and other communication systems. A paper published based on this project won the Best Paper Award of PSTV-FORTE'2000, the authoritative international conference on formal methods.
    3. Developed a new signaling protocol to prevent or reduce the congestion in the signaling network of the Internet. Provided a practical solution to cope with the well-known OSPF LSA N-squared problem, which caused Internet congestion.
    4. Designed a deadlock and livelock free protocol for lossless and backpressured packet networks, including the Gigabit Ethernet.
    5. Software system SOCRATES for testing the routing protocols of IP routers, initiated a mathematical model, developed efficient algorithms for the test generation and execution, and applied them to test IP routing protocols, including RIP, OSPF and BGP.
Next Page  
Home | Contact Info | Top | Or
| 2003 David Lee