Robert S. Hanmer

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 3

Top Topics

Fault Tolerance

Abstraction Layer

Distributed Systems

Top Venues

ISSRE Workshops

Publications

Robert S. Hanmer, Sheng Liu, Lalita Jagadeesan, Muntasir Raihan Rahman
Death by Babble: Security and Fault Tolerance of Distributed Consensus in High-Availability Softwarized Networks. NetSoft (2019)
Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman
How Reliable Is My Software-Defined Network? Models and Failure Impacts. ISSRE Workshops (2018)
Robert S. Hanmer, Lalita Jagadeesan, Veena B. Mendiratta, Heng Zhang
Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN. ISSRE Workshops (2018)
Robert S. Hanmer, Veena B. Mendiratta
Rejuvenation with workload migration. DSN Workshops (2010)
Robert S. Hanmer
Software rejuvenation. PLoP (2010)
Robert S. Hanmer, Veena B. Mendiratta
Architecting for Reliability - Recovery Mechanisms. ISSRE (2008)
Robert S. Hanmer, Donald T. McBride, Veena B. Mendiratta
Comparing reliability and security: Concepts, requirements, and techniques. Bell Labs Tech. J. 12 (3) (2007)
Robert S. Hanmer, Linda Rising, Joseph W. Yoder
A mini-plop at OOPSLA '07. OOPSLA Companion (2007)
Anil Macwan, Robert S. Hanmer, Kailash K. Mutha
Reliability and communications networks. Bell Labs Tech. J. 11 (3) (2006)
Robert S. Hanmer, Kristin F. Kocan
Documenting architectures with patterns. Bell Labs Tech. J. 9 (1) (2004)
Robert S. Hanmer, John P. Letourneau
A best practice for performance engineering. Bell Labs Tech. J. 8 (3) (2003)
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor. Bell Labs Tech. J. 3 (2) (1998)
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA (1998)