 | 2007 |
|---|
| 52 |       | Arunchandar Vasan,
A. Udaya Shankar:
Timestepped Stochastic Simulation of 802.11 WLANs.
MASCOTS 2007: 15-22 |
| 2006 |
|---|
| 51 | | Andrzej Kochut,
A. Udaya Shankar:
Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation.
MASCOTS 2006: 247-254 |
| 50 | | Moustafa Youssef,
Adel M. Youssef,
Chuck Rieger,
A. Udaya Shankar,
Ashok K. Agrawala:
PinPoint.
MobiSys 2006: 165-176 |
| 2005 |
|---|
| 49 | | Cuneyt Akinlar,
A. Udaya Shankar:
IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets.
ICN (2) 2005: 156-163 |
| 48 | | Tamer Elsharnouby,
A. Udaya Shankar:
Using SeSFJava in teaching introductory network courses.
SIGCSE 2005: 67-71 |
| 2004 |
|---|
| 47 | | Andrzej Kochut,
Arunchandar Vasan,
A. Udaya Shankar,
Ashok K. Agrawala:
Sniffing Out the Correct Physical Layer Capture Model in 802.11b.
ICNP 2004: 252-261 |
| 46 | | Tamer Elsharnouby,
A. Udaya Shankar:
SeSFJava harness: service and assertion checking for protocol implementations.
IEEE Journal on Selected Areas in Communications 22(10): 2035-2047 (2004) |
| 2003 |
|---|
| 45 | | 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: 364-374 |
| 44 | | Ashok K. Agrawala,
A. Udaya Shankar:
WLAN Location Determination via Clustering and Probability Distributions.
PerCom 2003: 143- |
| 2002 |
|---|
| 43 | | Cuneyt Akinlar,
A. Udaya Shankar,
Sarit Mukherjee,
David Braun:
IP address configuration algorithms for routerless and single-router zeroconf networks.
ISCC 2002: 37-42 |
| 42 | | Cuneyt Akinlar,
A. Udaya Shankar,
Sarit Mukherjee,
David Braun:
An IP address configuration algorithm for multi-router zeroconf networks.
ISCC 2002: 462-467 |
| 41 | | Sungjoon Ahn,
A. Udaya Shankar:
Adapting to route-demand and mobility in ad hoc network routing.
Computer Networks 38(6): 745-764 (2002) |
| 40 | | 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.
IEEE Computer 35(10): 46-53 (2002) |
| 2001 |
|---|
| 39 | | Sungjoon Ahn,
A. Udaya Shankar:
Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing.
ICNP 2001: 44-52 |
| 1999 |
|---|
| 38 | | Catalin T. Popescu,
A. Udaya Shankar:
Empirical TCP Profiles and Application.
ICNP 1999: 195-202 |
| 1997 |
|---|
| 37 |  | David Lee,
K. K. Ramakrishnan,
W. Melody Moh,
A. Udaya Shankar:
Performance and Correctness of the ATM ABR Rate Control Scheme.
INFOCOM 1997: 785-794 |
| 1996 |
|---|
| 36 | | Ibrahim Matta,
A. Udaya Shankar:
Dynamic Routing of Real-Time Virtual Circuits.
ICNP 1996: 132-139 |
| 35 | | 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: 208-217 |
| 1995 |
|---|
| 34 | | Cengiz Alaettinoglu,
Ibrahim Matta,
A. Udaya Shankar:
A scalable virtual circuit routing scheme for ATM networks.
ICCCN 1995: 630 |
| 33 | | Ibrahim Matta,
A. Udaya Shankar:
Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems.
SIGMETRICS 1995: 126-135 |
| 32 | | Cengiz Alaettinoglu,
A. Udaya Shankar:
The Viewserver Hierarchy for Interdomain Routing: Protocols and Evaluation.
IEEE Journal on Selected Areas in Communications 13(8): 1396-1410 (1995) |
| 31 | | Ibrahim Matta,
A. Udaya Shankar:
Type-of-Service Routing in Datagram Delivery Systems.
IEEE Journal on Selected Areas in Communications 13(8): 1411-1425 (1995) |
| 30 | | A. Udaya Shankar,
David Lee:
Minimum-latency transport protocols with modulo-N incarnation numbers.
IEEE/ACM Trans. Netw. 3(3): 255-268 (1995) |
| 1994 |
|---|
| 29 | | Cengiz Alaettinoglu,
A. Udaya Shankar:
Viewserver Hierarchy: A New Inter-Domain Routing Protocol.
INFOCOM 1994: 1009-1016 |
| 28 | | Ibrahim Matta,
A. Udaya Shankar:
Type-of-Service Routing in Dynamic Datagram Networks.
INFOCOM 1994: 992-999 |
| 27 | | Ibrahim Matta,
A. Udaya Shankar:
On the Interaction between Gateway Scheduling and Routing.
MASCOTS 1994: 84-88 |
| 26 | | Simon S. Lam,
A. Udaya Shankar:
A Theory of Interfaces and Modules I-Composition Theorem.
IEEE Trans. Software Eng. 20(1): 55-71 (1994) |
| 1993 |
|---|
| 25 | | A. Udaya Shankar:
An Introduction to Assertional Reasoning for Concurrent Systems.
ACM Comput. Surv. 25(3): 225-262 (1993) |
| 1992 |
|---|
| 24 | | A. Udaya Shankar:
A simple assertional proof system for real-time systems.
IEEE Real-Time Systems Symposium 1992: 167-176 |
| 23 | | Jean-Chrysostome Bolot,
A. Udaya Shankar:
Analysis of a Fluid Approximation to Flow Control Dynamics.
INFOCOM 1992: 2398-2407 |
| 22 | | Cengiz Alaettinoglu,
A. Udaya Shankar:
Stepwise Assertional Design of Distance-Vector Routing Algorithms.
PSTV 1992: 399-413 |
| 21 | | A. Udaya Shankar,
Cengiz Alaettinoglu,
Ibrahim Matta,
Klaudia Dussa-Zieger:
Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State.
SIGMETRICS 1992: 181-192 |
| 20 | | A. Udaya Shankar,
Simon S. Lam:
A Stepwise Refinement Heuristic for Protocol Construction.
ACM Trans. Program. Lang. Syst. 14(3): 417-461 (1992) |
| 19 | | Simon S. Lam,
A. Udaya Shankar:
Specifying Modules to Satisfy Interfaces: A State Transition System Approach.
Distributed Computing 6(1): 39-63 (1992) |
| 1991 |
|---|
| 18 | | Simon S. Lam,
A. Udaya Shankar:
Understanding Interfaces.
FORTE 1991: 165-184 |
| 17 | | 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: 136-155 |
| 16 | | Simon S. Lam,
A. Udaya Shankar:
A Composition Theorem for Layered Systems.
PSTV 1991: 93-108 |
| 1990 |
|---|
| 15 | | Simon S. Lam,
A. Udaya Shankar:
A Relational Notation for State Transition Systems.
IEEE Trans. Software Eng. 16(7): 755-775 (1990) |
| 14 | | Jean-Chrysostome Bolot,
A. Udaya Shankar,
Brigitte Plateau:
Performance Analysis of Transport Protocols over Congestive Channels.
Perform. Eval. 11(1): 45-65 (1990) |
| 1989 |
|---|
| 13 | | Simon S. Lam,
A. Udaya Shankar:
Refinement and Projection of Relational Specifications.
REX Workshop 1989: 454-486 |
| 12 | | A. Udaya Shankar,
Simon S. Lam:
Construction of Network Protocols by Stepwise Refinement.
REX Workshop 1989: 669-695 |
| 11 | | David Ginat,
A. Udaya Shankar,
Ashok K. Agrawala:
An Efficient Solution to the Drinking Philosophers Problem and Its Extension.
WDAG 1989: 83-93 |
| 10 | | A. Udaya Shankar:
Verified Data Transfer Protocols with Variable Flow Control.
ACM Trans. Comput. Syst. 7(3): 281-316 (1989) |
| 1988 |
|---|
| 9 | | Sandra L. Murphy,
A. Udaya Shankar:
Service specification and protocol construction for the transport layer.
SIGCOMM 1988: 88-97 |
| 8 | | Sandra L. Murphy,
A. Udaya Shankar:
A Note on the Drinking Philosophers Problem.
ACM Trans. Program. Lang. Syst. 10(1): 178-188 (1988) |
| 1987 |
|---|
| 7 | | Sandra L. Murphy,
A. Udaya Shankar:
A verified connection management protocol for the transport layer.
Computer Communication Review 17(5): 110-125 (1987) |
| 6 | | A. Udaya Shankar,
Simon S. Lam:
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties.
Distributed Computing 2(2): 61-79 (1987) |
| 1984 |
|---|
| 5 | | A. Udaya Shankar,
Simon S. Lam:
Specification and Verification of Time-Dependant Communication Protocols.
PSTV 1984: 215-226 |
| 4 | | Simon S. Lam,
A. Udaya Shankar:
Protocol Verification via Projections.
IEEE Trans. Software Eng. 10(4): 325-342 (1984) |
| 1983 |
|---|
| 3 | | A. Udaya Shankar,
Simon S. Lam:
An HDLC Protocol Specification and Its Verification Using Image Protocols
ACM Trans. Comput. Syst. 1(4): 331-368 (1983) |
| 1982 |
|---|
| 2 | | A. Udaya Shankar,
Simon S. Lam:
On Time-Dependent Communication Protocols and Their Projections.
PSTV 1982: 215-235 |
| 1 | | Simon S. Lam,
A. Udaya Shankar:
An Illustration of Protocol Projections.
PSTV 1982: 343-360 |
