Publications Copyright Notice

    2009

  1. Vinit Ogale, Bharath Balasubramanian, Vijay K. GargA Fusion-based Approach for Tolerating Faults in Finite State Machines ,Proc. IEEE International Parallel & Distributed Processing Symposium (IPDPS) Rome, Italy, May 2009.

    2. 2008

  2. Sujatha Kashyap, Vijay K. GargGenerating Small Counter-Examples Using Crucial Events ,Proc. Computer Aided Verification (CAV) July 2008, .
  3. Bharath Balasubramanian, Vinit Ogale, Vijay K. GargFusible State Machines ,Proc. International Conference on Distributed Computing and Networking (ICDCN) pdf Jan 2008, .
  4. Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels: Optimization of BLAS on the Cell Processor. HiPC 2008: 18-29
  5. V. K. Garg, Neeraj Mittal, Global Time and State in Distributed Systems, Wiley Encyclopedia on Parallel and Distributed Computing, . ........... Postscript

    6. 2007

  6. Vinit Ogale and Vijay K. Garg, Detetcing Temporal Logic Predicates on Distributed Computations , DISC 2007, pp. 420-434.
  7. Vijay K. Garg and Vinit Ogale,Fusible Data Structures for Fault-Tolerance ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS) pdf 2007, .
  8. Neeraj Mittal, Alper Sen and Vijay K. Garg, Solving Computation Slicing Using Predicate Detection , IEEE Transactions on Parallel and Distributed Systems accepted, Jan 2007
  9. Neeraj Mittal, Ranganath Atreya, Ajay Kshemkalyani, Vijay K. Garg, and Mukesh Singhal Efficient Detection of a Locally Stable Predicate in a Distributed System Journal on Parallel and Distributed Computing accepted Postscript - conference version

  10. Vijay K. Garg, C. Skawratananond, N. Mittal Timestamping Messages and Events in a Distributed System using Synchronous Communication ,Distributed Computing (DC) pdf pp. 163-183
  11. Anurag Agarwal, Vijay K. Garg, Predicate Detection on Infinite Computations Tech Report pdf for the tech. report
  12. Alper Sen and Vijay K. Garg, Formal Verfication of Simulation Traces using Computation Slicing , IEEE Transactions on Computers Jan 2007, pp. 511-527

    13. 2006

  13. Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Scalable Algorithms for Global Snapshots in Distributed Systems ACM International Conference on Supercomputing 2006 pdf .... slides
  14. Selma Ikiz and Vijay K. Garg, Efficient Incremental Optimal Chain Partition of Distributed Program Traces ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS) 2006. pdf .... slides
  15. Anurag Agarwal, Vijay K. Garg, Efficient Dependency Tracking for Relevant Events in Concurrent Systems, Distributed Computing (DC) accepted pdf ... springer
  16. Arindam Chakraborty, Vijay K. Garg, On Reducing the Global State Graph for Verification of Distributed Computations, 7th International Workshop on Microprocessor Test and Verification (MTV'06) Common Challenges and Solutions, December 2006, Austin, Texas, USA ...pdf .
  17. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets , Theoretical Computer Science , Vol. 359, August 2006, pp. 200 - 213, ...pdf .
  18. Vijay K. Garg, Neeraj Mittal and Alper Sen, Using Order in Distributed Computing , American Mathematical Society National Meeting invited , Jan. 2006 pdf .... pdf-slides
  19. Shailesh Patil, Vijay K. Garg, Adaptive Algorithms for Perfectly Periodic Schedules, Information Processing Letters Vol. 98, No. 3, May 2006, pp. 107 -- 114. pdf ---- online link

    20. 2005

  20. Anurag Agarwal, Vijay K. Garg, Chain Clock: Efficient Causality Tracking for Shared Memory Systems, ACM Symposium on Principles of Distributed Computing (PODC'2005) Las Vegas, July 2005, pp. 19-28. pdf .... slides
  21. Sujatha Kashyap, Vijay K. Garg, Intractability Results in Predicate Detection, Information Processing Letters Vol. 94, No. 6, pp. 277 - 282, June 2005. pdf
  22. Sujatha Kashyap, Vijay K. Garg, Exploiting Predicate Structure for Efficient Reachability Detection, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE) Long Beach, California, pages 4-13. ACM, November 2005.
    http ... pdf ..... slides
  23. Neeraj Mittal and Vijay K. Garg, Techniques and Applications of Computation Slicing Distributed Computing 17(3):251-277, 2005 link to Springer ... pdf
  24. V. K. Garg, Neeraj Mittal, A Critique of Java for Concurrent Programming, IEEE Distributed Systems online 6(9), 2005........... link
  25. Selma Ikiz, Vinit Ogale, V. K. Garg, Coordinated Energy Conservation in Ad Hoc Networks, pdf ..... abstract
  26. Vijay K. Garg, Anurag Agarwal, Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding, Euro'Par 2005, pp. 606 - 616. pdf .... slides ...Technical Report .
  27. 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

    28. 2004

  28. Neeraj Mittal, Alper Sen, Vijay K. Garg, and Ranganath Atreya, Finding Satisfying Global States: All for One and One for All , In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS), April 2004. ........... Postscript ........... pdf

  29. Alper Sen, Jayanta Bhadra, Vijay K. Garg, and Jacob Abraham, Formal Verification of a System-on-Chip Using Computation Slicing , International Test Conference, July 12 2004............ Postscript ........... pdf

  30. V. K. Garg, Concurrent and Distributed Computing in Java , John Wiley & Sons, 2004. For description click here

  31. 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

  32. A. Tarafdar, V. K. Garg, Predicate Control: Synchronization in Distributed Computations with Look-Ahead , Journal on Parallel and Distributed Computing 64(2):219-237, 2004. Postscript

    33. 2003

  33. Neeraj Mittal, Ranganath Atreya and Vijay K. Garg, Detecting Locally Stable Predicates without Modifying Application Messages 7th International Conference on Principles of Distributed Systems La Martinique , France,December 10-13 2003, ........... Postscript

  34. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing , 7th International Conference on Principles of Distributed Systems La Martinique, France,December 10-13 2003, ........... Postscript ........... pdf

  35. Alper Sen and Vijay K. Garg, On Checking Whether a Predicate Definitely Holds , 3rd International Workshop onFormal Approaches to Testing of Software(FATES 2003) Montreal, Quebec, Canada,October 2003............Postscript

  36. Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs , Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003............Postscript

  37. Neeraj Mittal and Vijay K. Garg, Software Fault Tolerance of DistributedPrograms using Computation Slicing ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Providence, Rhode Island, pages 105-113, May 2003.Abstract ........... Postscript

  38. Vijay K. Garg, Neeraj Mittal and Alper Sen, Applications of Lattice Theory to Distributed Computing , ACM SIGACT Notes September 2003, Vol. 34, No. 3, pp. 40-61............Postscript

  39. O. Damani, Yi-Min Wang and V. K. Garg, K-Optimistic Message Logging, Journal on Parallel and Distributed Computing .Volume 63, Issue 12, December 2003, Pages 1193-1218.link to ScienceDirect

  40. V. K. Garg, Enumerating Global States of a Distributed Computationin Lexicographic and Breadth-First Manner , International Conference on Parallel and Distributed Computing and Systems (PDCS2003) November 2003, pp. 134-139............Postscript

    41. 2002

  41. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets ,Proc. 22nd Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science (FSTTCS), Kanpur, India, December 2002.Abstract ...........Postscript ...........Technical Report

  42. V. K. Garg, Elements of Distributed Computing ,John Wiley & Sons, 2002. For description click here

  43. Vijay K. Garg, C. Skawratananond, On Timestamping Synchronous Computations ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Vienna, July 2002.Abstract ...........Postscript ..... slides

  44. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in the Happened Before Model ,International Parallel and Distributed Processing Symposium (IPDPS).April, Florida.Abstract ...........Postscript ...........

    45. 2001

  45. R. Kumar and V. K. Garg, Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages ,IEEE Transactions on Automatic ControlVolume 46, No. 1, April 2001, pp. 593 -- 606.Postscript

  46. Neeraj Mittal and Vijay K. Garg, Computation Slicing: Techniques and Theory ,5th International Symposium on DIStributed Computing (DISC'01),Lisbon, Portugal, pp. 78 - 92.Abstract ...........Postscript ...........Technical Report

  47. Vijay K. Garg, C. Skawratananond, String Realizers of Posets with Applications to Distributed Computing , ACM Symposium on Principles of Distributed Computing (PODC'01), August 26-29, 2001, Newport, Rhode Island, pp. 72 - 80.Abstract ...........Postscript ...........tech report

  48. Neeraj Mittal and Vijay K. Garg, On Detecting Global Predicates in Distributed Computations ,Proc. IEEE International Conference on Distributed Computing Systems, Phoenix, May 2001, pp. 3 - 10.Abstract ...........Postscript

  49. Vijay K. Garg and Neeraj Mittal, On Slicing a Distributed Computation ,Proc. IEEE International Conference on Distributed Computing Systems, Phoenix, May 2001 ( nominated for the best paper award ), pp. 322 - 329 .Abstract ...........Postscript

    50. 2000

  50. 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

  51. Vijay Garg, Adnan Aziz, An Efficient Deterministic Algorithm for the Resource Discovery Problem ,ECE Technical Report TR-PDS-2000-003.psPostscript

    52. 1999

  52. V. K. Garg, M. RaynalNormality: A Consistency Condition for Concurrent Objects Parallel Processing Letters, 9(1): 123-134 (1999) Abstract ...........Postscript

  53. V. K. Garg, R. Kumar, S. I. Marcus, Probabilistic Language Frameworkfor Stochastic Discrete Event Systems,{\em IEEE Transactions on Automatic Control}, Vol. 44, No. 2, February 1999, pp. 280 -- 293.Postscript

  54. 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

    slides
  55. Om P. Damani and Ashis Tarafdar and Vijay K. Garg, Optimistic Recovery in Multi-threaded Distributed Systems ,Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS),Lausanne, Switzerland, October 1999, pages 234 - 243.Abstract ...........Postscript

  56. C. Skawratananond, N. Mittal, V. K. Garg, A Lightweight Algorithm for Causal Message Ordering in Mobile Computing Systems ,Proc. 12th International Conference on Parallel and DistributedComputing Systems,Fort Lauderdale, Florida, August 1999, pp. 245 - 250.Abstract ...........Postscript ...........Technical Report

  57. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC , Japan, 1999.Abstract ...........Postscript

    58. 1998

  58. C. M. Chase, V. K. Garg,Efficient Detection of Global Predicates in a Distributed System, Distributed Computing, Vol. 11, No. 4, 1998, pp. 169 -- 189.Postscript

  59. V. K. Garg, J. R. Mitchell,Implementable Failure Detectors for Asynchronous Systems,Proc. 18th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science (FSTTCS), Chennai, India, December 1998, pp. 158 - 169.Abstract ...........Postscript ...........Technical Report ....... slides

  60. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: SynthesisProc. Conference on Decision and Control (CDC), December 1998.Postscript

  61. G. Brat, V. K. Garg,Analyzing non-deterministic real-time systems with (max,+) algebra,Proc. Real-Time Systems Symposium (RTSS'98), December 1998.Postscript

  62. J. R. Mitchell and V.K. Garg,A Non-Blocking Recovery Algorithm for Causal Message Logging,Symposium on Reliable Distributed Systems (SRDS), October 1998.Postscript

  63. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: ExistenceWorkshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.Postscript

  64. G. Brat, V. K. Garg,A (max,+) algebra for periodic timed discrete event systems.Workshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 237-242.Postscript

  65. 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

  66. A. Tarafdar, V. K. Garg,Addressing False Causality while Detecting Predicates in Distributed Programs,Proc. IEEE International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998, pp. 94 - 101. Abstract ........... Postscript

    slides
  67. V. K. Garg and J. R. Mitchell,Distributed Predicate Detection in a Faulty Environment,Proc. IEEE International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998, pp. 416 - 423. Abstract ........... Postscript

  68. N. Mittal and V. K. Garg, Consistency Conditions for Multi-Object Distributed Operations ,Proc. IEEE International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998, pp. 582 - 589.Abstract ...........Postscript ...........Technical Report

  69. O. Damani, V. K. Garg,Fault-tolerant Optimistic Distributed Simulation Proc. ACM Workshop on Parallel and Distributed Simulation (PADS), Canada, May 1998, pp. 38 - 45.PDF

  70. 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

  71. 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

    72. 1997

  72. V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, Efficient Detection of Channel Predicates in a Distributed System, Journal of Parallel and Distributed Computing , Vol. 45, No. 2,September 1997, pp. 134 -- 147.pdf

  73. V. K. Garg,Methods for Observing Global Properties in Distributed Systems, IEEE Concurrency, Vol. 5, No. 4, October 1997, pp. 69 -- 77.Postscript

  74. A. I. Tomlinson, V. K. Garg,Monitoring Functions on Global States of Distributed Programs Journal of Parallel and Distributed Computing Vol. 41, No. 2, March 1997, pp. 173 -- 189.Abstract ...........Postscript

  75. V. K. Garg, J. R. Mitchell,Efficient Detection of Conjunctions of Global Predicates in a Distributed System,{\em Information Processing Letters 63}, 1997, pp. 295 -- 302.Postscript

  76. V. K. Garg, A. I. Tomlinson, Using the Causal Domain to Specify and Verify Distributed Programs, Acta Informatica, Vol. 34, 1997, pp. 667 -- 686.Abstract ...........Postscript

  77. 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

  78. O. Damani, Y. M. Wang, V. K. Garg,Optimistic Distributed Simulation Based on Transitive Dependancy Tracking,Proc. ACM Workshop on Parallel and Distributed Simulation (PADS), Lockenhaus,Austria, June 1997, pp. 90 - 97.Abstract ...........Postscript ...........Tech Report

  79. J. R. Mitchell, V. K. Garg,Optimistic Agreement in Asynchronous Distributed Systems,Proc. International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, 1997, pp. 885 - 889.

  80. Y. M. Wang, O. Damani, V. K. Garg,Distributed Recovery with K-Optimistic Logging,Proc. IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, 1997, pp. 60 - 67.Abstract ...........Postscript

  81. 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

    82. 1996

  82. V. K. Garg, B. Waldecker,Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 12, December 1996, pp. 1323 - 1333. Abstract ...........Postscript

  83. D. D. Cofer, and V. K. Garg, Supervisory Control of Real-time Discrete Event Systems using Lattice Theory, IEEE Transactions on Automatic Control Vol. 41, No. 2, February 1996, pp. 199-209.Postscript

  84. V. K. Garg, R. Kumar, S. I. Marcus, Modeling Stochastic Discrete Event Systems Using Probabilistic Languages, in Mathematical Theory of Networksand Systems, St. Louis, MO, June 1996.

  85. O. Damani, V. K. Garg,How to Recover Efficiently and Asynchronously when Optimism Fails,Proc. IEEE International Conference on Distributed Computing Systems,Hong Kong, May 1996, pp. 108 - 115. Abstract ........... Tech Report pdf

  86. V. K. Garg, Observation of global properties in distributed systems, IEEE International Conference on Software and KnowledgeEngineering, (Invited as a distinguished speaker :-)),Lake Tahoe, Nevada, June 1996, pp. 418-425. Abstract ........... Postscript

  87. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.

    88. 1995

  88. S. Young, and V. K. Garg, Model Uncertainty in Discrete Event Systems, SIAM Journal on Control and Optimization Vol. 33,No. 1, January 1995, pp. 208 -- 226.postscript

  89. R. Kumar, V. K. Garg, Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques, SIAM Journal on Control and Optimization 1995.postscript

  90. R. Kumar, V.K. Garg, and S. I. Marcus, Finite Buffer Realization of Input-Output Discret Event Systems, IEEE Transactions on Automatic Control, Vol. 40, No. 6, June 1995, pp. 1042 -- 1053.postscript

  91. R. Kumar, and V.K. Garg, `Extremal Solutions of Inequations over lattices, Theoretical Computer Science, Novemeber 1995 postscript

  92. A. I. Tomlinson, V. K. Garg, Observation of Software for Distributed Systems with RCL,Proc. 15th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science, Bangalore, India, Lecture Notes in Computer Science1026, Springer-Verlag, Dec. 1995, pp. 195 - 209.Abstract ...........Postscript

  93. D. D. Cofer, V. K. Garg, Control of Event Separation Times,Proc. 34th Conference on Decision and Control,New Orleans, December 1995, pp. 2005 - 2010.Postscript

  94. 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

  95. C. Chase, V. K. Garg, Efficient Detection of Restricted Classes of Global Predicates,Proc. 9th International Workshop on Distributed Algorithms , Le Mont-Saint-Michel, France, Lecture Notes in Computer Science, 972,September 1995, pp. 303 - 317.Abstract ...........Postscript

  96. J. Roger Mitchell, V. K. Garg, Deriving distributed algorithms from a general predicate detector,Proc. The Nineteenth Intl. Computer Software and Applications Conference, Dallas, Texas, August 1995, pp. 268 - 273.Abstract ...........Postscript

  97. V. K. Garg, C. Chase, Distributed Detection of Conjunctive Predicates,Proc. IEEE International Conference on Distributed Computing Systems, Vancouver,Canada, June 1995, pp. 423 - 430.Abstract ...........Postscript

  98. V. V. Murty, V. K. Garg, Synchronous Message Ordering,Proc. International Symposium on Autonomous Decentralized Systems, Phoenix, Arizona, April 95, pp. 208 - 214.Abstract ...........Postscript...........Tech Report

  99. V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, Detecting conjunctive Channel Predicates in a Distributed Programming Environment, Proc. of the Twenty-Eighth Hawaii International Conference on System Sciences,January 1995, Vol. II, pp. 232 - 241.Abstract ...........Postscript

  100. D. D. Cofer, V. K. Garg, Idempotent Structures in the Supervisory Control of Discrete EventSystems, in Idempotency, J. Gunawardena, Ed.,Cambridge University Press, 1995.

    101. 1994

  101. D. D. Cofer, V. K. Garg, On Controlling Timed Discrete EventSystems, DIMACS Workshop on Verification and Control ofHybrid Systems, New Brunswick, New Jersey, Oct. 1995, Lecture Notes in Computer Science 1066,Springer-Verlag, pp. 340-349.

  102. V. K. Garg, B. Waldecker,Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 5, No. 3, March 1994, pp. 299-307. Abstract ........... Postscript

  103. V.K. Garg, and J. Ghosh,Repeated Computation of Global Functions in a Distributed Environment,IEEE Transactions on Parallel and Distributed Systems,Vol. 5, No. 8, August 1994, pp. 823-834.Abstract ...........pdf

  104. D. D. Cofer, V. K. Garg, Supervisory Control of Real-timeDiscrete Event Systems using Lattice Theory,Proc. 33rd Conference on Decision and Control,Lake Buena Vista, Florida, December 1994, pp. 978 - 983.Postscript (for figures)

  105. R. Kumar, V. K. Garg, Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control,Proc. 33rd Conference on Decision and Control,Lake Buena Vista, Florida, December 1994, pp. 3636 - 3641.

  106. A. I. Tomlinson, V. K. Garg, Maintenance of Global Assertions in Distributed Systems, Proc. International Conference on ComputerScience and Education, Bangalore, India, June 1994, Tata McGraw-HillPublishing Company Limited, pp. 257 -- 272.Abstract ...........Postscript ...........Tech Report

  107. V. K. Garg, A. I. Tomlinson, Causality versus Time: How toSpecify and Verify Distributed Algorithms,Proc. The Sixth IEEE Symposium on Parallel and Distributed Processing,Dallas, Texas, October 1994, pp. 249 - 256.Abstract ...........Postscript ...........Tech Report

  108. E. Fromentin, M. Raynal, V. K. Garg, A. I. Tomlinson, On the fly testing of Regular Patterns in distributed computations, Proc. 23rd International Conference on ParallelProcessing, St. Charles, Illinois, August 1994, pp. 2:73-76.Abstract ...........Postscript

  109. A. I. Tomlinson, V. K. Garg, Maintenance of Global Assertions in DistributedSystems, Proc. International Conference on ComputerScience and Education, Bangalore, India, June 1994, Tata McGraw-HillPublishing Company Limited, pp. 257 - 272.Abstract ...........Postscript ...........Tech Report

  110. D. Cofer, V. K. Garg, A Max-Algebra Solution to the Supervisory ControlProblem for Real-Time Discrete Event Systems, Proc. 11th International Conference on Analysisand Optimization of Systems, Rocquencourt, France, June 1994, pp. 283 - 289.

  111. R. Kumar, V. K. Garg, Assignment Program Model for Control of Infinite State Systems,Proc. 32nd Allerton Conference on Communication, Control, andComputing, Allerton, Illinois, Oct. 1995, pp. 166 - 175 (invited).

    112. 1993

  112. R.Kumar, V. K. Garg, S.I.Marcus,A Predicate Transformer Approach to Control of Discrete Event Systems, IEEE Transactions on Automatic Control Vol. 38, No. 2,February 1993, pp 232-247.Postscript

  113. R.Kumar, V. K. Garg, S.I.Marcus,Stability of Discrete Event System Behavior SIAM Journal on Control and Optimization Vol. 31, No. 5, September 1993, pp. 1294-1320.Postscript

  114. V. K. Garg, A. I. Tomlinson, Using Induction to Prove Properties of Distributed Programs,Proc. Symposium on Parallel and Distributed Processing, Dallas,Texas, Dec. 1993, pp. 478-485.Abstract ...........Postscript ...........Tech Report

  115. S. Young, V. K. Garg, Self-Stabilizing Machines: An Approach to Design of Fault-Tolerant Systems, Proc. 32nd Conference on Decision and Control,San Antonio, Texas, Dec. 1993, pp. 1200-1205. postscript

  116. D. D. Cofer, V. K. Garg, A Generalized Model for Performance Analysis of Timed and Untimed Discrete Event Systems,Proc. American Control Conference, San Francisco, California, June 1993, pp. 2288-2292.

  117. R. Kumar, V. K. Garg, Logical Design of a Dispatching Unit,Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.

  118. A. I. Tomlinson, V. K. Garg, An Algorithm for Minimally Latent Global Virtual Time,Proc. 7th Workshop on Parallel and Distributed Simulation,San Diego, California, May 1993, pp. 35-42.Abstract ...........Postscript ...........Tech Report

  119. A.I. Tomlinson, V. K. Garg, Detecting Relational Global Predicates in Distributed Systems,Proc. 3rd ACM/ONR Workshop on Parallel and Distributed Debugging,San Diego, California, May 1993, pp. 21-31.Abstract ...........JPDC version Postscript

  120. S. Young, V. K. Garg, Optimal Sensor and Actuator Choices for Discrete Event Systems, Proc. 31st Allerton Conference on Communication, Control, andComputing, Allerton, Illinois, Oct. 1993.Postscript

  121. 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.

    122. 1992

  122. V. K. Garg, M.T. RaghunathConcurrent Regular Expressions and their Relationship to Petri Net Languages, Theoretical Computer Science } 96 (1992) pp 285-304.Abstract ...........Postscript

  123. R. Kumar, V. K. Garg, S.I. Marcus, On $\omega$-Controllability and $\omega$-Observability of Discrete Event Dynamic Systems, IEEE Transactions on Automatic Control Vol. 37, No. 12, December 1992, pp 1978-1985.postscript

  124. V. K. Garg, Some Optimal Algorithms for Decomposed Partially Ordered Sets, Information Processing Letters, 44, November 1992, pp. 39-43. Abstract ...........Postscript

  125. V. K. Garg, B. Waldecker, Detection of Unstable Predicate in Distributed Programs,Proc. 12th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science, New Delhi, India,Lecture Notes in Computer Science652, Springer-Verlag, Dec. 1992, pp. 253-264.Abstract ...........Postscript

  126. V. K. Garg, An Algebraic Approach to Modeling Probabilistic Discrete Event Systems,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 2348-2353.Postscript

  127. D. D. Cofer, V. K. Garg, A Timed Model for the Control of Discrete Event Systems Involving Decisions in the Max/Plus Algebra,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 3363-3368.

  128. 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

  129. V. K. Garg, R. Kumar, A State-Variable Approach for Controlling Discrete Event Systems with Infinite States,Proc. American Control Conference, Chicago, Illinois, June 1992, pp. 2809-2813.Postscript

  130. D. Spanjol, S. Young, V. K. Garg, Control of Discrete Event Systems Modeled with Infinite Languages, Proc. American Control Conference, Chicago, Illinois, June 1992, pp. 2814-2818.Postscript

    131. 1991

  131. V.K. Garg and C.V. Ramamoorthy,ConC: A Language for Concurrent Programming,Computer Languages Journal,Vol. 16, No. 1, January 1991 pp 5-18. Abstract ...........Postscript

  132. R. Kumar, V. K. Garg, S.I. Marcus, On Controllability and Observability of Discrete Event Dynamic Systems, System and Control Letters Vol. 17, 1991, pp 157-168. Postscript

  133. B. Waldecker, V. K. Garg, Unstable Predicate Detection in Distributed Programs,Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1991, pp. 692-699.

  134. R. Kumar, V. K. Garg, S. I. Marcus,On Using Predicate Transformers for Supervisory Control,Proc. Conference on Decision and Control, Brighton,United Kingdom, Dec. 1991, pp. 98-103.

  135. R. Kumar, V. K. Garg, Optimal Control of Discrete Event Dynamic Systems Using Network Flow Techniques, Proc. 29th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Oct. 1991, pp. 705-714.

  136. V. K. Garg, Timed Probabilistic Languages,extended abstract in Current System Development, IEEE Symposium on Real-time Systems, San Antonio, Texas, Aug. 1991.

  137. R. Kumar, V. K. Garg, S. I. Marcus,Stability of Discrete Event System BehaviorProc. IFAC International Symposium on Distributed Intelligence Systems, Arlington, Virginia, Aug. 1991, pp. 13-18.

  138. S. Young, V. K. Garg, Uncertainty in Discrete Event Systems,Proc. IEEE International Symposium on Intelligent Control,Arlington, Virginia, Aug. 1991, pp. 245-250.

  139. R. Kumar, V. K. Garg, S. I. Marcus,On w-Controllability and w-Normality of DEDS,Proc. American Control Conference, Vol. 3, Boston, Massachusetts, June 1991, pp. 2905-2910.

  140. B. Waldecker, V. K. Garg, Unstable Predicate Detection in Distributed Programs,Proc. 2nd ACM/ONR Workshop on Parallel andDistributed Debugging, Extended Abstract, Santa Cruz, California, May 1991.

    141. 1990

  141. R. D. Brandt, V. K. Garg, et al,Formulas for Calculating Supremal Controllable and NormalSublanguages, System and Control Letters Vol. 15, No. 2, Aug. 1990,pp 111-117.Postscript

  142. V. K. Garg,A Distributed Algorithm for N-process Synchronization,Proc. 2nd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1990.Abstract ...........Postscript

  143. V. K. Garg, J. Ghosh,Symmetry In Spite of Hierarchy,Proc. 10th IEEE International Conference on Distributed Computing Systems, Paris, France, June 1990, pp. 4-11. slides

  144. R. Kumar, V. K. Garg, S. I. Marcus,Language Stability of DEDS,Proc. International Conference on Mathematical Theoryof Control, published as Lecture Notes in Pure and AppliedMathematics, Marcel Dekker, Vol. 142, edited byM. C. Joshi and A. V. Balakrishnan, Bombay, India, 1990, pp. 185-203.

    145. 1989

  145. R. Kumar, V. K. Garg, S. I. Marcus,Control of Discrete Event Dynamic Systems: SupremalControllable and Observable Languages, Proc. 27th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Sept. 1989, pp. 501-510.

  146. V. K. Garg,Modeling of Distributed Systems by Concurrent Regular Expressions,Proc. 2nd International Conference on FormalDescription Techniques for Distributed Systems and CommunicationProtocols, Vancouver, Canada, Dec. 1989. Published by North-Holland, 1990,pp. 313-327.Postscript

    147. 1988

  147. V. K. Garg, C. V. Ramamoorthy,High Level Communication Primitives in the Distributed System Specification Language,Proc. IEEE International Conference on Computer Languages, Miami Beach, Florida,Oct. 1988, pp. 92-99.Abstract ........... Postscript

  148. V. K. Garg,Analysis of Distributed Systems with Many Identical Processes,Proc. 8th IEEE International Conference on Distributed Computing Systems,San Jose, California, June 1988, pp. 358-365.Abstract ...........Postscript

  149. V. K. Garg,Specification and Analysis of Concurrent Systems using the STOCS Model, Proc. 1988 Computer NetworkingSymposium, Washington, D.C., April 1988, pp. 192-200.
  150. C. V. Ramamoorthy, V.K. Garg, and A. Prakash, Reusability Support in GENESIS, IEEE Transactions on Software Engineering, pp. 1145-1154, August 1988.

    151. 1987 and before

  151. V. K. Garg, C. V. Ramamoorthy, Effect of Locality in Large Networks, Proc. 7th IEEE InternationalConference on Distributed Computing Systems, Berlin, Germany, Sept. 1987, pp. 544-550.

  152. C. V. Ramamoorthy, V. K. Garg, and A. Prakash, Programming in the Large, IEEE Transactions on Software Engineering, Vol. 12, No. 7, July 1986, pp 769-783.
  153. C. V. Ramamoorthy, V. K. Garg, A. Prakash,Reusability Support in GENESIS,Proc. 10th IEEE International Conference on Computer Software and Applications, Chicago, Illinois,Oct. 1986, pp. 299-305.

  154. C. V. Ramamoorthy, A. Bhide, V. K. Garg, T. Yamaura,Software Quality and Requirement Specification,Proc. IEEE International Conference on Computer Languages,Miami, Florida, Oct. 1986, pp. 75-83.

  155. C. V. Ramamoorthy, A. Prakash, V. K. Garg, et al, Issues in the Development of Large, Distributed, and Reliable Software, Advances in Computers, Vol 26, 1987, pp 396-443.

  156. C. V. Ramamoorthy, S. Shekhar, V. K. Garg, Software Development Support for AI Programs, IEEE Computer, January 1987, pp 30-40 also in Computer Architectures for Artificial Intelligence, edited by Wah and Ramamoorthy, John Wiley & Sons, 1990, pp 513-531.

  157. C. V. Ramamoorthy, V. K. Garg, R. Aggarwal,Environment Modeling and Activity Management in Genesis,Proc. 2nd Conference on Software Tools, Techniques and Alternatives, (SOFTFAIR II) San Francisco, California, Dec. 1985.

  158. Vijay Kumar Garg, Screen-oriented highlevel debugger (SHD) for Pascal, March 1984 ACM SIGPLAN Notices, Volume 19 Issue 3, PDF

  159. V.K. Garg, M.B. Agrawal, Dimensional Analysis in Pascal, ACM SIGPLAN Notices, March 1984.PDF

    160. submitted

    (softcopies available upon request)
  160. Neeraj Mittal, Vijay K. Garg, Rectangles are Better than Chains for Encoding Partially Ordered Sets, pdf

Vijay K. Garg
Wed Jan 23 13:33:15 CST 2002