dblp.uni-trier.dewww.uni-trier.de

A. Udaya Shankar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
52EEArunchandar Vasan, A. Udaya Shankar: Timestepped Stochastic Simulation of 802.11 WLANs. MASCOTS 2007: 15-22
2006
51EEAndrzej Kochut, A. Udaya Shankar: Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. MASCOTS 2006: 247-254
50EEMoustafa Youssef, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala: PinPoint. MobiSys 2006: 165-176
2005
49EECuneyt Akinlar, A. Udaya Shankar: IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets. ICN (2) 2005: 156-163
48EETamer Elsharnouby, A. Udaya Shankar: Using SeSFJava in teaching introductory network courses. SIGCSE 2005: 67-71
2004
47EEAndrzej Kochut, Arunchandar Vasan, A. Udaya Shankar, Ashok K. Agrawala: Sniffing Out the Correct Physical Layer Capture Model in 802.11b. ICNP 2004: 252-261
46EETamer 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
45EETamer 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
44EEAshok K. Agrawala, A. Udaya Shankar: WLAN Location Determination via Clustering and Probability Distributions. PerCom 2003: 143-
2002
43EECuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun: IP address configuration algorithms for routerless and single-router zeroconf networks. ISCC 2002: 37-42
42EECuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun: An IP address configuration algorithm for multi-router zeroconf networks. ISCC 2002: 462-467
41EESungjoon Ahn, A. Udaya Shankar: Adapting to route-demand and mobility in ad hoc network routing. Computer Networks 38(6): 745-764 (2002)
40EESuman 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
39EESungjoon Ahn, A. Udaya Shankar: Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing. ICNP 2001: 44-52
1999
38EECatalin 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
36EEIbrahim Matta, A. Udaya Shankar: Dynamic Routing of Real-Time Virtual Circuits. ICNP 1996: 132-139
35EEDavid 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
34EECengiz 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)
30EEA. 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
26EESimon S. Lam, A. Udaya Shankar: A Theory of Interfaces and Modules I-Composition Theorem. IEEE Trans. Software Eng. 20(1): 55-71 (1994)
1993
25EEA. Udaya Shankar: An Introduction to Assertional Reasoning for Concurrent Systems. ACM Comput. Surv. 25(3): 225-262 (1993)
1992
24EEA. 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
20EEA. 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
15EESimon 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
10EEA. Udaya Shankar: Verified Data Transfer Protocols with Variable Flow Control. ACM Trans. Comput. Syst. 7(3): 281-316 (1989)
1988
9EESandra 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
7EESandra 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
3EEA. 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

Coauthor Index

1Sulabh Agarwal [40] [45]
2Ashok K. Agrawala [11] [40] [44] [45] [47] [50]
3Sungjoon Ahn [39] [41]
4Cuneyt Akinlar [42] [43] [49]
5Cengiz Alaettinoglu [21] [22] [29] [32] [34]
6Suman Banerjee [40] [45]
7Jean-Chrysostome Bolot (Jean Bolot) [14] [23]
8David Braun [42] [43]
9Klaudia Dussa-Zieger [21]
10Tamer Elsharnouby [46] [48]
11David Ginat [11]
12Kevin Kamel [40] [45]
13Andrzej Kochut [40] [45] [47] [51]
14Christopher Kommareddy [40] [45]
15Simon S. Lam [1] [2] [3] [4] [5] [6] [12] [13] [15] [16] [17] [18] [19] [20] [26]
16Ronald L. Larsen [40]
17David Lee [30] [35] [37]
18Ibrahim Matta [21] [27] [28] [31] [33] [34] [36]
19W. Melody Moh [35] [37]
20Sarit Mukherjee [42] [43]
21Sandra L. Murphy [7] [8] [9]
22Tamer Nadeem [40] [45]
23Brigitte Plateau [14]
24Catalin T. Popescu [38]
25K. K. Ramakrishnan (Kadangode K. Ramakrishnan) [35] [37]
26Chuck Rieger [50]
27Pankaj Thakkar [40] [45]
28Bao Trinh [40] [45]
29Arunchandar Vasan [47] [52]
30Thomas Y. C. Woo [17]
31Adel M. Youssef [40] [45] [50]
32Moustafa Youssef [40] [45] [50]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)