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 (ISSTA, 1998)

Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor. - Patrice Godefroid; Robert S. Hanmer; Lalita Jategaonkar Jagadeesan (Bell Labs Tech. J., 1998)

A best practice for performance engineering. - Robert S. Hanmer; John P. Letourneau (Bell Labs Tech. J., 2003)

Documenting architectures with patterns. - Robert S. Hanmer; Kristin F. Kocan (Bell Labs Tech. J., 2004)

Reliability and communications networks. - Anil Macwan; Robert S. Hanmer; Kailash K. Mutha (Bell Labs Tech. J., 2006)

A mini-plop at OOPSLA '07. - Robert S. Hanmer; Linda Rising; Joseph W. Yoder (OOPSLA Companion, 2007)

Comparing reliability and security: Concepts, requirements, and techniques. - Robert S. Hanmer; Donald T. McBride; Veena B. Mendiratta (Bell Labs Tech. J., 2007)

Architecting for Reliability - Recovery Mechanisms. - Robert S. Hanmer; Veena B. Mendiratta (ISSRE, 2008)

Rejuvenation with workload migration. - Robert S. Hanmer; Veena B. Mendiratta (DSN Workshops, 2010)

Software rejuvenation. - Robert S. Hanmer (PLoP, 2010)

Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN. - Robert S. Hanmer; Lalita Jagadeesan; Veena B. Mendiratta; Heng Zhang (ISSRE Workshops, 2018)

How Reliable Is My Software-Defined Network? Models and Failure Impacts. - Veena B. Mendiratta; Lalita Jategaonkar Jagadeesan; Robert S. Hanmer; Muntasir R. Rahman (ISSRE Workshops, 2018)

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 (NetSoft, 2019)