2007 | ||
---|---|---|
52 | EE | Arunchandar Vasan, A. Udaya Shankar: Timestepped Stochastic Simulation of 802.11 WLANs. MASCOTS 2007: 15-22 |
2006 | ||
51 | EE | Andrzej Kochut, A. Udaya Shankar: Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. MASCOTS 2006: 247-254 |
50 | EE | Moustafa Youssef, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala: PinPoint. MobiSys 2006: 165-176 |
2005 | ||
49 | EE | Cuneyt Akinlar, A. Udaya Shankar: IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets. ICN (2) 2005: 156-163 |
48 | EE | Tamer Elsharnouby, A. Udaya Shankar: Using SeSFJava in teaching introductory network courses. SIGCSE 2005: 67-71 |
2004 | ||
47 | EE | 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 | EE | 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 | EE | 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 | EE | Ashok K. Agrawala, A. Udaya Shankar: WLAN Location Determination via Clustering and Probability Distributions. PerCom 2003: 143- |
2002 | ||
43 | EE | 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 | EE | Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun: An IP address configuration algorithm for multi-router zeroconf networks. ISCC 2002: 462-467 |
41 | EE | Sungjoon Ahn, A. Udaya Shankar: Adapting to route-demand and mobility in ad hoc network routing. Computer Networks 38(6): 745-764 (2002) |
40 | EE | 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 | EE | Sungjoon Ahn, A. Udaya Shankar: Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing. ICNP 2001: 44-52 |
1999 | ||
38 | EE | 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 | EE | Ibrahim Matta, A. Udaya Shankar: Dynamic Routing of Real-Time Virtual Circuits. ICNP 1996: 132-139 |
35 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | A. Udaya Shankar: An Introduction to Assertional Reasoning for Concurrent Systems. ACM Comput. Surv. 25(3): 225-262 (1993) |
1992 | ||
24 | EE | 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 | EE | 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 | EE | 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 | EE | A. Udaya Shankar: Verified Data Transfer Protocols with Variable Flow Control. ACM Trans. Comput. Syst. 7(3): 281-316 (1989) |
1988 | ||
9 | EE | 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 | EE | 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 | EE | 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 |