Architectural Verification of Large Multiprocessor Computers. - Ali Y. Duale; Theodore J. Bohizic; Dennis W. Wittig (PDPTA, 2004)

Pseudo-Random System Testing: Coverage Estimation and Enhancement. - Ali Y. Duale; Theodore J. Bohizic; Dennis W. Wittig (Software Engineering Research and Practice, 2005)

Decimal floating-point in z9: An implementation and testing perspective. - Ali Y. Duale; Mark H. Decker; Hans-Georg Zipperer; Merav Aharoni; Theodore J. Bohizic (IBM J. Res. Dev., 2007)