Robert S. Hanmer

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