@Inproceedings{conf/fmoods/ChadhaGMSV08,
  author = {Rohit Chadha and Carl A. Gunter and José Meseguer and Ravinder Shankesi and Mahesh Viswanathan},
  title  = {Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.},

  year   = {2008},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#ChadhaGMSV08},

  const  = {\ text}
}
@Inproceedings{conf/lics/ChadhaSV08,
  author = {Rohit Chadha and A. Prasad Sistla and Mahesh Viswanathan},
  title  = {On the Expressiveness and Complexity of Randomization in Finite State Monitors.},

  year   = {2008},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/lics/lics2008.html#ChadhaSV08},

  const  = {\ text}
}
@Inproceedings{conf/middleware/DasguptaV07,
  author = {Gargi Dasgupta and Balaji Viswanathan},
  title  = {INFORM: integrated flow orchestration and meta-scheduling for managed grid systems.},

  year   = {2007},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/middleware/dp2007.html#DasguptaV07},

  const  = {\ text}
}
@Article{journals/twc/KumaranV05,
  author = {Krishnan Kumaran and Harish Viswanathan},
  title  = {Joint power and bandwidth allocation in downlink transmission.},
  journal = {IEEE Transactions on Wireless Communications},
  year   = {2005},
  number = {3},
  url    = {http://dblp.uni-trier.de/db/journals/twc/twc4.html#KumaranV05},

  const  = {\ text}
}
@Inproceedings{conf/icse/LauterburgSMV08,
  author = {Steven Lauterburg and Ahmed Sobeih and Darko Marinov and Mahesh Viswanathan},
  title  = {Incremental state-space exploration for programs with dynamically allocated data.},

  year   = {2008},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/icse/icse2008.html#LauterburgSMV08},

  const  = {\ text}
}
@Inproceedings{conf/icpads/LiuVV07,
  author = {Yanhong Liu and Bharadwaj Veeravalli and Sivakumar Viswanathan},
  title  = {Novel critical-path based low-energy scheduling algorithms for heterogeneous multiprocessor real-time embedded systems.},

  year   = {2007},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/icpads/icpads2007.html#LiuVV07},

  const  = {\ text}
}
@Inproceedings{conf/networking/UdarKV08,
  author = {N. Udar and K. Kant and R. Viswanathan},
  title  = {Asset Localization in Data Centers Using WUSB Radios.},

  year   = {2008},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/networking/networking2008.html#UdarKV08},

  const  = {\ text}
}
@Article{journals/twc/ViswanathanM05,
  author = {Harish Viswanathan and Sayandev Mukherjee},
  title  = {Performance of cellular networks with relays and centralized scheduling.},
  journal = {IEEE Transactions on Wireless Communications},
  year   = {2005},
  number = {5},
  url    = {http://dblp.uni-trier.de/db/journals/twc/twc4.html#ViswanathanM05},

  const  = {\ text}
}
@Inproceedings{conf/icalp/VladimerouPVD08,
  author = {Vladimeros Vladimerou and Pavithra Prabhakar and Mahesh Viswanathan and Geir E. Dullerud},
  title  = {STORMED Hybrid Systems.},

  year   = {2008},
  number = {},
  url    = {http://dblp.uni-trier.de/db/conf/icalp/icalp2008-2.html#VladimerouPVD08},

  const  = {\ text}
}
@Article{journals/twc/ZhengV05,
  author = {Haitao Zheng and H. Viswanathan},
  title  = {Optimizing the ARQ performance in downlink packet data systems with scheduling.},
  journal = {IEEE Transactions on Wireless Communications},
  year   = {2005},
  number = {2},
  url    = {http://dblp.uni-trier.de/db/journals/twc/twc4.html#ZhengV05},

  const  = {\ text}
}