| 2019 | NetSoft | Death by Babble: Security and Fault Tolerance of Distributed Consensus in High-Availability Softwarized Networks. | Robert S. Hanmer, Sheng Liu, Lalita Jagadeesan, Muntasir Raihan Rahman |
| 2018 | ISSRE | Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN. | Robert S. Hanmer, Lalita Jagadeesan, Veena B. Mendiratta, Heng Zhang |
| 2018 | ISSRE | How Reliable Is My Software-Defined Network? Models and Failure Impacts. | Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman |
| 2010 | DSN | Rejuvenation with workload migration. | Robert S. Hanmer, Veena B. Mendiratta |
| 2010 | PLOP | Software rejuvenation. | Robert S. Hanmer |
| 2008 | ISSRE | Architecting for Reliability - Recovery Mechanisms. | Robert S. Hanmer, Veena B. Mendiratta |
| 2007 | OOPSLA | A mini-plop at OOPSLA '07. | Robert S. Hanmer, Linda Rising, Joseph W. Yoder |
| 1998 | ISSTA | Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. | Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan |