David Lee - RankMe

68 papers A* 15A 2B 12C 6Misc 1Journal 27Unranked 4

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	A Formal Methodology for Network Protocol Fingerprinting. IEEE Trans. Parallel Distributed Syst. Guoqiang Shu, David Lee
2011	—	`conf`	Nemor: A congestion-aware protocol for anonymous peer-based content distribution. Peer-to-Peer Computing Fang Yu, Vijay Gopalakrishnan, David Lee, K. K. Ramakrishnan
2009	—	`ed.`	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 FMOODS/FORTE David Lee, Antónia Lopes, Arnd Poetzsch-Heffter
2008	B	`conf`	A model-based approach to security flaw detection of network protocol implementations. ICNP Yating Hsu, Guoqiang Shu, David Lee
2008	C	`conf`	Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. FORTE Guoqiang Shu, Yating Hsu, David Lee
2008	—	`conf`	VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. TestCom/FATES Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee
2007	A	`conf`	Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. ICDCS Guoqiang Shu, David Lee
2006	A	`conf`	A note on broadcast encryption key management with applications to large scale emergency alert systems. IPDPS Guoqiang Shu, David Lee, Mihalis Yannakakis
2006	B	`conf`	Defending against Instant Messaging Worms. GLOBECOM Zhijun Liu, Guoqiang Shu, Na Li, David Lee
2006	—	`conf`	Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. TestCom Guoqiang Shu, David Lee
2006	A*	`conf`	Network Protocol System Fingerprinting - A Formal Approach. INFOCOM Guoqiang Shu, David Lee
2004	—	`conf`	Fault management for networks with link state routing protocols. NOMS (1) Ruibing Hao, David Lee, Juntao Ma, Jiahai Yang
2004	J	`jnl`	Integrated system interoperability testing with applications to VoIP. IEEE/ACM Trans. Netw. Ruibing Hao, David Lee, Rakesh K. Sinha, Nancy D. Griffeth
2004	C	`conf`	Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. FORTE Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee
2004	B	`conf`	Protocol System Integration, Interface and Interoperability. OPODIS David Lee, Christine Liu, Mihalis Yannakakis
2002	J	`jnl`	Closed Partition Lattice and Machine Decomposition. IEEE Trans. Computers David Lee, Mihalis Yannakakis
2001	J	`jnl`	A Probabilistic Analysis of Linear Operator Testing. J. Complex. David Lee, Henryk Wozniakowski
2001	J	`jnl`	Approximate evaluations of characteristic polynomials of Boolean functions. Theor. Comput. Sci. David Lee, Henryk Wozniakowski
2001	J	`jnl`	Correctness and performance of the ATM ABR rate control scheme. Comput. Networks David Lee, K. K. Ramakrishnan, W. Melody Moh
2000	B	`conf`	Hierarchical networks and the LSA N-squared problem in OSPF routing. GLOBECOM Alfred V. Aho, David Lee
2000	C	`conf`	Integrated System Interoperability Testing with Applications to VOIP. FORTE Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
2000	B	`conf`	Interoperability testing of VoIP systems. GLOBECOM Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
2000	B	`conf`	SOCRATES on IP router fault detection. GLOBECOM Ruibing Hao, David Lee, Rakesh K. Sinha
2000	C	`conf`	Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. FORTE Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah
1999	A*	`conf`	An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. ASE Cédric Besse, Ana R. Cavalli, David Lee
1999	C	`conf`	Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
1998	J	`jnl`	A Formal Specification of the ATM ABR Rate Control Scheme. Comput. Networks David Lee, K. K. Ramakrishnan, W. Melody Moh
1998	J	`jnl`	Numerical computation of characteristic polynomials of Boolean functions and its applications. Numer. Algorithms Vishwani D. Agrawal, David Lee, Henryk Wozniakowski
1998	C	`conf`	Protocol Feature Interactions. FORTE Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis
1998	B	`conf`	Testing for Finite State Systems. CSL Mihalis Yannakakis, David Lee
1997	J	`jnl`	An Efficient Algorithm for Minimizing Real-Time Transition Systems. Formal Methods Syst. Des. Mihalis Yannakakis, David Lee
1997	B	`conf`	Passive testing and applications to network management. ICNP David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John
1997	A*	`conf`	Performance and Correctness of the ATM ABR Rate Control Scheme. INFOCOM David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
1996	Misc	`conf`	Characteristic polynomial method for verification and test of combinational circuits. VLSI Design Vishwani D. Agrawal, David Lee
1996	J	`jnl`	Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. IEEE Trans. Commun. David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul
1996	B	`conf`	Optimization problems from feature testing of communication protocols. ICNP David Lee, Mihalis Yannakakis
1996	J	`jnl`	Principles and methods of testing finite state machines-a survey. Proc. IEEE David Lee, Mihalis Yannakakis
1996	B	`conf`	Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. ICNP David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
1995	J	`jnl`	Minimum-latency transport protocols with modulo- IEEE/ACM Trans. Netw. A. Udaya Shankar, David Lee
1995	J	`jnl`	Protocol pruning. Proc. IEEE David Lee, Arun N. Netravali, Krishan K. Sabnani
1995	J	`jnl`	Testing Finite State Machines: Fault Detection. J. Comput. Syst. Sci. Mihalis Yannakakis, David Lee
1995	J	`jnl`	Testing nonlinear operators. Numer. Algorithms David Lee, Henryk Wozniakowski
1994	J	`jnl`	Testing Finite-State Machines: State Identification and Verification. IEEE Trans. Computers David Lee, Mihalis Yannakakis
1993	J	`jnl`	A new zero-crossing-based discontinuity detector. IEEE Trans. Image Process. David Lee, Grzegorz W. Wasilkowski, Rajiv Mehrotra
1993	J	`jnl`	A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw. David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
1993	A*	`conf`	An Efficient Algorithm for Minimizing Real-time Transition Systems. CAV Mihalis Yannakakis, David Lee
1993	A*	`conf`	Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar
1993	J	`jnl`	Discontinuity Detection and Thresholding-A Stochastic Approach. J. Complex. David Lee, Grzegorz W. Wasilkowski
1993	B	`conf`	Modulo-N incarnation numbers for cache-based transport protocols. ICNP A. Udaya Shankar, David Lee
1993	B	`conf`	Reverse-engineering of communication protocols. ICNP David Lee, Krishan K. Sabnani
1992	A*	`conf`	Online Minimization of Transition Systems (Extended Abstract) STOC David Lee, Mihalis Yannakakis
1991	J	`jnl`	An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Commun. Alfred V. Aho, Anton T. Dahbura, David Lee, M. Ümit Uyar
1991	J	`jnl`	Detection, Classification, and Measurement of Discontinuities. SIAM J. Sci. Comput. David Lee
1991	A*	`conf`	Discontinuity detection and thresholding-a stochastic approach. CVPR David Lee, Grzegorz W. Wasilkowski
1991	A*	`conf`	Efficient Gateway Synthesis from Formal Specifications. SIGCOMM David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
1991	A*	`conf`	Testing Finite State Machines (Extended Abstract) STOC Mihalis Yannakakis, David Lee
1990	J	`jnl`	Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement. IEEE Trans. Pattern Anal. Mach. Intell. David Lee
1990	J	`jnl`	Discontinuity detection from band-limited signals. J. Complex. David Lee
1989	A*	`conf`	Edge detection, classification, and measurement. CVPR David Lee
1988	A*	`conf`	Algorithms for shape from shading and occluding boundaries. CVPR David Lee
1988	A*	`conf`	Computational Aspects Of Determining Optical Flow. ICCV David Lee, Anargyros Papageorgiou, Grzegorz W. Wasilkowski
1988	A*	`conf`	Coping With Discontinuities In Computer Vision: Their Detection, Classification, And Measurement. ICCV David Lee
1988	A*	`conf`	Edge detection through residual analysis. CVPR David Lee, Theo Pavlidis, Kai Huang
1988	J	`jnl`	One-Dimensional Regularization with Discontinuities. IEEE Trans. Pattern Anal. Mach. Intell. David Lee, Theodosios Pavlidis
1987	J	`jnl`	A note on the trade-off between sampling and quantization in signal processing. J. Complex. David Lee, Theodosios Pavlidis, Grzegorz W. Wasilkowski
1986	J	`jnl`	Approximation of linear functionals on a banach space with a Gaussian measure. J. Complex. David Lee, Grzegorz W. Wasilkowski
1986	J	`jnl`	Fast multiplication of a recursive block Toeplitz matrix by a vector and its application. J. Complex. David Lee
1986	A*	`conf`	Storing a Dynamic Sparse Table FOCS Alfred V. Aho, David Lee