Response time distributions for a multi-class queue with feedback. - Simon S. Lam; A. Udaya Shankar (Performance, 1980)

A derivation of response time distributions for a multi-class feedback queueing systems. - Simon S. Lam; A. Udaya Shankar (Perform. Evaluation, 1981)

An Illustration of Protocol Projections. - Simon S. Lam; A. Udaya Shankar (PSTV, 1982)

On Time-Dependent Communication Protocols and Their Projections. - A. Udaya Shankar; Simon S. Lam (PSTV, 1982)

Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer. - A. Udaya Shankar; Simon S. Lam (SIGCOMM, 1983)

An HDLC Protocol Specification and Its Verification Using Image Protocols - A. Udaya Shankar; Simon S. Lam (ACM Trans. Comput. Syst., 1983)

Specification and Verification of Time-Dependant Communication Protocols. - A. Udaya Shankar; Simon S. Lam (PSTV, 1984)

Protocol Verification via Projections. - Simon S. Lam; A. Udaya Shankar (IEEE Trans. Software Eng., 1984)

A verified connection management protocol for the transport layer. - Sandra L. Murphy; A. Udaya Shankar (Comput. Commun. Rev., 1987)

Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. - A. Udaya Shankar; Simon S. Lam (Distributed Comput., 1987)

Service specification and protocol construction for the transport layer. - Sandra L. Murphy; A. Udaya Shankar (SIGCOMM, 1988)

A Note on the Drinking Philosophers Problem. - Sandra L. Murphy; A. Udaya Shankar (ACM Trans. Program. Lang. Syst., 1988)

Refinement and Projection of Relational Specifications. - Simon S. Lam; A. Udaya Shankar (REX Workshop, 1989)

Construction of Network Protocols by Stepwise Refinement. - A. Udaya Shankar; Simon S. Lam (REX Workshop, 1989)

An Efficient Solution to the Drinking Philosophers Problem and Its Extension. - David Ginat; A. Udaya Shankar; Ashok K. Agrawala (WDAG, 1989)

Verified Data Transfer Protocols with Variable Flow Control. - A. Udaya Shankar (ACM Trans. Comput. Syst., 1989)

Dynamical behavior of rate-based flow control mechanisms. - Jean-Chrysostome Bolot; A. Udaya Shankar (Comput. Commun. Rev., 1990)

Performance Analysis of Transport Protocols over Congestive Channels. - Jean-Chrysostome Bolot; A. Udaya Shankar; Brigitte Plateau (Perform. Evaluation, 1990)

A Relational Notation for State Transition Systems. - Simon S. Lam; A. Udaya Shankar (IEEE Trans. Software Eng., 1990)

Understanding Interfaces. - Simon S. Lam; A. Udaya Shankar (FORTE, 1991)

A Composition Theorem for Layered Systems. - Simon S. Lam; A. Udaya Shankar (PSTV, 1991)

Applying a Theory of Modules and Interfaces to Security Verification. - Simon S. Lam; A. Udaya Shankar; Thomas Y. C. Woo (S&P, 1991)

Modular design principles for protocols with an application to the transport layer. - A. Udaya Shankar (Proc. IEEE, 1991)

Connection management for the transport layer: service specification and protocol verification. - Sandra L. Murphy; A. Udaya Shankar (IEEE Trans. Commun., 1991)

Analysis of a Fluid Approximation to Flow Control Dynamics. - Jean-Chrysostome Bolot; A. Udaya Shankar (INFOCOM, 1992)

Stepwise Assertional Design of Distance-Vector Routing Algorithms. - Cengiz Alaettinoglu; A. Udaya Shankar (PSTV, 1992)

A simple assertional proof system for real-time systems. - A. Udaya Shankar (RTSS, 1992)

Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State. - A. Udaya Shankar; Cengiz Alaettinoglu; Ibrahim Matta; Klaudia Dussa-Zieger (SIGMETRICS, 1992)

Introducing MaRS, a routing testbed. - Cengiz Alaettinoglu; Klaudia Dussa-Zieger; Ibrahim Matta; A. Udaya Shankar; Ólafur Gudmundsson (Comput. Commun. Rev., 1992)

Performance comparison of routing protocols under dynamic and static file transfer connections. - A. Udaya Shankar; Cengiz Alaettinoglu; Klaudia Dussa-Zieger; Ibrahim Matta (Comput. Commun. Rev., 1992)

Specifying Modules to Satisfy Interfaces: A State Transition System Approach. - Simon S. Lam; A. Udaya Shankar (Distributed Comput., 1992)

A Stepwise Refinement Heuristic for Protocol Construction. - A. Udaya Shankar; Simon S. Lam (ACM Trans. Program. Lang. Syst., 1992)

An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution. - Cengiz Alaettinoglu; A. Udaya Shankar (ICNP, 1993)

Modulo-N incarnation numbers for cache-based transport protocols. - A. Udaya Shankar; David Lee 001 (ICNP, 1993)

An Introduction to Assertional Reasoning for Concurrent Systems. - A. Udaya Shankar (ACM Comput. Surv., 1993)

An iterative approach to comprehensive performance evaluation of integrated services networks. - Ibrahim Matta; A. Udaya Shankar (ICNP, 1994)

Viewserver Hierarchy: A New Inter-Domain Routing Protocol. - Cengiz Alaettinoglu; A. Udaya Shankar (INFOCOM, 1994)

Type-of-Service Routing in Dynamic Datagram Networks. - Ibrahim Matta; A. Udaya Shankar (INFOCOM, 1994)

On the Interaction between Gateway Scheduling and Routing. - Ibrahim Matta; A. Udaya Shankar (MASCOTS, 1994)

Reasoning assertionally about real-time systems. - A. Udaya Shankar (Proc. IEEE, 1994)

A Theory of Interfaces and Modules I-Composition Theorem. - Simon S. Lam; A. Udaya Shankar (IEEE Trans. Software Eng., 1994)

A scalable virtual circuit routing scheme for ATM networks. - Cengiz Alaettinoglu; Ibrahim Matta; A. Udaya Shankar (ICCCN, 1995)

Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems. - Ibrahim Matta; A. Udaya Shankar (SIGMETRICS, 1995)

The Viewserver Hierarchy for Interdomain Routing: Protocols and Evaluation. - Cengiz Alaettinoglu; A. Udaya Shankar (IEEE J. Sel. Areas Commun., 1995)

Type-of-Service Routing in Datagram Delivery Systems. - Ibrahim Matta; A. Udaya Shankar (IEEE J. Sel. Areas Commun., 1995)

Optimal least-squares approximations to the transient behavior of the stable M/M/1 queue. - Jean-Chrysostome Bolot; A. Udaya Shankar (IEEE Trans. Commun., 1995)

Minimum-latency transport protocols with modulo-N incarnation numbers. - A. Udaya Shankar; David Lee 001 (IEEE/ACM Trans. Netw., 1995)

Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. - David Lee 001; K. K. Ramakrishnan; W. Melody Moh; A. Udaya Shankar (ICNP, 1996)

Dynamic Routing of Real-Time Virtual Circuits. - Ibrahim Matta; A. Udaya Shankar (ICNP, 1996)

Performance and Correctness of the ATM ABR Rate Control Scheme. - David Lee 001; K. K. Ramakrishnan; W. Melody Moh; A. Udaya Shankar (INFOCOM, 1997)

Fast time-dependent evaluation of multi-service networks. - Ibrahim Matta; A. Udaya Shankar (Comput. Networks ISDN Syst., 1998)

Empirical TCP Profiles and Application. - Catalin T. Popescu; A. Udaya Shankar (ICNP, 1999)

Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing. - Sungjoon Ahn; A. Udaya Shankar (ICNP, 2001)

Name-to-address translation algorithms for zeroconf networks. - Cuneyt Akinlar; A. Udaya Shankar; Sarit Mukherjee; David Braun (ICC, 2002)

IP address configuration algorithms for routerless and single-router zeroconf networks. - Cuneyt Akinlar; A. Udaya Shankar; Sarit Mukherjee; David Braun (ISCC, 2002)

An IP address configuration algorithm for multi-router zeroconf networks. - Cuneyt Akinlar; A. Udaya Shankar; Sarit Mukherjee; David Braun (ISCC, 2002)

Adapting to route-demand and mobility in ad hoc network routing. - Sungjoon Ahn; A. Udaya Shankar (Comput. Networks, 2002)

Rover: Scalable Location-Aware Computing. - Suman Banerjee 001; Sulabh Agarwal; Kevin Kamel; Andrzej Kochut; Christopher Kommareddy; Tamer Nadeem; Pankaj Thakkar; Bao Trinh; Adel M. Youssef; Moustafa Youssef 001; Ronald L. Larsen; A. Udaya Shankar; et al. (Computer, 2002)

Implementation of a Scalable Context-Aware Computing System. - Tamer Nadeem; Adel M. Youssef; Suman Banerjee 001; Moustafa Youssef 001; Sulabh Agarwal; Kevin Kamel; Andrzej Kochut; Christopher Kommareddy; Pankaj Thakkar; Bao Trinh; A. Udaya Shankar; Ashok K. Agrawala (PWC, 2003)

WLAN Location Determination via Clustering and Probability Distributions. - Moustafa A. Youssef 001; Ashok K. Agrawala; A. Udaya Shankar (PerCom, 2003)

Sniffing Out the Correct Physical Layer Capture Model in 802.11b. - Andrzej Kochut; Arunchandar Vasan 001; A. Udaya Shankar; Ashok K. Agrawala (ICNP, 2004)

SeSFJava harness: service and assertion checking for protocol implementations. - Tamer Elsharnouby; A. Udaya Shankar (IEEE J. Sel. Areas Commun., 2004)

IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets. - Cuneyt Akinlar; A. Udaya Shankar (ICN (2), 2005)

Using SeSFJava in teaching introductory network courses. - Tamer Elsharnouby; A. Udaya Shankar (SIGCSE, 2005)

Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. - Andrzej Kochut; A. Udaya Shankar (MASCOTS, 2006)

PinPoint. - Moustafa Youssef 001; Adel M. Youssef; Chuck Rieger; A. Udaya Shankar; Ashok K. Agrawala (MobiSys, 2006)

Timestepped Stochastic Simulation of 802.11 WLANs. - Arunchandar Vasan 001; A. Udaya Shankar (MASCOTS, 2007)