BDD-based reliability evaluation of phased-mission systems with internal/external common-cause failures

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

A BDD-based algorithm for reliability analysis of phased-mission systems

Xinyu Zang, Nairong Sun, Kishor S. Trivedi · IEEE Transactions on Reliability · 1999 · 284 citations

Engineering, Computer Science, Systems Engineering +12

Handbook of performability engineering

Choice Reviews Online · 2009 · 209 citations

Engineering, Systems Engineering, Human Performance +2

Analysis of generalized phased-mission system reliability, performance, and sensitivity

Liudong Xing, J.B. Dugan · IEEE Transactions on Reliability · 2002 · 204 citations

Engineering, Systems Engineering, Safety Engineering +11

Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures

Liudong Xing · IEEE Transactions on Reliability · 2007 · 173 citations

Engineering, Computer Science, Systems Engineering +17