Robert S. Hanmer

According to our database, Robert S. Hanmer authored at least 13 papers between 1998 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the 5th IEEE Conference on Network Softwarization, 2019

2018

How Reliable Is My Software-Defined Network? Models and Failure Impacts.

Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN.

Robert S. Hanmer, Lalita Jagadeesan, Veena B. Mendiratta, Heng Zhang

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2010

Software rejuvenation.

Robert S. Hanmer

Proceedings of the 17th Conference on Pattern Languages of Programs, 2010

Rejuvenation with workload migration.

Robert S. Hanmer, Veena B. Mendiratta

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

2008

Architecting for Reliability - Recovery Mechanisms.

Robert S. Hanmer, Veena B. Mendiratta

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

Comparing reliability and security: Concepts, requirements, and techniques.

Robert S. Hanmer, Donald T. McBride, Veena B. Mendiratta

Bell Labs Tech. J., 2007

A mini-plop at OOPSLA '07.

Robert S. Hanmer, Linda Rising, Joseph W. Yoder

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Reliability and communications networks.

Anil Macwan, Robert S. Hanmer, Kailash K. Mutha

Bell Labs Tech. J., 2006

2004

Documenting architectures with patterns.

Robert S. Hanmer, Kristin F. Kocan

Bell Labs Tech. J., 2004

2003

A best practice for performance engineering.

Robert S. Hanmer, John P. Letourneau

Bell Labs Tech. J., 2003

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

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

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998