D. I. Heimann

Dependability modeling for computer systems

Kishor S. Trivedi, D. I. Heimann, Nitin Mittal, 1991, Annual Reliability and Maintainability Symposium. 1991 Proceedings.

Process-related reliability-growth modeling-how and why

W. D. Clark, D. I. Heimann, W.D. Clark, 1992, Annual Reliability and Maintainability Symposium 1992 Proceedings.

Using complexity-tracking in software development

D. I. Heimann, 1995, Annual Reliability and Maintainability Symposium 1995 Proceedings.

CATS-an automated user interface for software development and testing

D. I. Heimann, 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

A Closed-Form Approximation Solution for an Inventory Model with Supply Disruptions and Non-ZIO Reorder Policy

D. I. Heimann, Msis, 2013 .

Computing risk profiles for composite low-probability high-consequence events

D. I. Heimann, T. Glickman, 1987 .

Availability and Reliability Modeling for Computer Systems

Kishor S. Trivedi, Nitin Mittal, David I. Heimann, 1990, Adv. Comput..