default search action
David Lee 0001
Person information
- affiliation: Ohio State University, Columbus, OH, USA
- affiliation (former): AT&T Bell Labs., Murray Hill, NJ, USA
Other persons with the same name
- David Lee — disambiguation page
- David Lee 0002
(aka: David T. Lee, David Timothy Lee) — Stanford University, Department of Electrical Engineering, CA, USA
- David Lee 0003
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [j27]Guoqiang Shu, David Lee:
A Formal Methodology for Network Protocol Fingerprinting. IEEE Trans. Parallel Distributed Syst. 22(11): 1813-1825 (2011) - [c40]Fang Yu, Vijay Gopalakrishnan, David Lee, K. K. Ramakrishnan
Nemor: A congestion-aware protocol for anonymous peer-based content distribution. Peer-to-Peer Computing 2011: 260-269
2000 – 2009
- 2009
- [e1]David Lee, Antónia Lopes, Arnd Poetzsch-Heffter:
Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5522, Springer 2009, ISBN 978-3-642-02137-4 [contents] - 2008
- [c39]Guoqiang Shu, Yating Hsu, David Lee:
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. FORTE 2008: 299-304 - [c38]Yating Hsu, Guoqiang Shu, David Lee:
A model-based approach to security flaw detection of network protocol implementations. ICNP 2008: 114-123 - [c37]Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee:
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. TestCom/FATES 2008: 119-134 - 2007
- [c36]Guoqiang Shu, David Lee:
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. ICDCS 2007: 25 - 2006
- [c35]Zhijun Liu, Guoqiang Shu, Na Li, David Lee:
Defending against Instant Messaging Worms. GLOBECOM 2006 - [c34]Guoqiang Shu, David Lee:
Network Protocol System Fingerprinting - A Formal Approach. INFOCOM 2006 - [c33]Guoqiang Shu, David Lee, Mihalis Yannakakis:
A note on broadcast encryption key management with applications to large scale emergency alert systems. IPDPS 2006 - [c32]Guoqiang Shu, David Lee:
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. TestCom 2006: 357-372 - 2004
- [j26]Ruibing Hao, David Lee, Rakesh K. Sinha, Nancy D. Griffeth:
Integrated system interoperability testing with applications to VoIP. IEEE/ACM Trans. Netw. 12(5): 823-836 (2004) - [c31]Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee:
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. FORTE 2004: 150-166 - [c30]Ruibing Hao, David Lee, Juntao Ma, Jiahai Yang:
Fault management for networks with link state routing protocols. NOMS (1) 2004: 103-116 - [c29]David Lee, Christine Liu, Mihalis Yannakakis:
Protocol System Integration, Interface and Interoperability. OPODIS 2004: 1-19 - 2002
- [j25]David Lee, Mihalis Yannakakis:
Closed Partition Lattice and Machine Decomposition. IEEE Trans. Computers 51(2): 216-228 (2002) - 2001
- [j24]David Lee, K. K. Ramakrishnan, W. Melody Moh:
Correctness and performance of the ATM ABR rate control scheme. Comput. Networks 35(2-3): 237-261 (2001) - [j23]David Lee, Henryk Wozniakowski:
A Probabilistic Analysis of Linear Operator Testing. J. Complex. 17(3): 516-540 (2001) - [j22]David Lee, Henryk Wozniakowski:
Approximate evaluations of characteristic polynomials of Boolean functions. Theor. Comput. Sci. 262(1): 37-68 (2001) - 2000
- [c28]Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha:
Integrated System Interoperability Testing with Applications to VOIP. FORTE 2000: 69-84 - [c27]Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah:
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. FORTE 2000: 249-264 - [c26]Alfred V. Aho, David Lee:
Hierarchical networks and the LSA N-squared problem in OSPF routing. GLOBECOM 2000: 397-404 - [c25]Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha:
Interoperability testing of VoIP systems. GLOBECOM 2000: 1565-1570 - [c24]Ruibing Hao, David Lee, Rakesh K. Sinha:
SOCRATES on IP router fault detection. GLOBECOM 2000: 1578-1582
1990 – 1999
- 1999
- [c23]Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi:
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE 1999: 41-56 - [c22]Cédric Besse, Ana R. Cavalli, David Lee:
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. ASE 1999: 73-80 - 1998
- [j21]David Lee, K. K. Ramakrishnan, W. Melody Moh:
A Formal Specification of the ATM ABR Rate Control Scheme. Comput. Networks 30(19): 1735-1748 (1998) - [j20]Vishwani D. Agrawal, David Lee, Henryk Wozniakowski:
Numerical computation of characteristic polynomials of Boolean functions and its applications. Numer. Algorithms 17(3-4): 261-278 (1998) - [c21]Mihalis Yannakakis, David Lee:
Testing for Finite State Systems. CSL 1998: 29-44 - [c20]Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis:
Protocol Feature Interactions. FORTE 1998: 59-74 - 1997
- [j19]Mihalis Yannakakis, David Lee:
An Efficient Algorithm for Minimizing Real-Time Transition Systems. Formal Methods Syst. Des. 11(2): 113-136 (1997) - [c19]David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John:
Passive testing and applications to network management. ICNP 1997: 113- - [c18]David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar:
Performance and Correctness of the ATM ABR Rate Control Scheme. INFOCOM 1997: 785-794 - 1996
- [j18]David Lee, Mihalis Yannakakis:
Principles and methods of testing finite state machines-a survey. Proc. IEEE 84(8): 1090-1123 (1996) - [j17]David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. IEEE Trans. Commun. 44(5): 631-640 (1996) - [c17]David Lee, Mihalis Yannakakis:
Optimization problems from feature testing of communication protocols. ICNP 1996: 66-75 - [c16]David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar:
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. ICNP 1996: 208-217 - [c15]Vishwani D. Agrawal, David Lee:
Characteristic polynomial method for verification and test of combinational circuits. VLSI Design 1996: 341-342 - 1995
- [j16]Mihalis Yannakakis, David Lee:
Testing Finite State Machines: Fault Detection. J. Comput. Syst. Sci. 50(2): 209-227 (1995) - [j15]David Lee, Henryk Wozniakowski:
Testing nonlinear operators. Numer. Algorithms 9(2): 319-342 (1995) - [j14]David Lee, Arun N. Netravali, Krishan K. Sabnani:
Protocol pruning. Proc. IEEE 83(10): 1357-1372 (1995) - [j13]A. Udaya Shankar, David Lee:
Minimum-latency transport protocols with modulo-N incarnation numbers. IEEE/ACM Trans. Netw. 3(3): 255-268 (1995) - 1994
- [j12]David Lee, Mihalis Yannakakis:
Testing Finite-State Machines: State Identification and Verification. IEEE Trans. Computers 43(3): 306-320 (1994) - 1993
- [j11]David Lee, Grzegorz W. Wasilkowski:
Discontinuity Detection and Thresholding-A Stochastic Approach. J. Complex. 9(1): 76-96 (1993) - [j10]David Lee, Grzegorz W. Wasilkowski, Rajiv Mehrotra:
A new zero-crossing-based discontinuity detector. IEEE Trans. Image Process. 2(2): 265-268 (1993) - [j9]David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani:
A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw. 1(2): 217-229 (1993) - [c14]Mihalis Yannakakis, David Lee:
An Efficient Algorithm for Minimizing Real-time Transition Systems. CAV 1993: 210-224 - [c13]A. Udaya Shankar, David Lee:
Modulo-N incarnation numbers for cache-based transport protocols. ICNP 1993: 46-54 - [c12]David Lee, Krishan K. Sabnani:
Reverse-engineering of communication protocols. ICNP 1993: 208-216 - [c11]David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar:
Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM 1993: 115-127 - 1992
- [c10]David Lee, Mihalis Yannakakis:
Online Minimization of Transition Systems (Extended Abstract). STOC 1992: 264-274 - 1991
- [j8]David Lee:
Detection, Classification, and Measurement of Discontinuities. SIAM J. Sci. Comput. 12(2): 311-341 (1991) - [j7]Alfred V. Aho, Anton T. Dahbura, David Lee, M. Ümit Uyar:
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Commun. 39(11): 1604-1615 (1991) - [c9]David Lee, Grzegorz W. Wasilkowski:
Discontinuity detection and thresholding-a stochastic approach. CVPR 1991: 208-214 - [c8]David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani:
Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97 - [c7]Mihalis Yannakakis, David Lee:
Testing Finite State Machines (Extended Abstract). STOC 1991: 476-485 - 1990
- [j6]David Lee:
Discontinuity detection from band-limited signals. J. Complex. 6(2): 170-191 (1990) - [j5]David Lee:
Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement. IEEE Trans. Pattern Anal. Mach. Intell. 12(4): 321-344 (1990)
1980 – 1989
- 1989
- [c6]David Lee:
Edge detection, classification, and measurement. CVPR 1989: 2-10 - 1988
- [j4]David Lee, Theodosios Pavlidis:
One-Dimensional Regularization with Discontinuities. IEEE Trans. Pattern Anal. Mach. Intell. 10(6): 822-829 (1988) - [c5]David Lee, Theo Pavlidis, Kai Huang:
Edge detection through residual analysis. CVPR 1988: 215-222 - [c4]David Lee:
Algorithms for shape from shading and occluding boundaries. CVPR 1988: 478-485 - [c3]David Lee:
Coping With Discontinuities In Computer Vision: Their Detection, Classification, And Measurement. ICCV 1988: 546-557 - [c2]David Lee, Anargyros Papageorgiou, Grzegorz W. Wasilkowski:
Computational Aspects Of Determining Optical Flow. ICCV 1988: 612-618 - 1987
- [j3]David Lee, Theodosios Pavlidis, Grzegorz W. Wasilkowski:
A note on the trade-off between sampling and quantization in signal processing. J. Complex. 3(4): 359-371 (1987) - 1986
- [j2]David Lee, Grzegorz W. Wasilkowski:
Approximation of linear functionals on a banach space with a Gaussian measure. J. Complex. 2(1): 12-43 (1986) - [j1]David Lee:
Fast multiplication of a recursive block Toeplitz matrix by a vector and its application. J. Complex. 2(4): 295-305 (1986) - [c1]Alfred V. Aho, David Lee:
Storing a Dynamic Sparse Table. FOCS 1986: 55-60
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-03 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: