<?xml version="1.0" ?>
<!-- This file was exported from BibSonomy, http://www.bibsonomy.org -->

<bibliography>

<biblioentry xreflabel="conf/fmoods/ChadhaGMSV08" id="conf/fmoods/ChadhaGMSV08">
   <authorgroup>
       <author><firstname>Rohit</firstname><surname>Chadha</surname></author>
       <author><firstname>Carl</firstname><othername role="mi">A.</othername><surname>Gunter</surname></author>
       <author><firstname>Jos&#233;</firstname><surname>Meseguer</surname></author>
       <author><firstname>Ravinder</firstname><surname>Shankesi</surname></author>
       <author><firstname>Mahesh</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Modular Preservation of Safety Properties by Cookie&#45;Based DoS&#45;Protection Wrappers.</citetitle>

   <publisher>
      <publishername>Springer</publishername>
   </publisher>
   <volumenum>5051</volumenum> 

   <artpagenums>39-58</artpagenums> 
   <pubdate>2008</pubdate>  

</biblioentry>
<biblioentry xreflabel="conf/lics/ChadhaSV08" id="conf/lics/ChadhaSV08">
   <authorgroup>
       <author><firstname>Rohit</firstname><surname>Chadha</surname></author>
       <author><firstname>A.</firstname><othername role="mi">Prasad</othername><surname>Sistla</surname></author>
       <author><firstname>Mahesh</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">On the Expressiveness and Complexity of Randomization in Finite State Monitors.</citetitle>

   <publisher>
      <publishername>IEEE Computer Society</publishername>
   </publisher>


   <artpagenums>18-29</artpagenums> 
   <pubdate>2008</pubdate>  

</biblioentry>
<biblioentry xreflabel="conf/middleware/DasguptaV07" id="conf/middleware/DasguptaV07">
   <authorgroup>
       <author><firstname>Gargi</firstname><surname>Dasgupta</surname></author>
       <author><firstname>Balaji</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">INFORM: integrated flow orchestration and meta&#45;scheduling for managed grid systems.</citetitle>

   <publisher>
      <publishername>ACM</publishername>
   </publisher>


   <artpagenums>21</artpagenums> 
   <pubdate>2007</pubdate>  

</biblioentry>
<biblioentry xreflabel="journals/twc/KumaranV05" id="journals/twc/KumaranV05">
   <authorgroup>
       <author><firstname>Krishnan</firstname><surname>Kumaran</surname></author>
       <author><firstname>Harish</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Joint power and bandwidth allocation in downlink transmission.</citetitle>
   <citetitle pubwork="journal">IEEE Transactions on Wireless Communications</citetitle>

   <volumenum>4</volumenum> 

   <artpagenums>1008-1016</artpagenums> 
   <pubdate>2005</pubdate>  

</biblioentry>
<biblioentry xreflabel="conf/icse/LauterburgSMV08" id="conf/icse/LauterburgSMV08">
   <authorgroup>
       <author><firstname>Steven</firstname><surname>Lauterburg</surname></author>
       <author><firstname>Ahmed</firstname><surname>Sobeih</surname></author>
       <author><firstname>Darko</firstname><surname>Marinov</surname></author>
       <author><firstname>Mahesh</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Incremental state&#45;space exploration for programs with dynamically allocated data.</citetitle>

   <publisher>
      <publishername>ACM</publishername>
   </publisher>


   <artpagenums>291-300</artpagenums> 
   <pubdate>2008</pubdate>  

</biblioentry>
<biblioentry xreflabel="conf/icpads/LiuVV07" id="conf/icpads/LiuVV07">
   <authorgroup>
       <author><firstname>Yanhong</firstname><surname>Liu</surname></author>
       <author><firstname>Bharadwaj</firstname><surname>Veeravalli</surname></author>
       <author><firstname>Sivakumar</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Novel critical&#45;path based low&#45;energy scheduling algorithms for heterogeneous multiprocessor real&#45;time embedded systems.</citetitle>

   <publisher>
      <publishername>IEEE Computer Society</publishername>
   </publisher>


   <artpagenums>1-8</artpagenums> 
   <pubdate>2007</pubdate>  

</biblioentry>
<biblioentry xreflabel="conf/networking/UdarKV08" id="conf/networking/UdarKV08">
   <authorgroup>
       <author><firstname>N.</firstname><surname>Udar</surname></author>
       <author><firstname>K.</firstname><surname>Kant</surname></author>
       <author><firstname>R.</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Asset Localization in Data Centers Using WUSB Radios.</citetitle>

   <publisher>
      <publishername>Springer</publishername>
   </publisher>
   <volumenum>4982</volumenum> 

   <artpagenums>756-767</artpagenums> 
   <pubdate>2008</pubdate>  

</biblioentry>
<biblioentry xreflabel="journals/twc/ViswanathanM05" id="journals/twc/ViswanathanM05">
   <authorgroup>
       <author><firstname>Harish</firstname><surname>Viswanathan</surname></author>
       <author><firstname>Sayandev</firstname><surname>Mukherjee</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Performance of cellular networks with relays and centralized scheduling.</citetitle>
   <citetitle pubwork="journal">IEEE Transactions on Wireless Communications</citetitle>

   <volumenum>4</volumenum> 

   <artpagenums>2318-2328</artpagenums> 
   <pubdate>2005</pubdate>  

</biblioentry>
<biblioentry xreflabel="conf/icalp/VladimerouPVD08" id="conf/icalp/VladimerouPVD08">
   <authorgroup>
       <author><firstname>Vladimeros</firstname><surname>Vladimerou</surname></author>
       <author><firstname>Pavithra</firstname><surname>Prabhakar</surname></author>
       <author><firstname>Mahesh</firstname><surname>Viswanathan</surname></author>
       <author><firstname>Geir</firstname><othername role="mi">E.</othername><surname>Dullerud</surname></author> 
   </authorgroup>
<citetitle pubwork="article">STORMED Hybrid Systems.</citetitle>

   <publisher>
      <publishername>Springer</publishername>
   </publisher>
   <volumenum>5126</volumenum> 

   <artpagenums>136-147</artpagenums> 
   <pubdate>2008</pubdate>  

</biblioentry>
<biblioentry xreflabel="journals/twc/ZhengV05" id="journals/twc/ZhengV05">
   <authorgroup>
       <author><firstname>Haitao</firstname><surname>Zheng</surname></author>
       <author><firstname>H.</firstname><surname>Viswanathan</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Optimizing the ARQ performance in downlink packet data systems with scheduling.</citetitle>
   <citetitle pubwork="journal">IEEE Transactions on Wireless Communications</citetitle>

   <volumenum>4</volumenum> 

   <artpagenums>495-506</artpagenums> 
   <pubdate>2005</pubdate>  

</biblioentry>
</bibliography>
