Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables. - Daniel Berleant; Lizhi Xie; Jianzhong Zhang 004 (Reliab. Comput., 2003)

Using Pearson Correlation to Improve Envelopes around the Distributions of Functions. - Daniel Berleant; Jianzhong Zhang 004 (Reliab. Comput., 2004)

Representation and problem solving with Distribution Envelope Determination (DEnv). - Daniel Berleant; Jianzhong Zhang 004 (Reliab. Eng. Syst. Saf., 2004)

Bounding the times to failure of 2-component systems. - Daniel Berleant; Jianzhong Zhang 004 (IEEE Trans. Reliab., 2004)

Arithmetic on Random Variables: Squeezing the Envelopes with New Joint Distribution Constraints. - Jianzhong Zhang 004; Daniel Berleant (ISIPTA, 2005)