2002
An overview of the BlueGene/L Supercomputer.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

1997
Assessing software reliability performance under highly critical but infrequent event occurrences.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996
Validating software architectures for high reliability.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1974
Automatic test-generation and test-verification of digital systems.
Proceedings of the 11th Design Automation Workshop, 1974