Simon S. Lam

142 papers A* 26A 6B 17C 3Misc 3Journal 69Unranked 18
YearRankTypeTitle / Venue / Authors
2017 J jnl
Practical Network-Wide Packet Behavior Identification by AP Classifier.
IEEE/ACM Trans. Netw.
Huazhe Wang, Chen Qian, Ye Yu, Hongkun Yang, Simon S. Lam
2017 J jnl
Scalable Verification of Networks With Packet Transformers Using Atomic Predicates.
IEEE/ACM Trans. Netw.
Hongkun Yang, Simon S. Lam
2016 J jnl
A Scalable and Resilient Layer-2 Network With Ethernet Compatibility.
IEEE/ACM Trans. Netw.
Chen Qian, Simon S. Lam
2016 J jnl
Greedy Routing by Network Distance Embedding.
IEEE/ACM Trans. Netw.
Chen Qian, Simon S. Lam
2016 J jnl
Real-Time Verification of Network Properties Using Atomic Predicates.
IEEE/ACM Trans. Netw.
Hongkun Yang, Simon S. Lam
2015 A conf
Practical network-wide packet behavior identification by AP classifier.
CoNEXT
Huazhe Wang, Chen Qian, Ye Yu, Hongkun Yang, Simon S. Lam
2014 B conf
Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane.
ICNP
Hongkun Yang, Simon S. Lam
2013 J jnl
Geographic Routing in d -Dimensional Spaces With Guaranteed Delivery and Low Stretch.
IEEE/ACM Trans. Netw.
Simon S. Lam, Chen Qian
2013 B conf
Real-time verification of network properties using Atomic Predicates.
ICNP
Hongkun Yang, Simon S. Lam
2012 B conf
ROME: Routing on metropolitan-scale Ethernet.
ICNP
Chen Qian, Simon S. Lam
2011 A* conf
Geographic routing in
SIGMETRICS
Simon S. Lam, Chen Qian
2011 A conf
Greedy Distance Vector Routing.
ICDCS
Chen Qian, Simon S. Lam
2009 Misc conf
A wireless routing protocol in
SenSys
Chen Qian, Simon S. Lam, Vinod Venkataraman
2008 C conf
A Radius Geocast Routing Protocol.
HPCC
Dong-Young Lee, Eui Kyung Chung, Simon S. Lam
2008 J jnl
A wavelet-based approach to detect shared congestion.
IEEE/ACM Trans. Netw.
Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers
2008 B conf
Efficient and accurate protocols for distributed delaunay triangulation under churn.
ICNP
Dong-Young Lee, Simon S. Lam
2007 J jnl
Probabilistic region-based localization for wireless networks.
ACM SIGMOBILE Mob. Comput. Commun. Rev.
Feng Wang, Lili Qiu, Simon S. Lam
2007 A conf
Protocol Design for Dynamic Delaunay Triangulation.
ICDCS
Dong-Young Lee, Simon S. Lam
2007 Misc conf
S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks.
NSDI
Yun Mao, Feng Wang, Lili Qiu, Simon S. Lam, Jonathan M. Smith
2007 A* conf
SmartTunnel: Achieving Reliability in the Internet.
INFOCOM
Yi Li, Yin Zhang, Lili Qiu, Simon S. Lam
2006 J jnl
Failure recovery for structured p2p networks: Protocol design and performance under churn.
Comput. Networks
Simon S. Lam, Huaiyu Liu
2006 A* conf
Scalable Clustering of Internet Paths by Shared Congestion.
INFOCOM
Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers
2005 J jnl
CYRF: a theory of window-based unicast congestion control.
IEEE/ACM Trans. Netw.
Nishanth Ramakrishna Sastry, Simon S. Lam
2005 A conf
Efficient Group Rekeying Using Application-Layer Multicast.
ICDCS
X. Brian Zhang, Simon S. Lam, Huaiyu Liu
2005 B conf
Eliminating Bottlenecks in Overlay Multicast.
NETWORKING
Min Sik Kim, Yi Li, Simon S. Lam
2004 A* conf
A wavelet-based approach to detect shared congestion.
SIGCOMM
Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers
2004 C conf
Application of wavelet denoising to the detection of shared congestion in overlay multimedia networks.
MMSP
Taekhyun Kim, YongJune Shin, Edward J. Powers, Min Sik Kim, Simon S. Lam
2004 A* conf
Back to the future part 4: the internet.
SIGCOMM
Simon S. Lam
2004 J jnl
Back to the future part 4: the internet.
Comput. Commun. Rev.
Simon S. Lam
2004 B conf
Consistency-Preserving Neighbor Table Optimization for P2P Networks.
ICPADS
Huaiyu Liu, Simon S. Lam
2004 A* conf
Failure recovery for structured P2P networks: protocol design and performance evaluation.
SIGMETRICS
Simon S. Lam, Huaiyu Liu
2004 J jnl
Group rekeying with limited unicast recovery.
Comput. Networks
X. Brian Zhang, Simon S. Lam, Dong-Young Lee
2003 — conf
Group rekeying with limited unicast recovery.
ICC
X. Brian Zhang, Simon S. Lam, Dong-Young Lee
2003 A conf
Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network.
ICDCS
Huaiyu Liu, Simon S. Lam
2003 A conf
Optimal Distribution Tree for Internet Streaming Media.
ICDCS
Min Sik Kim, Simon S. Lam, Dong-Young Lee
2003 J jnl
Protocol design for scalable and reliable group rekeying.
IEEE/ACM Trans. Netw.
X. Brian Zhang, Simon S. Lam, Dong-Young Lee, Yang Richard Yang
2003 J jnl
Transient behaviors of TCP-friendly congestion control protocols.
Comput. Networks
Yang Richard Yang, Min Sik Kim, Simon S. Lam
2002 B conf
A Theory of Window-Based Unicast Congestion Control.
ICNP
Nishanth Ramakrishna Sastry, Simon S. Lam
2001 A* conf
Batch rekeying for secure group communications.
WWW
Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam
2001 A* conf
Reliable group rekeying: a performance analysis.
SIGCOMM
Yang Richard Yang, Xiaozhou (Steve) Li, X. Brian Zhang, Simon S. Lam
2001 — conf
Towards scalable and reliable group key management.
SIGMETRICS/Performance
Yang Richard Yang, Xiaozhou (Steve) Li, Simon S. Lam, Xincheng Zhang
2001 A* conf
Transient Behaviors of TCP-friendly Congestion Control Protocols.
INFOCOM
Yang Richard Yang, Min Sik Kim, Simon S. Lam
2000 B conf
General AIMD Congestion Control.
ICNP
Yang Richard Yang, Simon S. Lam
2000 B conf
Optimal Partitioning of Multicast Receivers.
ICNP
Yang Richard Yang, Min Sik Kim, Simon S. Lam
2000 J jnl
Secure group communications using key graphs.
IEEE/ACM Trans. Netw.
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
1999 J jnl
Digital signatures for flows and multicasts.
IEEE/ACM Trans. Netw.
Chung Kei Wong, Simon S. Lam
1998 A* conf
Designing a Distributed Authorization Service.
INFOCOM
Thomas Y. C. Woo, Simon S. Lam
1998 B conf
Digital Signatures for Flows and Multicasts.
ICNP
Chung Kei Wong, Simon S. Lam
1998 J jnl
Migrating sockets-end system support for networking with quality of service guarantees.
IEEE/ACM Trans. Netw.
David K. Y. Yau, Simon S. Lam
1998 J jnl
Operating system support for distributed multimedia.
Int. J. Intell. Syst.
David K. Y. Yau, Simon S. Lam
1998 J jnl
Real-time block transfer under a link-sharing hierarchy.
IEEE/ACM Trans. Netw.
Geoffrey G. Xie, Simon S. Lam
1998 A* conf
Secure Group Communications Using Key Graphs.
SIGCOMM
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
1997 J jnl
Adaptive rate-controlled scheduling for multimedia applications.
IEEE/ACM Trans. Netw.
David K. Y. Yau, Simon S. Lam
1997 B conf
Admission Control and Loss Management for an Application-Level Statistical Service.
ICNP
Geoffrey G. Xie, Simon S. Lam
1997 J jnl
An efficient network architecture motivated by application-level QoS.
J. High Speed Networks
Geoffrey G. Xie, Simon S. Lam
1997 J jnl
Burst Scheduling Networks.
Perform. Evaluation
Simon S. Lam, Geoffrey G. Xie
1997 J jnl
Determining End-to-End Delay Bounds in Heterogeneous Networks.
Multim. Syst.
Pawan Goyal, Simon S. Lam, Harrick M. Vin
1997 J jnl
Group priority scheduling.
IEEE/ACM Trans. Netw.
Simon S. Lam, Geoffrey G. Xie
1997 B conf
Migrating Sockets for networking with quality of service guarantees.
ICNP
David K. Y. Yau, Simon S. Lam
1997 A* conf
Real-Time Block Transfer under a Link Sharing Hierarchy.
INFOCOM
Geoffrey G. Xie, Simon S. Lam
1996 J jnl
A lossless smoothing algorithm for compressed video.
IEEE/ACM Trans. Netw.
Simon S. Lam, Simon Chow, David K. Y. Yau
1996 A* conf
Adaptive Rate-Controlled Scheduling for Multimedia Applications.
ACM Multimedia
David K. Y. Yau, Simon S. Lam
1996 B conf
An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic.
ICNP
Geoffrey G. Xie, Simon S. Lam
1996 J jnl
Genetic Algorithm with Pigeon-Hole Coding Scheme for Solving Sequencing Problems.
Appl. Artif. Intell.
Simon S. Lam
1996 A* conf
Group Priority Scheduling.
INFOCOM
Simon S. Lam, Geoffrey G. Xie
1995 B conf
Burst Scheduling Networks: Flow Specification and Performance Guarantees.
NOSSDAV
Simon S. Lam, Geoffrey G. Xie
1995 A* conf
Burst Scheduling: Architecture and Algorithm for Switching Packet Video.
INFOCOM
Simon S. Lam, Geoffrey G. Xie
1995 J jnl
Delay guarantee of virtual clock server.
IEEE/ACM Trans. Netw.
Geoffrey G. Xie, Simon S. Lam
1995 B conf
Determining End-to-End Delay Bounds in Heterogeneous Networks.
NOSSDAV
Pawan Goyal, Simon S. Lam, Harrick M. Vin
1994 J jnl
A Lesson on Authentication Protocol Design.
ACM SIGOPS Oper. Syst. Rev.
Thomas Y. C. Woo, Simon S. Lam
1994 J jnl
A Theory of Interfaces and Modules I-Composition Theorem.
IEEE Trans. Software Eng.
Simon S. Lam, A. Udaya Shankar
1994 A* conf
An Algorithm for Lossless Smoothing of MPEG Video.
SIGCOMM
Simon S. Lam, Simon Chow, David K. Y. Yau
1994 B conf
Design, verification and implementation of an authentication protocol.
ICNP
Thomas Y. C. Woo, Simon S. Lam
1994 — conf
SNP: An Interface for Secure Network Programming.
USENIX Summer
Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su, Simon S. Lam
1993 A* conf
A Framework for Distributed Authorization.
CCS
Thomas Y. C. Woo, Simon S. Lam
1993 — conf
A semantic model for authentication protocols.
S&P
Thomas Y. C. Woo, Simon S. Lam
1993 J jnl
Authorizations in Distributed Systems: A New Approach.
J. Comput. Secur.
Thomas Y. C. Woo, Simon S. Lam
1993 B conf
Verifying authentication protocols: methodology and example.
ICNP
Thomas Y. C. Woo, Simon S. Lam
1992 J jnl
A Stepwise Refinement Heuristic for Protocol Construction.
ACM Trans. Program. Lang. Syst.
A. Udaya Shankar, Simon S. Lam
1992 J jnl
Authentification for Distributed Systems.
Computer
Thomas Y. C. Woo, Simon S. Lam
1992 — conf
Authorization in distributed systems: a formal approach.
S&P
Thomas Y. C. Woo, Simon S. Lam
1992 J jnl
Specifying Modules to Satisfy Interfaces: A State Transition System Approach.
Distributed Comput.
Simon S. Lam, A. Udaya Shankar
1991 — conf
A Composition Theorem for Layered Systems.
PSTV
Simon S. Lam, A. Udaya Shankar
1991 — conf
Applying a Theory of Modules and Interfaces to Security Verification.
S&P
Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo
1991 J jnl
Specification of Real-Time Broadcast Networks.
IEEE Trans. Computers
Pradeep Jain, Simon S. Lam
1991 C conf
Understanding Interfaces.
FORTE
Simon S. Lam, A. Udaya Shankar
1990 J jnl
A Relational Notation for State Transition Systems.
IEEE Trans. Software Eng.
Simon S. Lam, A. Udaya Shankar
1990 A* conf
Adaptors for Protocol Conversion.
INFOCOM
Kenneth L. Calvert, Simon S. Lam
1990 J jnl
Formal Methods for Protocol Conversion.
IEEE J. Sel. Areas Commun.
Kenneth L. Calvert, Simon S. Lam
1989 — conf
Construction of Network Protocols by Stepwise Refinement.
REX Workshop
A. Udaya Shankar, Simon S. Lam
1989 A* conf
Deriving a Protocol Converter: A Top-Down Method.
SIGCOMM
Kenneth L. Calvert, Simon S. Lam
1989 J jnl
PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks.
Perform. Evaluation
Ching-Tarng Hsieh, Simon S. Lam
1989 — conf
Refinement and Projection of Relational Specifications.
REX Workshop
Simon S. Lam, A. Udaya Shankar
1988 J jnl
Correction to "Protocol Conversion".
IEEE Trans. Software Eng.
Simon S. Lam
1988 A* conf
PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks.
SIGMETRICS
Ching-Tarng Hsieh, Simon S. Lam
1988 J jnl
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.
IEEE Trans. Software Eng.
Ching-Hua Chow, Simon S. Lam
1988 J jnl
Protocol Conversion.
IEEE Trans. Software Eng.
Simon S. Lam
1988 A* conf
Specification and verification of collusion-free broadcast networks.
SIGCOMM
Pradeep Jain, Simon S. Lam
1987 J jnl
An exercise in deriving a protocol conversion.
Comput. Commun. Rev.
Kenneth L. Calvert, Simon S. Lam
1987 J jnl
Modeling and Verification of Real-Time Protocols for Broadcast Networks.
IEEE Trans. Software Eng.
Pradeep Jain, Simon S. Lam
1987 J jnl
Modeling, analysis, and optimal routing of flow-controlled communication networks.
Comput. Commun. Rev.
Simon S. Lam, Ching-Tarng Hsieh
1987 J jnl
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties.
Distributed Comput.
A. Udaya Shankar, Simon S. Lam
1987 J jnl
Two Classes of Performance Bounds for Closed Queueing Networks.
Perform. Evaluation
Ching-Tarng Hsieh, Simon S. Lam
1986 A* conf
Protocol conversion - correctness problems.
SIGCOMM
Simon S. Lam
1985 J jnl
A Discipline for Constructing Multiphase Communication Protocols
ACM Trans. Comput. Syst.
Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam
1984 J jnl
An exercise in constructing multi-phase communication protocols.
Comput. Commun. Rev.
Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam
1984 — conf
On Constructing Multi-Phase Communication Protocols.
PSTV
Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam
1984 — conf
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.
PSTV
Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam
1984 J jnl
Protocol Verification via Projections.
IEEE Trans. Software Eng.
Simon S. Lam, A. Udaya Shankar
1984 — conf
Specification and Verification of Time-Dependant Communication Protocols.
PSTV
A. Udaya Shankar, Simon S. Lam
1983 J jnl
A Simple Derivation of the MVA and LBANC Algorithms from the Convolution Algorithm.
IEEE Trans. Computers
Simon S. Lam
1983 J jnl
A Tree Convolution Algorithm for the Solution of Queueing Networks.
Commun. ACM
Simon S. Lam, Luke Yeong-Chang Lien
1983 J jnl
An HDLC Protocol Specification and Its Verification Using Image Protocols
ACM Trans. Comput. Syst.
A. Udaya Shankar, Simon S. Lam
1983 A* ed.
Proceedings of the symposium on Communications Architectures & Protocols, SIGCOMM 1983, Austin, Texas, USA, March 8-9, 1983
SIGCOMM
David C. Wood, Simon S. Lam
1983 A* conf
Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer.
SIGCOMM
A. Udaya Shankar, Simon S. Lam
1982 — conf
An Illustration of Protocol Projections.
PSTV
Simon S. Lam, A. Udaya Shankar
1982 J jnl
Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants.
J. ACM
Simon S. Lam
1982 — conf
On Time-Dependent Communication Protocols and Their Projections.
PSTV
A. Udaya Shankar, Simon S. Lam
1982 A* conf
Optimal Routing in Networks With Flow-Controlled Virtual Channels.
SIGMETRICS
Simon S. Lam, Luke Yeong-Chang Lien
1982 J jnl
Queueing network models of packet switching networks part 2: Networks with population size constraints.
Perform. Evaluation
Simon S. Lam, Johnny W. Wong
1982 J jnl
Queuing network models of packet switching networks part 1: Open networks.
Perform. Evaluation
Johnny W. Wong, Simon S. Lam
1981 J jnl
A derivation of response time distributions for a multi-class feedback queueing systems.
Perform. Evaluation
Simon S. Lam, A. Udaya Shankar
1981 J jnl
Behavior of the normalization constant and a scaling technique for product-form queueing networks.
Perform. Evaluation
Simon S. Lam
1981 J jnl
Congestion Control of Packet Communication Networks by Input Buffer Limits - A Simulation Study.
IEEE Trans. Computers
Simon S. Lam, Luke Yeong-Chang Lien
1981 A* conf
Modeling and analysis of flow controlled packet switching networks.
SIGCOMM
Simon S. Lam, Luke Yeong-Chang Lien
1980 J jnl
A Carrier Sense Multiple Access Protocol for Local Networks.
Comput. Networks
Simon S. Lam
1980 J jnl
Packet Broadcast Networks - A Performance Analysis of the R-ALOHA Protocol.
IEEE Trans. Computers
Simon S. Lam
1980 Misc conf
Response time distributions for a multi-class queue with feedback.
Performance
Simon S. Lam, A. Udaya Shankar
1979 — conf
A Study of the CSMA Protocol in Local Networks.
Berkeley Workshop
Simon S. Lam
1979 J jnl
Congestion Control of Store-and-Forward Networks by Input Buffer Limits-An Analysis.
IEEE Trans. Commun.
Simon S. Lam, Martin Reiser
1979 J jnl
Satellite Packet Communication-Multiple Access Protocols and Performance.
IEEE Trans. Commun.
Simon S. Lam
1978 J jnl
A New Measure for Charcterizing Data Traffic.
IEEE Trans. Commun.
Simon S. Lam
1977 J jnl
An Extension of Moore's Result for Closed Queuing Networks.
IBM J. Res. Dev.
Simon S. Lam
1977 J jnl
Delay Analysis of a Time Division Multiple Access (TDMA) Channel.
IEEE Trans. Commun.
Simon S. Lam
1977 J jnl
Queuing Networks with Population Size Constraints.
IBM J. Res. Dev.
Simon S. Lam
1976 J jnl
Buffer Overflow in a Store-and-Forward Network Node.
IBM J. Res. Dev.
Paul J. Schweitzer, Simon S. Lam
1976 J jnl
Store-and-Forward Buffer Requirements in a Packet Switching Network.
IEEE Trans. Commun.
Simon S. Lam
1975 — conf
Dynamic control schemes for a packet switched multi-access broadcast channel.
AFIPS National Computer Conference
Simon S. Lam, Leonard Kleinrock
1975 J jnl
Packet Switching in a Multiaccess Broadcast Channel: Dynamic Control Procedures.
IEEE Trans. Commun.
Simon S. Lam, Leonard Kleinrock
1975 J jnl
Packet Switching in a Multiaccess Broadcast Channel: Performance Evaluation.
IEEE Trans. Commun.
Leonard Kleinrock, Simon S. Lam
1973 — conf
Computer data communication: Packet switching in a slotted satellite channel.
ACM Annual Conference
Simon S. Lam
1973 — conf
Packet-switching in a slotted satellite channel.
AFIPS National Computer Conference
Leonard Kleinrock, Simon S. Lam