Selected Publications

    2005

  1. R. Kumar, V. K. Garg, Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework, IEEE Transactions on Automation Science and Engineering}, Volume 2, No. 1, January 2005, pp. 87 - 91. pdf

    2. 2004

  2. Neeraj Mittal and Vijay K. Garg, Finding missing synchronization in a distributed computation using controlled re-execution , Distributed Computing, 17(2):107-130, 2004. [ bib | http

  3. A. Tarafdar, V. K. Garg, Predicate Control: Synchronization in Distributed Computations with Look-Ahead , Journal on Parallel and Distributed Computing . Postscript

    4. 2000

  4. Neeraj Mittal, Vijay K. Garg, Debugging Distributed Programs Using Controlled Re-execution ,ACM Symposium on Principles of Distributed Computing (PODC'00),Portland, Oregon, July 2000, pp. 239 - 248.Abstract ...........Postscript ...........Technical Report

    5. 1999

  5. A. Tarafdar, V. K. Garg, Software fault-tolerance of concurrent programs using controlled reexecution ,DISC'99 Bratislava, Slovakia, September 27-29, 1999, pp. 210 - 224.Abstract ...........Postscript

    6. 1998

  6. G. Brat, V. K. Garg,A max-plus algebra for periodic real-time systems,The 9th Symposium of the International Federation of Automatic Control on Information Control in Manufacturing, Nancy-Metz, France, June 24-26, 1998.Postscript

  7. A. Tarafdar V. K. Garg,Debugging in a Distributed World: Observation and Control, Proc. IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Dallas, Texas, March 98,pages 151 - 156 (invited paper).Abstract ...........Postscript

  8. A. Tarafdar V. K. Garg,Predicate Control for Active Debugging of Distributed Programs,Proc. of the IEEE 9th Symposium on Parallel and Distributed Processing (SPDP),pages 763 - 769, Orlando, USA, April 1998.Abstract ...........Postscript

    9. 1997

  9. V. K. Garg, Observation and Control for Debugging Distributed Computations,{\em Proc. Third International Workshop on Automated Debugging (AADEBUG'97)},Linkoping, Sweden, May 97, pp. 1 -- 12. Keynote presentation.Postscript ...........slides

  10. V. V. Murty, V. K. Garg, Characterization of Message Ordering Specifications and Protocols,Proc. IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, 1997, pp. 492 - 499.Abstract ...........Postscript

    11. 1995

  11. V. K. Garg, A. I. Tomlinson, E. Fromentin, M. Raynal, Expressing Control Flow Properties of Distributed Computations,Proc. Symposium on Parallel and Distributed Processing, San Antonio, Texas,October 1995, pp. 432 - 438.Postscript

    12. 1993

  12. V. K. Garg, Parallel and Distributed Algorithms for Supervisory Control of Discrete Event Systems, Proc. 32nd Conference on Decision and Control, San Antonio, Texas, Dec. 1993, 2236-2241.

    13. 1992

  13. A. I. Tomlinson, G. Hoagland, V. K. Garg, Distributed Resource Management Using Active Supervisory Predicate Control,Proc. American Control Conference, Chicago, Illinois,June 1992,pp. 2799-2803.Postscript