@article{Suri-TDSC-08,
  author  = {Avi Timor and Avi Mendelson
             and Yitzhak Birk and Neeraj Suri},
  title   = {Using Under-Utilized CPU Resources
             to Enhance its Reliability},
  journal = {IEEE Transactions on Dependable and
            Secure Computing},
  year    = {2008},
  volume  = {5},
  number  = {4},
  month   = {October},

}

@article{khelil07,
  author  = {Abdelmajid Khelil},
  title   = {Contact-Based Buffering for 
            Delay-Tolerant Ad Hoc Broadcasting},
  journal = {Special Issue of the Elsevier Computer Communications
            Journal on "Advances in Communication Networking"},
  year    = {2007},
  volume  = {30},
  number  = {16},
  pages   = {3144-3153},
  month   = {November},

}

@article{Serafini-TDSC-07,
  author  = {Marco Serafini and Andrea Bondavalli
            and Neeraj Suri},
  title   = {On-Line Diagnosis and Recovery: On the
            Choice and Impact of Tuning Parameters},
  journal = {IEEE Transactions on Dependable and
            Secure Computing},
  year    = {2007},
  volume  = {4},
  number  = {4},
  pages   = {295-312},
  month   = {October},

}

@article{journals/eanj/KhelilMBR07,
   author      = {A. Khelil and P.J. Marr\'{o}n and 
                 C. Becker and K. Rothermel},
  title        = {Hypergossiping: A Generalized 
                 Broadcast Strategy for Mobile 
                 Ad Hoc Networks},
  journal      = {Elsevier Ad Hoc Networks Journal},
  volume       = {5},
  number       = {5},
  pages        = {531-546},
  month        = {July},
  year         = {2007}, 
}

@article{journals/jsn/JhumkaFFS06,
   author      = {Arshad Jhumka and Felix Freiling and 
                  Christof Fetzer and Neeraj Suri},
  title        = {An Approach to Synthesize Safe 
                  Systems},
  journal      = {Intl. Journal on Security and 
                  Networks},
  volume       = {1},
  number       = {1/2},
  pages        = {62-74},
  year         = {2006}, 
}

@article{journals/tpds/ClaessonLS04,
  author    = {Vilgot Claesson and
               Henrik L{\"o}nn and
               Neeraj Suri},
  title     = {An Efficient TDMA Start-Up and Restart
               Synchronization Approach
               for Distributed Embedded Systems.},
  journal   = {IEEE Trans. Parallel Distrib. Syst.},
  volume    = {15},
  number    = {8},
  year      = {2004},
  pages     = {725-739},
  ee        = {http://doi.ieeecomputersociety.org/
              10.1109/TPDS.2004.29},
}

@article{journals/tc/HillerJS04,
  author    = {Martin Hiller and
               Arshad Jhumka and
               Neeraj Suri},
  title     = {EPIC: Profiling the Propagation and
               Effect of Data Errors in Software.},
  journal   = {IEEE Trans. Computers},
  volume    = {53},
  number    = {5},
  year      = {2004},
  pages     = {512-530},
  ee        = {http://csdl.computer.org/comp/trans/
               tc/2004/05/t0512abs.htm},
}

@article{journals/tcs/WalterS03,
  author    = {Chris J. Walter and
               Neeraj Suri},
  title     = {The customizable fault/error model 
               for dependable distributed systems.},
  journal   = {Theor. Comput. Sci.},
  volume    = {290},
  number    = {2},
  year      = {2003},
  pages     = {1223-1251},
}

@article{journals/paapp/SuriM01,
  author    = {Neeraj Suri and
               Avi Mendelson},
  title     = {Design of a parallel interconnect 
               based on communication pattern
               considerations.},
  journal   = {Parallel Algorithms Appl.},
  volume    = {16},
  number    = {4},
  year      = {2001},
  pages     = {243-271},
}

@article{journals/tse/WalterLS97,
  author    = {Chris J. Walter and
               Patrick Lincoln and
               Neeraj Suri},
  title     = {Formally Verified On-Line Diagnosis.},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {23},
  number    = {11},
  year      = {1997},
  pages     = {684-721},
  ee        = {http://www.computer.org/tse/ts1997/e0684abs.htm},
}

@article{journals/rts/suri94,
  author    = {Neeraj Suri and
               Chris J. Walter and
               Hugue M.},
  title     = {Synchronization Issues in Real Time Systems.},
  journal   = {IEEE Proc. Special Issue on Real Time Systems},
  volume    = {82},
  year      = {1994},
  pages     = {41-54},
}