A. Udaya Shankar

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