Selected Publications


  1. A.U. Shankar. A Simple Assertional Proof System for Real-Time Systems. 13th IEEE Real-Time Systems Symposium, December 2-4, 1992, Phoenix, Arizona.

  2. A.U. Shankar. Reasoning Assertionally about Real-Time Systems. Proceedings of the IEEE, special issue on Real-Time Systems, January 1994.

  3. An Introduction to Assertional Reasoning for Concurrent Systems. ACM Computing Surveys, Vol. 25, No. 3, pp. 225-262, September 1993.

  4. S.S. Lam, A.U. Shankar. A Theory of Interfaces and Modules: I--- Composition Theorem. IEEE Transactions on Software Engineering, TSE-20, No. 1, January 1994.

  5. A.U. Shankar, D. Lee. Minimum Latency Transport Protocols with Modulo-N Incarnation Numbers. IEEE/ACM Transactions on Networking, June 1995.

  6. C. Alaettinoglu, A.U. Shankar. The Viewserver Hierarchy for Inter-Domain Routing: Protocols and Evaluation. IEEE Journal of Selected Areas on Communuications, Special Issue on Internetworking, October 1995.

  7. I. Matta and A. U. Shankar. Type-of-service Routing in Dynamic Datagram Networks. IEEE Journal of Selected Areas on Communuications, Special Issue on Internetworking, October 1995.

  8. I. Matta and A. U. Shankar. Z-Iteration: Efficient Estimation of Instantaneous Measures in Time-Dependent Multi-Class Systems. Preliminary version in Proc. ACM SIGMETRICS/PERFORMANCE '95, Ottawa, Canada, May 1995.

  9. I. Matta and A. U. Shankar. Fast Time-Dependent Evaluation of Integrated Services Networks. Preliminary version in Proc. IEEE ICNP '94.

  10. A. U. Shankar, C. Alaettinoglu, I. Matta, K. Dussa-Zieger. Transient and Steady-State Performance of Routing. Journal of Internetworking--- Research and Experience. Preliminary version in ACM SIGMETRICS '92.

  11. C. Popescu and A. U. Shankar. Fast Evaluation of Ensemble Transients of Large IP Networks (ps.gz, 100K)

  12. C. Popescu and A. U. Shankar. Empirical TCP Profiles and Application (ps.gz, 4M).

  13. A. Kochut, A. Vasan, A.U. Shankar, A. Agrawala. Sniffing out the correct Physical Layer Capture model in 802.11b. Proceedings of IEEE International Conference on Network Protocols -- ICNP 2004, Berlin, October 2004.

  14. T. Elsharnouby, A.U. Shankar. SeSFJava Harness: Service and Assertion Checking for Protocol Implementations. IEEE Journal of Selected Areas in Communication, Special issue on Design,Implementation and Analysis of Communication Protocols. December 2004.

  15. T. Elsharnouby, A.U. Shankar. Using SeSFJava in Teaching Introductory Network Courses. Proceedings ACM SIGCSE 2005. February 2005.

  16. M. Youssef, A.U. Shankar, A.K. Agrawala, A. Youssef, C. Rieger. PinPoint: An Asynchronous Time-Based Location Determination System. Proceedings of MobiSys 2006 (4th International Conference on Mobile Systems Applications and Services).

  17. A. Kochut, A.U. Shankar. Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. Proceedings of IEEE/ACM MASCOTS 2006, 14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Monterey, California, September 11-13, 2006.

  18. A. Vasan, A.U. Shankar. Timestep Stochastic Simulation of 802.11 WLANs. Proceedings of IEEE/ACM MASCOTS 2007, 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Istanbul, Turkey, October, 2007.

  19. A.U. Shankar. Distributed Programming: Theory and Practice. Springer. 2013. 383 pages. ISBN: 978-1-4614-4880-8 (Print) 978-1-4614-4881-5 (Online). DOI: 10.1007/978-1-4614-4881-5.