Search the dblp DataBase
Robert S. Hanmer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP]
ISSTA, 1998, pp:124-133 [Conf] - Robert S. Hanmer, Kristin F. Kocan
Documenting architectures with patterns. [Citation Graph (0, 0)][DBLP]
Bell Labs Technical Journal, 2004, v:9, n:1, pp:143-163 [Journal] - Robert S. Hanmer, John P. Letourneau
A best practice for performance engineering. [Citation Graph (0, 0)][DBLP]
Bell Labs Technical Journal, 2003, v:8, n:3, pp:75-89 [Journal] - Anil Macwan, Robert S. Hanmer, Kailash K. Mutha
Reliability and communications networks. [Citation Graph (0, 0)][DBLP]
Bell Labs Technical Journal, 2006, v:11, n:3, pp:1-6 [Journal] - Robert S. Hanmer, Linda Rising, Joseph W. Yoder
A mini-plop at OOPSLA '07. [Citation Graph (0, 0)][DBLP]
OOPSLA Companion, 2007, pp:763-764 [Conf]
Architecting for Reliability - Recovery Mechanisms. [Citation Graph (, )][DBLP]
Comparing reliability and security: Concepts, requirements, and techniques. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002