A. Udaya Shankar

According to our database, A. Udaya Shankar authored at least 67 papers between 1980 and 2007.

Collaborative distances:

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

2007

Timestepped Stochastic Simulation of 802.11 WLANs.

Arunchandar Vasan, A. Udaya Shankar

Proceedings of the 15th International Symposium on Modeling, 2007

2006

PinPoint.

Moustafa Youssef, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala

Proceedings of the 4th International Conference on Mobile Systems, 2006

Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation.

Andrzej Kochut, A. Udaya Shankar

Proceedings of the 14th International Symposium on Modeling, 2006

2005

Using SeSFJava in teaching introductory network courses.

Tamer Elsharnouby, A. Udaya Shankar

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets.

Cuneyt Akinlar, A. Udaya Shankar

Proceedings of the Networking, 2005

2004

SeSFJava harness: service and assertion checking for protocol implementations.

Tamer Elsharnouby, A. Udaya Shankar

IEEE J. Sel. Areas Commun., 2004

Sniffing Out the Correct Physical Layer Capture Model in 802.11b.

Andrzej Kochut, Arunchandar Vasan, A. Udaya Shankar, Ashok K. Agrawala

Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004

2003

WLAN Location Determination via Clustering and Probability Distributions.

Moustafa A. Youssef, Ashok K. Agrawala, A. Udaya Shankar

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Implementation of a Scalable Context-Aware Computing System.

Tamer Nadeem, Adel M. Youssef, Suman Banerjee, Moustafa Youssef, Sulabh Agarwal, Kevin Kamel, Andrzej Kochut, Christopher Kommareddy, Pankaj Thakkar, Bao Trinh, A. Udaya Shankar, Ashok K. Agrawala

Proceedings of the Personal Wireless Communications, IFIP-TC6 8th International Conference, 2003

2002

Rover: Scalable Location-Aware Computing.

Suman Banerjee, Sulabh Agarwal, Kevin Kamel, Andrzej Kochut, Christopher Kommareddy, Tamer Nadeem, Pankaj Thakkar, Bao Trinh, Adel M. Youssef, Moustafa Youssef, Ronald L. Larsen, A. Udaya Shankar, Ashok K. Agrawala

Computer, 2002

Adapting to route-demand and mobility in ad hoc network routing.

Sungjoon Ahn, A. Udaya Shankar

Comput. Networks, 2002

An IP address configuration algorithm for multi-router zeroconf networks.

Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

IP address configuration algorithms for routerless and single-router zeroconf networks.

Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

Name-to-address translation algorithms for zeroconf networks.

Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun

Proceedings of the IEEE International Conference on Communications, 2002

2001

Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing.

Sungjoon Ahn, A. Udaya Shankar

Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001

1999

Empirical TCP Profiles and Application.

Catalin T. Popescu, A. Udaya Shankar

Proceedings of the Seventh Annual International Conference on Network Protocols, 1999

1998

Fast time-dependent evaluation of multi-service networks.

Ibrahim Matta, A. Udaya Shankar

Comput. Networks ISDN Syst., 1998

1997

Performance and Correctness of the ATM ABR Rate Control Scheme.

David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar

Proceedings of the Proceedings IEEE INFOCOM '97, 1997

1996

Dynamic Routing of Real-Time Virtual Circuits.

Ibrahim Matta, A. Udaya Shankar

Proceedings of the 1996 International Conference on Network Protocols, 1996

Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.

David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar

Proceedings of the 1996 International Conference on Network Protocols, 1996

1995

Minimum-latency transport protocols with modulo-<i>N</i> incarnation numbers.

A. Udaya Shankar, David Lee

IEEE/ACM Trans. Netw., 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

Type-of-Service Routing in Datagram Delivery Systems.

Ibrahim Matta, A. Udaya Shankar

IEEE J. Sel. Areas Commun., 1995

The Viewserver Hierarchy for Interdomain Routing: Protocols and Evaluation.

Cengiz Alaettinoglu, A. Udaya Shankar

IEEE J. Sel. Areas Commun., 1995

Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems.

Ibrahim Matta, A. Udaya Shankar

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

A scalable virtual circuit routing scheme for ATM networks.

Cengiz Alaettinoglu, Ibrahim Matta, A. Udaya Shankar

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994

A Theory of Interfaces and Modules I-Composition Theorem.

Simon S. Lam, A. Udaya Shankar

IEEE Trans. Software Eng., 1994

Reasoning assertionally about real-time systems.

A. Udaya Shankar

Proc. IEEE, 1994

On the Interaction between Gateway Scheduling and Routing.

Ibrahim Matta, A. Udaya Shankar

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Type-of-Service Routing in Dynamic Datagram Networks.

Ibrahim Matta, A. Udaya Shankar

Proceedings of the Proceedings IEEE INFOCOM '94, 1994

Viewserver Hierarchy: A New Inter-Domain Routing Protocol.

Cengiz Alaettinoglu, A. Udaya Shankar

Proceedings of the Proceedings IEEE INFOCOM '94, 1994

An iterative approach to comprehensive performance evaluation of integrated services networks.

Ibrahim Matta, A. Udaya Shankar

Proceedings of the 1994 International Conference on Network Protocols, 1994

1993

An Introduction to Assertional Reasoning for Concurrent Systems.

A. Udaya Shankar

ACM Comput. Surv., 1993

Modulo-N incarnation numbers for cache-based transport protocols.

A. Udaya Shankar, David Lee

Proceedings of the 1993 International Conference on Network Protocols, 1993

An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution.

Cengiz Alaettinoglu, A. Udaya Shankar

Proceedings of the 1993 International Conference on Network Protocols, 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

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

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 using MaRS: Distance-Vector versus Link-State.

A. Udaya Shankar, Cengiz Alaettinoglu, Ibrahim Matta, Klaudia Dussa-Zieger

Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

A simple assertional proof system for real-time systems.

A. Udaya Shankar

Proceedings of the Real-Time Systems Symposium, 1992

Stepwise Assertional Design of Distance-Vector Routing Algorithms.

Cengiz Alaettinoglu, A. Udaya Shankar

Proceedings of the Protocol Specification, 1992

Analysis of a Fluid Approximation to Flow Control Dynamics.

Jean-Chrysostome Bolot, A. Udaya Shankar

Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1991

Connection management for the transport layer: service specification and protocol verification.

Sandra L. Murphy, A. Udaya Shankar

IEEE Trans. Commun., 1991

Modular design principles for protocols with an application to the transport layer.

A. Udaya Shankar

Proc. IEEE, 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

Performance Analysis of Transport Protocols over Congestive Channels.

Jean-Chrysostome Bolot, A. Udaya Shankar, Brigitte Plateau

Perform. Evaluation, 1990

Dynamical behavior of rate-based flow control mechanisms.

Jean-Chrysostome Bolot, A. Udaya Shankar

Comput. Commun. Rev., 1990

1989

Verified Data Transfer Protocols with Variable Flow Control.

A. Udaya Shankar

ACM Trans. Comput. Syst., 1989

An Efficient Solution to the Drinking Philosophers Problem and Its Extension.

David Ginat, A. Udaya Shankar, Ashok K. Agrawala

Proceedings of the Distributed Algorithms, 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

A Note on the Drinking Philosophers Problem.

Sandra L. Murphy, A. Udaya Shankar

ACM Trans. Program. Lang. Syst., 1988

Service specification and protocol construction for the transport layer.

Sandra L. Murphy, A. Udaya Shankar

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

1987

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

A. Udaya Shankar, Simon S. Lam

Distributed Comput., 1987

A verified connection management protocol for the transport layer.

Sandra L. Murphy, A. Udaya Shankar

Comput. Commun. Rev., 1987

1984

Protocol Verification via Projections.

Simon S. Lam, A. Udaya Shankar

IEEE Trans. Software Eng., 1984

Specification and Verification of Time-Dependant Communication Protocols.

A. Udaya Shankar, 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

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

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

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

Simon S. Lam, A. Udaya Shankar

Perform. Evaluation, 1981

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