Simon S. Lam

According to our database, Simon S. Lam authored at least 128 papers between 1973 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Scalable Verification of Networks With Packet Transformers Using Atomic Predicates.

Hongkun Yang, Simon S. Lam

IEEE/ACM Trans. Netw., 2017

Practical Network-Wide Packet Behavior Identification by AP Classifier.

Huazhe Wang, Chen Qian, Ye Yu, Hongkun Yang, Simon S. Lam

IEEE/ACM Trans. Netw., 2017

2016

Real-Time Verification of Network Properties Using Atomic Predicates.

Hongkun Yang, Simon S. Lam

IEEE/ACM Trans. Netw., 2016

Greedy Routing by Network Distance Embedding.

Chen Qian, Simon S. Lam

IEEE/ACM Trans. Netw., 2016

A Scalable and Resilient Layer-2 Network With Ethernet Compatibility.

Chen Qian, Simon S. Lam

IEEE/ACM Trans. Netw., 2016

2014

Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane.

Hongkun Yang, Simon S. Lam

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

2013

Geographic Routing in d -Dimensional Spaces With Guaranteed Delivery and Low Stretch.

Simon S. Lam, Chen Qian

IEEE/ACM Trans. Netw., 2013

2012

ROME: Routing on metropolitan-scale Ethernet.

Chen Qian, Simon S. Lam

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

2011

Geographic routing in <i>d</i>-dimensional spaces with guaranteed delivery and low stretch.

Simon S. Lam, Chen Qian

Proceedings of the SIGMETRICS 2011, 2011

Greedy Distance Vector Routing.

Chen Qian, Simon S. Lam

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2009

A wireless routing protocol in <i>d</i>-dimensional spaces.

Chen Qian, Simon S. Lam, Vinod Venkataraman

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

2008

A wavelet-based approach to detect shared congestion.

Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers

IEEE/ACM Trans. Netw., 2008

Efficient and accurate protocols for distributed delaunay triangulation under churn.

Dong-Young Lee, Simon S. Lam

Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008

A Radius Geocast Routing Protocol.

Dong-Young Lee, Eui Kyung Chung, Simon S. Lam

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

2007

Probabilistic region-based localization for wireless networks.

Feng Wang, Lili Qiu, Simon S. Lam

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2007

S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks.

Yun Mao, Feng Wang, Lili Qiu, Simon S. Lam, Jonathan M. Smith

Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

SmartTunnel: Achieving Reliability in the Internet.

Yi Li, Yin Zhang, Lili Qiu, Simon S. Lam

Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007

Protocol Design for Dynamic Delaunay Triangulation.

Dong-Young Lee, Simon S. Lam

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006

Failure recovery for structured p2p networks: Protocol design and performance under churn.

Simon S. Lam, Huaiyu Liu

Comput. Networks, 2006

Scalable Clustering of Internet Paths by Shared Congestion.

Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers

Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

2005

CYRF: a theory of window-based unicast congestion control.

Nishanth Ramakrishna Sastry, Simon S. Lam

IEEE/ACM Trans. Netw., 2005

Eliminating Bottlenecks in Overlay Multicast.

Min Sik Kim, Yi Li, Simon S. Lam

Proceedings of the NETWORKING 2005: Networking Technologies, 2005

Efficient Group Rekeying Using Application-Layer Multicast.

X. Brian Zhang, Simon S. Lam, Huaiyu Liu

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

2004

Group rekeying with limited unicast recovery.

X. Brian Zhang, Simon S. Lam, Dong-Young Lee

Comput. Networks, 2004

Back to the future part 4: the internet.

Simon S. Lam

Comput. Commun. Rev., 2004

Failure recovery for structured P2P networks: protocol design and performance evaluation.

Simon S. Lam, Huaiyu Liu

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

Application of wavelet denoising to the detection of shared congestion in overlay multimedia networks.

Taekhyun Kim, YongJune Shin, Edward J. Powers, Min Sik Kim, Simon S. Lam

Proceedings of the IEEE 6th Workshop on Multimedia Signal Processing, 2004

Consistency-Preserving Neighbor Table Optimization for P2P Networks.

Huaiyu Liu, Simon S. Lam

Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

2003

Protocol design for scalable and reliable group rekeying.

X. Brian Zhang, Simon S. Lam, Dong-Young Lee, Yang Richard Yang

IEEE/ACM Trans. Netw., 2003

Transient behaviors of TCP-friendly congestion control protocols.

Yang Richard Yang, Min Sik Kim, Simon S. Lam

Comput. Networks, 2003

Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network.

Huaiyu Liu, Simon S. Lam

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Optimal Distribution Tree for Internet Streaming Media.

Min Sik Kim, Simon S. Lam, Dong-Young Lee

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

A Theory of Window-Based Unicast Congestion Control.

Nishanth Ramakrishna Sastry, Simon S. Lam

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001

Batch rekeying for secure group communications.

Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam

Proceedings of the Tenth International World Wide Web Conference, 2001

Towards scalable and reliable group key management.

Yang Richard Yang, Xiaozhou (Steve) Li, Simon S. Lam, Xincheng Zhang

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

Reliable group rekeying: a performance analysis.

Yang Richard Yang, Xiaozhou (Steve) Li, X. Brian Zhang, Simon S. Lam

Proceedings of the ACM SIGCOMM 2001 Conference on Applications, 2001

2000

Secure group communications using key graphs.

Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam

IEEE/ACM Trans. Netw., 2000

General AIMD Congestion Control.

Yang Richard Yang, Simon S. Lam

Proceedings of the Eighth Annual International Conference on Network Protocols, 2000

Optimal Partitioning of Multicast Receivers.

Yang Richard Yang, Min Sik Kim, Simon S. Lam

Proceedings of the Eighth Annual International Conference on Network Protocols, 2000

1999

Digital signatures for flows and multicasts.

Chung Kei Wong, Simon S. Lam

IEEE/ACM Trans. Netw., 1999

1998

Migrating sockets-end system support for networking with quality of service guarantees.

David K. Y. Yau, Simon S. Lam

IEEE/ACM Trans. Netw., 1998

Real-time block transfer under a link-sharing hierarchy.

Geoffrey G. Xie, Simon S. Lam

IEEE/ACM Trans. Netw., 1998

Operating system support for distributed multimedia.

David K. Y. Yau, Simon S. Lam

Int. J. Intell. Syst., 1998

Designing a Distributed Authorization Service.

Thomas Y. C. Woo, Simon S. Lam

Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1997

Adaptive rate-controlled scheduling for multimedia applications.

David K. Y. Yau, Simon S. Lam

IEEE/ACM Trans. Netw., 1997

Group priority scheduling.

Simon S. Lam, Geoffrey G. Xie

IEEE/ACM Trans. Netw., 1997

Burst Scheduling Networks.

Simon S. Lam, Geoffrey G. Xie

Perform. Evaluation, 1997

Determining End-to-End Delay Bounds in Heterogeneous Networks.

Pawan Goyal, Simon S. Lam, Harrick M. Vin

Multim. Syst., 1997

An efficient network architecture motivated by application-level QoS.

Geoffrey G. Xie, Simon S. Lam

J. High Speed Networks, 1997

Migrating Sockets for networking with quality of service guarantees.

David K. Y. Yau, Simon S. Lam

Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

Admission Control and Loss Management for an Application-Level Statistical Service.

Geoffrey G. Xie, Simon S. Lam

Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

1996

A lossless smoothing algorithm for compressed video.

Simon S. Lam, Simon Chow, David K. Y. Yau

IEEE/ACM Trans. Netw., 1996

Genetic Algorithm with Pigeon-Hole Coding Scheme for Solving Sequencing Problems.

Simon S. Lam

Appl. Artif. Intell., 1996

An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic.

Geoffrey G. Xie, Simon S. Lam

Proceedings of the 1996 International Conference on Network Protocols, 1996

1995

Delay guarantee of virtual clock server.

Geoffrey G. Xie, Simon S. Lam

IEEE/ACM Trans. Netw., 1995

Burst Scheduling Networks: Flow Specification and Performance Guarantees.

Simon S. Lam, Geoffrey G. Xie

Proceedings of the Network and Operating System Support for Digital Audio and Video, 1995

Burst Scheduling: Architecture and Algorithm for Switching Packet Video.

Simon S. Lam, Geoffrey G. Xie

Proceedings of the Proceedings IEEE INFOCOM '95, 1995

1994

A Theory of Interfaces and Modules I-Composition Theorem.

Simon S. Lam, A. Udaya Shankar

IEEE Trans. Software Eng., 1994

A Lesson on Authentication Protocol Design.

Thomas Y. C. Woo, Simon S. Lam

ACM SIGOPS Oper. Syst. Rev., 1994

SNP: An Interface for Secure Network Programming.

Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su, Simon S. Lam

Proceedings of the USENIX Summer 1994 Technical Conference, 1994

An Algorithm for Lossless Smoothing of MPEG Video.

Simon S. Lam, Simon Chow, David K. Y. Yau

Proceedings of the ACM SIGCOMM 1994 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31, 1994

Design, verification and implementation of an authentication protocol.

Thomas Y. C. Woo, Simon S. Lam

Proceedings of the 1994 International Conference on Network Protocols, 1994

1993

Authorizations in Distributed Systems: A New Approach.

Thomas Y. C. Woo, Simon S. Lam

J. Comput. Secur., 1993

A semantic model for authentication protocols.

Thomas Y. C. Woo, Simon S. Lam

Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993

Verifying authentication protocols: methodology and example.

Thomas Y. C. Woo, Simon S. Lam

Proceedings of the 1993 International Conference on Network Protocols, 1993

A Framework for Distributed Authorization.

Thomas Y. C. Woo, Simon S. Lam

Proceedings of the CCS '93, 1993

1992

A Stepwise Refinement Heuristic for Protocol Construction.

A. Udaya Shankar, Simon S. Lam

ACM Trans. Program. Lang. Syst., 1992

Specifying Modules to Satisfy Interfaces: A State Transition System Approach.

Simon S. Lam, A. Udaya Shankar

Distributed Comput., 1992

Authentification for Distributed Systems.

Thomas Y. C. Woo, Simon S. Lam

Computer, 1992

Authorization in distributed systems: a formal approach.

Thomas Y. C. Woo, Simon S. Lam

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

1991

Specification of Real-Time Broadcast Networks.

Pradeep Jain, Simon S. Lam

IEEE Trans. Computers, 1991

Applying a Theory of Modules and Interfaces to Security Verification.

Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

A Composition Theorem for Layered Systems.

Simon S. Lam, A. Udaya Shankar

Proceedings of the Protocol Specification, 1991

Understanding Interfaces.

Simon S. Lam, A. Udaya Shankar

Proceedings of the Formal Description Techniques, 1991

1990

A Relational Notation for State Transition Systems.

Simon S. Lam, A. Udaya Shankar

IEEE Trans. Software Eng., 1990

Formal Methods for Protocol Conversion.

Kenneth L. Calvert, Simon S. Lam

IEEE J. Sel. Areas Commun., 1990

Adaptors for Protocol Conversion.

Kenneth L. Calvert, Simon S. Lam

Proceedings of the Proceedings IEEE INFOCOM '90, 1990

1989

PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks.

Ching-Tarng Hsieh, Simon S. Lam

Perform. Evaluation, 1989

Deriving a Protocol Converter: A Top-Down Method.

Kenneth L. Calvert, Simon S. Lam

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

Construction of Network Protocols by Stepwise Refinement.

A. Udaya Shankar, Simon S. Lam

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Refinement and Projection of Relational Specifications.

Simon S. Lam, A. Udaya Shankar

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1988

Correction to "Protocol Conversion".

Simon S. Lam

IEEE Trans. Software Eng., 1988

Protocol Conversion.

Simon S. Lam

IEEE Trans. Software Eng., 1988

PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.

Ching-Hua Chow, Simon S. Lam

IEEE Trans. Software Eng., 1988

Specification and verification of collusion-free broadcast networks.

Pradeep Jain, Simon S. Lam

Proceedings of the ACM Symposium on Communications Architectures and Protocols, 1988

1987

Modeling and Verification of Real-Time Protocols for Broadcast Networks.

Pradeep Jain, Simon S. Lam

IEEE Trans. Software Eng., 1987

Two Classes of Performance Bounds for Closed Queueing Networks.

Ching-Tarng Hsieh, Simon S. Lam

Perform. Evaluation, 1987

Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties.

A. Udaya Shankar, Simon S. Lam

Distributed Comput., 1987

Modeling, analysis, and optimal routing of flow-controlled communication networks.

Simon S. Lam, Ching-Tarng Hsieh

Comput. Commun. Rev., 1987

An exercise in deriving a protocol conversion.

Kenneth L. Calvert, Simon S. Lam

Comput. Commun. Rev., 1987

1986

Protocol conversion - correctness problems.

Simon S. Lam

Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

1985

A Discipline for Constructing Multiphase Communication Protocols

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam

ACM Trans. Comput. Syst., 1985

1984

Protocol Verification via Projections.

Simon S. Lam, A. Udaya Shankar

IEEE Trans. Software Eng., 1984

An exercise in constructing multi-phase communication protocols.

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam

Comput. Commun. Rev., 1984

Specification and Verification of Time-Dependant Communication Protocols.

A. Udaya Shankar, Simon S. Lam

Proceedings of the Protocol Specification, 1984

On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.

Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam

Proceedings of the Protocol Specification, 1984

On Constructing Multi-Phase Communication Protocols.

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam

Proceedings of the Protocol Specification, 1984

1983

An HDLC Protocol Specification and Its Verification Using Image Protocols

A. Udaya Shankar, Simon S. Lam

ACM Trans. Comput. Syst., 1983

A Simple Derivation of the MVA and LBANC Algorithms from the Convolution Algorithm.

Simon S. Lam

IEEE Trans. Computers, 1983

A Tree Convolution Algorithm for the Solution of Queueing Networks.

Simon S. Lam, Luke Yeong-Chang Lien

Commun. ACM, 1983

Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer.

A. Udaya Shankar, Simon S. Lam

Proceedings of the symposium on Communications Architectures & Protocols, 1983

1982

Queuing network models of packet switching networks part 1: Open networks.

Johnny W. Wong, Simon S. Lam

Perform. Evaluation, 1982

Queueing network models of packet switching networks part 2: Networks with population size constraints.

Simon S. Lam, Johnny W. Wong

Perform. Evaluation, 1982

Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants.

Simon S. Lam

J. ACM, 1982

Optimal Routing in Networks With Flow-Controlled Virtual Channels.

Simon S. Lam, Luke Yeong-Chang Lien

Proceedings of the 1982 Computer Network Performance Symposium, 1982

On Time-Dependent Communication Protocols and Their Projections.

A. Udaya Shankar, Simon S. Lam

Proceedings of the Protocol Specification, 1982

An Illustration of Protocol Projections.

Simon S. Lam, A. Udaya Shankar

Proceedings of the Protocol Specification, 1982

1981

Congestion Control of Packet Communication Networks by Input Buffer Limits - A Simulation Study.

Simon S. Lam, Luke Yeong-Chang Lien

IEEE Trans. Computers, 1981

A derivation of response time distributions for a multi-class feedback queueing systems.

Simon S. Lam, A. Udaya Shankar

Perform. Evaluation, 1981

Behavior of the normalization constant and a scaling technique for product-form queueing networks.

Simon S. Lam

Perform. Evaluation, 1981

Modeling and analysis of flow controlled packet switching networks.

Simon S. Lam, Luke Yeong-Chang Lien

Proceedings of the seventh symposium on Data communications, 1981

1980

Packet Broadcast Networks - A Performance Analysis of the R-ALOHA Protocol.

Simon S. Lam

IEEE Trans. Computers, 1980

Response time distributions for a multi-class queue with feedback.

Simon S. Lam, A. Udaya Shankar

Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

A Carrier Sense Multiple Access Protocol for Local Networks.

Simon S. Lam

Comput. Networks, 1980

1979

Congestion Control of Store-and-Forward Networks by Input Buffer Limits-An Analysis.

Simon S. Lam, Martin Reiser

IEEE Trans. Commun., 1979

Satellite Packet Communication-Multiple Access Protocols and Performance.

Simon S. Lam

IEEE Trans. Commun., 1979

A Study of the CSMA Protocol in Local Networks.

Simon S. Lam

Proceedings of the Fourth Berkeley Workshop on Distributed Data Management and Computer Networks, 1979

1978

A New Measure for Charcterizing Data Traffic.

Simon S. Lam

IEEE Trans. Commun., 1978

1977

Delay Analysis of a Time Division Multiple Access (TDMA) Channel.

Simon S. Lam

IEEE Trans. Commun., 1977

An Extension of Moore's Result for Closed Queuing Networks.

Simon S. Lam

IBM J. Res. Dev., 1977

Queuing Networks with Population Size Constraints.

Simon S. Lam

IBM J. Res. Dev., 1977

1976

Store-and-Forward Buffer Requirements in a Packet Switching Network.

Simon S. Lam

IEEE Trans. Commun., 1976

Buffer Overflow in a Store-and-Forward Network Node.

Paul J. Schweitzer, Simon S. Lam

IBM J. Res. Dev., 1976

1975

Packet Switching in a Multiaccess Broadcast Channel: Dynamic Control Procedures.

Simon S. Lam, Leonard Kleinrock

IEEE Trans. Commun., 1975

Packet Switching in a Multiaccess Broadcast Channel: Performance Evaluation.

Leonard Kleinrock, Simon S. Lam

IEEE Trans. Commun., 1975

Dynamic control schemes for a packet switched multi-access broadcast channel.

Simon S. Lam, Leonard Kleinrock

Proceedings of the American Federation of Information Processing Societies: 1975 National Computer Conference, 1975

1973

Packet-switching in a slotted satellite channel.

Leonard Kleinrock, Simon S. Lam

Proceedings of the American Federation of Information Processing Societies: 1973 National Computer Conference, 1973

Computer data communication: Packet switching in a slotted satellite channel.

Simon S. Lam

Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973, 1973