A. Udaya Shankar

Publication Activity (10 Years)

Years Active: 1980-2007
Publications (10 Years): 0

Publications

Arunchandar Vasan, A. Udaya Shankar
Timestepped Stochastic Simulation of 802.11 WLANs. MASCOTS (2007)
Moustafa Youssef, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala
PinPoint. MobiSys (2006)
Andrzej Kochut, A. Udaya Shankar
Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. MASCOTS (2006)
Tamer Elsharnouby, A. Udaya Shankar
Using SeSFJava in teaching introductory network courses. SIGCSE (2005)
Cuneyt Akinlar, A. Udaya Shankar
IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets. ICN (2) (2005)
Tamer Elsharnouby, A. Udaya Shankar
SeSFJava harness: service and assertion checking for protocol implementations. IEEE J. Sel. Areas Commun. 22 (10) (2004)
Andrzej Kochut, Arunchandar Vasan, A. Udaya Shankar, Ashok K. Agrawala
Sniffing Out the Correct Physical Layer Capture Model in 802.11b. ICNP (2004)
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
Implementation of a Scalable Context-Aware Computing System. PWC (2003)
Moustafa A. Youssef, Ashok K. Agrawala, A. Udaya Shankar
WLAN Location Determination via Clustering and Probability Distributions. PerCom (2003)
Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
An IP address configuration algorithm for multi-router zeroconf networks. ISCC (2002)
Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
IP address configuration algorithms for routerless and single-router zeroconf networks. ISCC (2002)
Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
Name-to-address translation algorithms for zeroconf networks. ICC (2002)
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
Rover: Scalable Location-Aware Computing. Computer 35 (10) (2002)
Sungjoon Ahn, A. Udaya Shankar
Adapting to route-demand and mobility in ad hoc network routing. Comput. Networks 38 (6) (2002)
Sungjoon Ahn, A. Udaya Shankar
Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing. ICNP (2001)
Catalin T. Popescu, A. Udaya Shankar
Empirical TCP Profiles and Application. ICNP (1999)
Ibrahim Matta, A. Udaya Shankar
Fast time-dependent evaluation of multi-service networks. Comput. Networks ISDN Syst. 29 (17-18) (1998)
David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
Performance and Correctness of the ATM ABR Rate Control Scheme. INFOCOM (1997)
Ibrahim Matta, A. Udaya Shankar
Dynamic Routing of Real-Time Virtual Circuits. ICNP (1996)
David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. ICNP (1996)
Ibrahim Matta, A. Udaya Shankar
Type-of-Service Routing in Datagram Delivery Systems. IEEE J. Sel. Areas Commun. 13 (8) (1995)
A. Udaya Shankar, David Lee
incarnation numbers. IEEE/ACM Trans. Netw. 3 (3) (1995)
Ibrahim Matta, A. Udaya Shankar
Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems. SIGMETRICS (1995)
Jean-Chrysostome Bolot, A. Udaya Shankar
Optimal least-squares approximations to the transient behavior of the stable M/M/1 queue. IEEE Trans. Commun. 43 (2/3/4) (1995)
Cengiz Alaettinoglu, A. Udaya Shankar
The Viewserver Hierarchy for Interdomain Routing: Protocols and Evaluation. IEEE J. Sel. Areas Commun. 13 (8) (1995)
Cengiz Alaettinoglu, Ibrahim Matta, A. Udaya Shankar
A scalable virtual circuit routing scheme for ATM networks. ICCCN (1995)
Cengiz Alaettinoglu, A. Udaya Shankar
Viewserver Hierarchy: A New Inter-Domain Routing Protocol. INFOCOM (1994)
Ibrahim Matta, A. Udaya Shankar
On the Interaction between Gateway Scheduling and Routing. MASCOTS (1994)
A. Udaya Shankar
Reasoning assertionally about real-time systems. Proc. IEEE 82 (1) (1994)
Simon S. Lam, A. Udaya Shankar
A Theory of Interfaces and Modules I-Composition Theorem. IEEE Trans. Software Eng. 20 (1) (1994)
Ibrahim Matta, A. Udaya Shankar
An iterative approach to comprehensive performance evaluation of integrated services networks. ICNP (1994)
Ibrahim Matta, A. Udaya Shankar
Type-of-Service Routing in Dynamic Datagram Networks. INFOCOM (1994)
A. Udaya Shankar, David Lee
Modulo-N incarnation numbers for cache-based transport protocols. ICNP (1993)
Cengiz Alaettinoglu, A. Udaya Shankar
An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution. ICNP (1993)
A. Udaya Shankar
An Introduction to Assertional Reasoning for Concurrent Systems. ACM Comput. Surv. 25 (3) (1993)
Jean-Chrysostome Bolot, A. Udaya Shankar
Analysis of a Fluid Approximation to Flow Control Dynamics. INFOCOM (1992)
A. Udaya Shankar, Simon S. Lam
A Stepwise Refinement Heuristic for Protocol Construction. ACM Trans. Program. Lang. Syst. 14 (3) (1992)
Cengiz Alaettinoglu, Klaudia Dussa-Zieger, Ibrahim Matta, A. Udaya Shankar, Ólafur Gudmundsson
Introducing MaRS, a routing testbed. Comput. Commun. Rev. 22 (1) (1992)
A. Udaya Shankar
A simple assertional proof system for real-time systems. RTSS (1992)
A. Udaya Shankar, Cengiz Alaettinoglu, Ibrahim Matta, Klaudia Dussa-Zieger
Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State. SIGMETRICS (1992)
Cengiz Alaettinoglu, A. Udaya Shankar
Stepwise Assertional Design of Distance-Vector Routing Algorithms. PSTV (1992)
Simon S. Lam, A. Udaya Shankar
Specifying Modules to Satisfy Interfaces: A State Transition System Approach. Distributed Comput. 6 (1) (1992)
A. Udaya Shankar, Cengiz Alaettinoglu, Klaudia Dussa-Zieger, Ibrahim Matta
Performance comparison of routing protocols under dynamic and static file transfer connections. Comput. Commun. Rev. 22 (5) (1992)
A. Udaya Shankar
Modular design principles for protocols with an application to the transport layer. Proc. IEEE 79 (12) (1991)
Simon S. Lam, A. Udaya Shankar
A Composition Theorem for Layered Systems. PSTV (1991)
Simon S. Lam, A. Udaya Shankar
Understanding Interfaces. FORTE (1991)
Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo
Applying a Theory of Modules and Interfaces to Security Verification. IEEE Symposium on Security and Privacy (1991)
Sandra L. Murphy, A. Udaya Shankar
Connection management for the transport layer: service specification and protocol verification. IEEE Trans. Commun. 39 (12) (1991)
Simon S. Lam, A. Udaya Shankar
A Relational Notation for State Transition Systems. IEEE Trans. Software Eng. 16 (7) (1990)
Jean-Chrysostome Bolot, A. Udaya Shankar
Dynamical behavior of rate-based flow control mechanisms. Comput. Commun. Rev. 20 (2) (1990)
Jean-Chrysostome Bolot, A. Udaya Shankar, Brigitte Plateau
Performance Analysis of Transport Protocols over Congestive Channels. Perform. Evaluation 11 (1) (1990)
A. Udaya Shankar
Verified Data Transfer Protocols with Variable Flow Control. ACM Trans. Comput. Syst. 7 (3) (1989)
David Ginat, A. Udaya Shankar, Ashok K. Agrawala
An Efficient Solution to the Drinking Philosophers Problem and Its Extension. WDAG (1989)
A. Udaya Shankar, Simon S. Lam
Construction of Network Protocols by Stepwise Refinement. REX Workshop (1989)
Simon S. Lam, A. Udaya Shankar
Refinement and Projection of Relational Specifications. REX Workshop (1989)
Sandra L. Murphy, A. Udaya Shankar
A Note on the Drinking Philosophers Problem. ACM Trans. Program. Lang. Syst. 10 (1) (1988)
Sandra L. Murphy, A. Udaya Shankar
Service specification and protocol construction for the transport layer. SIGCOMM (1988)
A. Udaya Shankar, Simon S. Lam
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. Distributed Comput. 2 (2) (1987)
Sandra L. Murphy, A. Udaya Shankar
A verified connection management protocol for the transport layer. Comput. Commun. Rev. 17 (5) (1987)
A. Udaya Shankar, Simon S. Lam
Specification and Verification of Time-Dependant Communication Protocols. PSTV (1984)
Simon S. Lam, A. Udaya Shankar
Protocol Verification via Projections. IEEE Trans. Software Eng. 10 (4) (1984)
A. Udaya Shankar, Simon S. Lam
Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer. SIGCOMM (1983)
A. Udaya Shankar, Simon S. Lam
An HDLC Protocol Specification and Its Verification Using Image Protocols ACM Trans. Comput. Syst. 1 (4) (1983)
A. Udaya Shankar, Simon S. Lam
On Time-Dependent Communication Protocols and Their Projections. PSTV (1982)
Simon S. Lam, A. Udaya Shankar
An Illustration of Protocol Projections. PSTV (1982)
Simon S. Lam, A. Udaya Shankar
A derivation of response time distributions for a multi-class feedback queueing systems. Perform. Evaluation 1 (1) (1981)
Simon S. Lam, A. Udaya Shankar
Response time distributions for a multi-class queue with feedback. Performance (1980)