David Lee
Affiliations:- Ohio State University, Columbus, OH, USA
- AT&T Bell Labs., Murray Hill, NJ, USA (former)
According to our database1,
David Lee
authored at least 62 papers
between 1986 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
IEEE Trans. Parallel Distributed Syst., 2011
2008
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.
Proceedings of the Testing of Software and Communicating Systems, 2008
A model-based approach to security flaw detection of network protocol implementations.
Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
2007
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007
2006
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.
Proceedings of the Testing of Communicating Systems, 2006
A note on broadcast encryption key management with applications to large scale emergency alert systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006
2004
IEEE/ACM Trans. Netw., 2004
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004
Proceedings of the Managing Next Generation Convergence Networks and Services, 2004
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2002
2001
Theor. Comput. Sci., 2001
Comput. Networks, 2001
2000
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1999
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999
Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
1998
Numerical computation of characteristic polynomials of Boolean functions and its applications.
Numer. Algorithms, 1998
Protocol Feature Interactions.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
1997
Formal Methods Syst. Des., 1997
Proceedings of the Proceedings IEEE INFOCOM '97, 1997
Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997
1996
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.
IEEE Trans. Commun., 1996
Characteristic polynomial method for verification and test of combinational circuits.
Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996
Proceedings of the 1996 International Conference on Network Protocols, 1996
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.
Proceedings of the 1996 International Conference on Network Protocols, 1996
1995
IEEE/ACM Trans. Netw., 1995
1994
IEEE Trans. Computers, 1994
1993
IEEE/ACM Trans. Netw., 1993
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993
Proceedings of the 1993 International Conference on Network Protocols, 1993
Proceedings of the 1993 International Conference on Network Protocols, 1993
1992
Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992
1991
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours.
IEEE Trans. Commun., 1991
SIAM J. Sci. Comput., 1991
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991
Proceedings of the Conference on Communications Architecture & Protocols, 1991
1990
Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement.
IEEE Trans. Pattern Anal. Mach. Intell., 1990
1989
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1989
1988
IEEE Trans. Pattern Anal. Mach. Intell., 1988
Proceedings of the Second International Conference on Computer Vision, 1988
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988
1987
J. Complex., 1987
1986
J. Complex., 1986
Fast multiplication of a recursive block Toeplitz matrix by a vector and its application.
J. Complex., 1986
Proceedings of the 27th Annual Symposium on Foundations of Computer Science, 1986